csmith-project / voltest
Tools for testing C compilers for the correct handling of volatile objects.
☆26Updated 10 years ago
Alternatives and similar repositories for voltest:
Users that are interested in voltest are comparing it to the libraries listed below
- Parser of C-syntax data definitions, C-syntax function definitions☆20Updated 12 years ago
- A toolset for extending closed-source Linux processes☆9Updated 8 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- Turn an interpreter into a code generator☆30Updated 9 years ago
- Authenticated Blowfish-encrypted pipe☆23Updated 6 years ago
- Portable C Compiler (CVS mirror)☆11Updated 12 years ago
- LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)☆19Updated 8 years ago
- Dictionary implemented through a skiplist☆15Updated 10 years ago
- yaSSL, or yet another SSL, is an embedded ssl library for programmers building security functionality into their applications and devices…☆11Updated 6 years ago
- A compiler and mutation testing framework for the programming language Pascal-86☆18Updated 10 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 7 years ago
- BIOS-based boot menu and loader☆16Updated 8 years ago
- RISC-V strace port☆13Updated 8 years ago
- ☆16Updated 7 years ago
- Tracks runtime instruction execution in Linux programs☆33Updated 11 years ago
- like ChaCha, but 64-bit instead of 32-bit thanks to BLAKE2b's permutation☆15Updated 7 years ago
- cut out a small (binary) piece of a (binary) file☆15Updated 13 years ago
- Drop-in replacement for strdup(3) from libc☆12Updated 4 years ago
- An overlay that verifies signed ELF binaries☆9Updated 9 years ago
- ZYTOKINE STORM is a user-mode Linux binary translation layer targeting Darwin☆16Updated 9 years ago
- Benchmark supporting baseless libel against clang-format☆11Updated 5 years ago
- pure-python C types packer/unpacker☆18Updated 4 years ago
- Fuzzing compression libraries☆19Updated 9 years ago
- ☆13Updated 3 years ago
- Set of reusable Make snippets 🏗️☆16Updated 7 years ago
- Source code for the article "A bug story: data alignment on x86"☆15Updated 8 years ago
- Sample of standalone portable C to verify Ed25519 public-key signature☆20Updated 8 years ago
- advanced unix-like hexadecimal editor and debugger☆36Updated last year
- Library to support various Hash-based Message Authentication Codes (HMAC)☆10Updated 2 months ago