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:
- Parser of C-syntax data definitions, C-syntax function definitions☆19Updated 13 years ago
- Portable C Compiler (CVS mirror)☆12Updated 13 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆26Updated 6 years ago
- Authenticated Blowfish-encrypted pipe☆23Updated 7 years ago
- Turn an interpreter into a code generator☆31Updated 9 years ago
- A basic UNIX shell implementation in C☆33Updated 5 years ago
- DynASM is a Dynamic Assembler for code generation engines.☆15Updated 10 years ago
- asrepl: x86-64 assembly REPL☆71Updated 8 years ago
- A fast secure userspace pseudorandom number generator☆83Updated 11 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 8 years ago
- ☆25Updated 10 years ago
- A program for automatically resolving #ifdef statements in C code.☆37Updated 8 months ago
- Scripting Assembly Language☆12Updated 9 years ago
- x86-64 kernel in Rust☆32Updated 8 years ago
- Secure Coding Validation Suite☆16Updated 6 years ago
- A library that allows processes to waive their rights☆27Updated 9 years ago
- A clang wrapper for musl C library. Pretty hacky, I know.☆34Updated 10 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Updated 7 years ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated 4 months ago
- resurrected LLVM "C Backend", with improvements☆129Updated 4 years ago
- The Bear Operating System☆24Updated 7 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- Unusual uses of SSE2 registers☆67Updated 4 years ago
- Test your code with malcheck to make sure it handles out of memory conditions correctly.☆97Updated 9 years ago
- experimental high performance, low fragmentation memory allocator☆58Updated 8 years ago
- Metta OS☆70Updated 8 months ago
- Example usage of LLVM's C bindings☆36Updated 13 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆44Updated 4 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
- a tool for querying Dwarf (debuginfo) graphs☆55Updated last year