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:
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆26Updated 6 years ago
- Parser of C-syntax data definitions, C-syntax function definitions☆19Updated 13 years ago
- Turn an interpreter into a code generator☆31Updated 9 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 8 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
- Authenticated Blowfish-encrypted pipe☆23Updated 7 years ago
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Updated 10 years ago
- A C Templating Engine☆10Updated 8 years ago
- x86-64 kernel in Rust☆32Updated 8 years ago
- Collection of community-maintained components for Genode☆47Updated last week
- Lightweight SSA compiler suite☆11Updated 10 months ago
- dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends☆53Updated 5 years ago
- A forked and hardened version of PartitionAlloc from Chrome's Blink engine☆62Updated 7 years ago
- grep for C/C++ source files.☆28Updated 2 weeks ago
- Compiler intermediate language for static analysis.☆107Updated 6 years ago
- ☆25Updated 10 years ago
- resurrected LLVM "C Backend", with improvements☆129Updated 4 years ago
- Unusual uses of SSE2 registers☆67Updated 5 years ago
- The ELF Tool Chain Project (mirror of SourceForge.Net). Please do not create pull requests here on Github, Please use SourceForge's tick…☆71Updated 2 years ago
- The Bear Operating System☆24Updated 8 years ago
- x86info : x86 processor register decoder.☆45Updated 3 months ago
- Scripting Assembly Language☆12Updated 9 years ago
- NOVA runtime environment (official branch)☆34Updated 4 years ago
- Context-free grammar parsing library☆10Updated 10 months ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆44Updated 4 years ago
- Fully verifiable operating system and API written in D in the public domain.☆41Updated 14 years ago
- A basic UNIX shell implementation in C☆33Updated 5 years ago
- Haxathon Supremacy Virtual Machine☆32Updated 8 years ago