csmith-project / voltestLinks
Tools for testing C compilers for the correct handling of volatile objects.
☆28Updated 11 years ago
Alternatives and similar repositories for voltest
Users that are interested in voltest are comparing it to the libraries listed below
Sorting:
- Parser of C-syntax data definitions, C-syntax function definitions☆19Updated 13 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- asrepl: x86-64 assembly REPL☆71Updated 8 years ago
- DynASM is a Dynamic Assembler for code generation engines.☆15Updated 10 years ago
- Portable C Compiler (CVS mirror)☆12Updated 13 years ago
- Turn an interpreter into a code generator☆31Updated 10 years ago
- gelfload is Gregor's ELF loader. It is a usermode loader for ELF executables, used for two purposes: 1) Creating ELF environments on othe…☆38Updated 11 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 8 years ago
- Authenticated Blowfish-encrypted pipe☆24Updated 7 years ago
- A basic UNIX shell implementation in C☆33Updated 6 years ago
- ☆20Updated 9 years ago
- Tracks runtime instruction execution in Linux programs☆35Updated 12 years ago
- Scripting Assembly Language☆12Updated 10 years ago
- MSDOS emulator built on top of Unicorn engine☆137Updated 9 years ago
- picotrace - system call process tracer☆39Updated 5 years ago
- resurrected LLVM "C Backend", with improvements☆131Updated 5 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- Metta OS☆73Updated last year
- A compiler and mutation testing framework for the programming language Pascal-86☆20Updated 11 years ago
- portable libc optimized for code size and readability☆82Updated 9 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆45Updated 4 years ago
- Unusual uses of SSE2 registers☆67Updated 5 years ago
- a tool for querying Dwarf (debuginfo) graphs☆57Updated last year
- dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends☆54Updated 6 years ago
- compiler☆36Updated 11 years ago
- LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)☆20Updated 9 years ago
- JIT Assembler Library for multiple ISAs☆76Updated 10 years ago
- A fast secure userspace pseudorandom number generator☆83Updated 11 years ago
- ☆58Updated 3 weeks ago
- The GNU Superoptimizer☆27Updated 11 years ago