csmith-project / voltestLinks
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
Sorting:
- LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)☆20Updated 9 years ago
- Authenticated Blowfish-encrypted pipe☆23Updated 7 years ago
- Peek/Poke like it's 1979 - Multi-Platform memory reading/writing☆12Updated 6 years ago
- Parser of C-syntax data definitions, C-syntax function definitions☆20Updated 12 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- cut out a small (binary) piece of a (binary) file☆15Updated 13 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 8 years ago
- yaSSL, or yet another SSL, is an embedded ssl library for programmers building security functionality into their applications and devices…☆11Updated 7 years ago
- Benchmark supporting baseless libel against clang-format☆11Updated 5 years ago
- An overlay that verifies signed ELF binaries☆9Updated 10 years ago
- like ChaCha, but 64-bit instead of 32-bit thanks to BLAKE2b's permutation☆15Updated 8 years ago
- Miscellaneous macros useful for writing x86 asm in nasm or yasm☆7Updated 4 years ago
- Dictionary implemented through a skiplist☆15Updated 10 years ago
- Drop-in replacement for strdup(3) from libc☆12Updated 4 years ago
- Turn an interpreter into a code generator☆31Updated 9 years ago
- encode/decode data using ASN.1 description☆13Updated last year
- A deceptively simple way to add a configuration file to a command-line application.☆16Updated 3 months ago
- x86info : x86 processor register decoder.☆42Updated last month
- measure entropy of memory allocators☆12Updated 3 years ago
- is a random text generator based on context-free grammars, it uses a EBNF for grammar definitions.☆17Updated last month
- Library to provide basic file input/output abstraction☆12Updated 8 months ago
- AVX2 Chacha implementation☆16Updated 11 years ago
- Sample of standalone portable C to verify Ed25519 public-key signature☆20Updated 8 years ago
- A simple implementation of an 'echo' (port 7) server using epoll (Linux), kqueue (FreeBSD), and IOCompletionPorts (Windows).☆13Updated 6 years ago
- BIOS-based boot menu and loader☆16Updated 8 years ago
- NetBSD cdb (constant database) library☆14Updated 6 years ago
- Plug-and-play IP rate limiter in C☆24Updated 4 years ago
- Secure Coding Validation Suite☆16Updated 6 years ago
- A fast secure userspace pseudorandom number generator☆82Updated 11 years ago
- Fuzzing compression libraries☆19Updated 9 years ago