csmith-project / voltestLinks
Tools for testing C compilers for the correct handling of volatile objects.
☆27Updated 11 years ago
Alternatives and similar repositories for voltest
Users that are interested in voltest are comparing it to the libraries listed below
Sorting:
- Turn an interpreter into a code generator☆31Updated 9 years ago
- Parser of C-syntax data definitions, C-syntax function definitions☆19Updated 13 years ago
- x86-64 kernel in Rust☆32Updated 8 years ago
- asrepl: x86-64 assembly REPL☆71Updated 8 years ago
- Authenticated Blowfish-encrypted pipe☆23Updated 7 years ago
- Portable C Compiler (CVS mirror)☆12Updated 13 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- A basic UNIX shell implementation in C☆33Updated 6 years ago
- LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)☆20Updated 9 years ago
- Scripting Assembly Language☆12Updated 10 years ago
- The Bear Operating System☆24Updated 8 years ago
- A Machine-Independent Debugger☆35Updated last year
- DynASM is a Dynamic Assembler for code generation engines.☆15Updated 10 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 8 years ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated 7 months ago
- grep for C/C++ source files.☆28Updated 2 months ago
- A program for automatically resolving #ifdef statements in C code.☆37Updated 11 months ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆45Updated 4 years ago
- A forked and hardened version of PartitionAlloc from Chrome's Blink engine☆64Updated 7 years ago
- flat assembler - the open source assembly language compiler for x86 and x86-64 processors by Tomasz Grysztar. built for OS X.☆44Updated 8 years ago
- Compiler intermediate language for static analysis.☆107Updated 6 years ago
- Metta OS☆72Updated 11 months ago
- a tool for querying Dwarf (debuginfo) graphs☆56Updated last year
- A compiler and mutation testing framework for the programming language Pascal-86☆20Updated 11 years ago
- A clang wrapper for musl C library. Pretty hacky, I know.☆34Updated 10 years ago
- Context-free grammar parsing library☆10Updated last year
- ARM emulator☆49Updated 10 years ago
- ☆25Updated 10 years ago
- ☆20Updated 9 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago