uw-unsat / hyperkernel
☆183Updated 5 years ago
Alternatives and similar repositories for hyperkernel:
Users that are interested in hyperkernel are comparing it to the libraries listed below
- FSCQ is a certified file system written and proven in Coq☆239Updated 2 years ago
- ☆31Updated 2 years ago
- Automated multicore scalability testing tool☆88Updated 9 years ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- ☆47Updated 3 years ago
- The latest development version of rose. It may not pass all regression tests.☆107Updated 5 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆69Updated 8 years ago
- POSIX-like scalable multicore research OS kernel☆188Updated 4 years ago
- custom type systems for Clang☆97Updated 9 years ago
- This repository contains a tutorial for a quick start in how to write a register allocator using LLVM☆272Updated 6 years ago
- Semantics of x86-64 in K☆148Updated 5 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆219Updated last year
- This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…☆55Updated 7 years ago
- C Intermediate Language☆370Updated last year
- Unison's source code☆107Updated last year
- A simple example of how LLVM can be used to gather static or dynamic facts about a program.☆70Updated last year
- rmem public repo☆41Updated 2 weeks ago
- A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…☆69Updated 8 years ago
- SeaHorn Verification Framework☆445Updated last month
- A static verifier for concurrent C programs☆135Updated 4 years ago
- The Termite driver synthesis tool☆32Updated 7 years ago
- Simple Driver code for vmlaunch☆159Updated 7 years ago
- Generic model checker for concurrent C programs (mirror repository)☆145Updated last month
- ☆88Updated 2 years ago
- Experimental setup of "Intel MPX explained"☆26Updated 5 years ago
- Verification of BPF JIT compilers☆54Updated last year
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆196Updated 9 months ago
- SMACK Software Verifier and Verification Toolchain☆435Updated 5 months ago
- MIT's abstract interpretation class taught by Cousot☆39Updated 10 years ago
- ☆199Updated 2 years ago