podinx / PQEMULinks
A parallel multi-core system emulator based on QEMU
☆19Updated 13 years ago
Alternatives and similar repositories for PQEMU
Users that are interested in PQEMU are comparing it to the libraries listed below
Sorting:
- AST - Extractor for LLVM☆18Updated 4 years ago
- Small demo for android app in Ada/webAssembly☆12Updated 5 years ago
- A (GCC) compiler plugin for multiversing functions☆21Updated 3 years ago
- valgrind fork with mmap tracing support☆24Updated 5 years ago
- An Efficient and Retargetable Dynamic Binary Translator on Multicores☆32Updated 11 months ago
- Applied Symbolic Execution with KLEE/LLVM☆24Updated 12 years ago
- Evidence-based dynamic analysis: a fast checker for memory errors.☆21Updated 8 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 7 years ago
- The start of a port of musl libc to an "x86_64 llvm bitcode" architecture.☆24Updated 6 years ago
- Common dependency management for various Trail of Bits C++ codebases☆34Updated last year
- DragonEgg has been migrated to GCC 8 and LLVM 6 but also able to work for GCC 4.8 and LLVM 3.3☆20Updated 6 years ago
- Tool to demangle C++ symbols.☆58Updated 2 years ago
- Instruction decoder microbenchmark suite☆11Updated 8 years ago
- KLEE's version of uClibc☆56Updated last year
- CCG is a random C Code Generator☆43Updated 3 years ago
- A basic microkernel☆37Updated 12 years ago
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Updated 9 years ago
- The bvim is an advanced fork of bvi, a display-oriented editor for binary files, based on the vi texteditor. This version include support…☆31Updated 13 years ago
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆46Updated 10 years ago
- EBNF grammar of LLVM IR assembly.☆65Updated 3 years ago
- Documentation for 3D commands on Virgl3D☆28Updated 6 years ago
- A network stack in userspace☆23Updated 8 years ago
- TracerX Symbolic Virtual Machine☆32Updated 4 months ago
- QEMU based emulation library for micro-architectural simulation (ARM64 and x86)☆42Updated 6 years ago
- Parallel Delta Debugging Framework☆54Updated 2 months ago
- DARPA Cyber Grand Challenge Linux source code☆17Updated 10 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 9 years ago
- Demangle compiled symbols online.☆14Updated 9 years ago
- PIN-based Fault-Injector is a fault injector based on the Intel PIN tool. For more information, please refer to the following paper:☆18Updated 7 years ago
- Crellvm: Verified Credible Compilation for LLVM☆18Updated 7 years ago