dedis / DeterminatorLinks
Experimental operating system for deterministic parallel computing
☆37Updated 10 years ago
Alternatives and similar repositories for Determinator
Users that are interested in Determinator are comparing it to the libraries listed below
Sorting:
- Security-Oriented Analysis of Application Programs☆13Updated 7 years ago
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆66Updated 2 months ago
- The Bear Operating System☆24Updated 8 years ago
- Compiler intermediate language for static analysis.☆107Updated 7 years ago
- Steps to build the Linux kernel using Clang☆102Updated 3 years ago
- Operating system demonstrating system transactions☆17Updated 8 years ago
- HiStar operating system (not under active development)☆33Updated 7 years ago
- Metta OS☆73Updated last year
- Basic tools for building seL4 projects☆53Updated last month
- ☆113Updated last year
- Update of original etrace program.☆68Updated 2 years ago
- Secure Virtual Architecture☆42Updated 6 years ago
- An automatic generator of basic unit tests for a C/C++ library☆87Updated 6 years ago
- experimental high performance, low fragmentation memory allocator☆58Updated 9 years ago
- The Secure Block Device Library is a software library that applies cryptographic confidentiality and integrity protection, including data…☆36Updated 8 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 7 years ago
- A simple kernel written in C and a platform to play with x86_64 extensions☆30Updated 7 years ago
- Oink is a collaboration of C++ static analysis tools.☆156Updated 3 years ago
- KLEE in the browser☆53Updated last week
- Formal verification of SecVisor, a secure hypervisor☆13Updated 12 years ago
- Memory access tracing QEMU☆99Updated 9 years ago
- A forked and hardened version of PartitionAlloc from Chrome's Blink engine☆66Updated 7 years ago
- Unofficial mirror of xenbits.xen.org/xen.git☆75Updated 2 years ago
- A fast secure userspace pseudorandom number generator☆83Updated 11 years ago
- dthreads: Efficient Deterministic Multithreading☆70Updated 11 years ago
- Compiler/source code fuzzing tool using AFL instrumentation☆126Updated 7 years ago
- Command line tool to write to x86 boot flash chips via the PCH☆14Updated 8 years ago
- Secure Coding Validation Suite☆16Updated 6 years ago
- valgrind fork with mmap tracing support☆24Updated 5 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Updated 7 years ago