Alternatives and similar repositories for Determinator

Users that are interested in Determinator are comparing it to the libraries listed below

• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 6 years ago
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• coccinelle / faults-in-Linux
  Experimental bed to study Linux faults
  ☆25Updated 2 years ago
• vkrasnov / vpmadd
  Multiplication using AVX512 and AVX512IFMA instructions
  ☆23Updated 9 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• choller / LLCov
  LLVM-based, flexible, live coverage instrumentation for C/C++ code
  ☆43Updated 9 years ago
• columbia / libtrack
  Library wrapper and system-level tracing utilities
  ☆46Updated 8 years ago
• agl / nullok
  Scripts that I used to write a blog post about section 7.24.1(2) of C11
  ☆11Updated 8 years ago
• csmith-project / voltest
  Tools for testing C compilers for the correct handling of volatile objects.
  ☆26Updated 10 years ago
• intel / prd
  Persistent RAM Driver
  ☆29Updated 9 years ago
• hcrypt-project / oblivious
  Oblivious Memory Access under Fully Homomorphic Encryption
  ☆13Updated 9 years ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆51Updated 10 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 7 years ago
• CTSRD-SOAAP / soaap
  Security-Oriented Analysis of Application Programs
  ☆13Updated 6 years ago
• travisdowns / toupper-bench
  Benchmark supporting baseless libel against clang-format
  ☆11Updated 5 years ago
• esjeon / musl-clang
  A clang wrapper for musl C library. Pretty hacky, I know.
  ☆34Updated 10 years ago
• clibs / zerodbg
  Useful macros for debugging purposes.
  ☆16Updated 10 years ago
• pzemtsov / article-align-x86
  Source code for the article "A bug story: data alignment on x86"
  ☆16Updated 8 years ago
• UTSASRG / Guarder
  ☆13Updated 6 years ago
• thestinger / allocator
  experimental high performance, low fragmentation memory allocator
  ☆58Updated 8 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• snu-sf / crellvm
  Crellvm: Verified Credible Compilation for LLVM
  ☆16Updated 6 years ago
• akaros / akaros
  The Akaros operating system
  ☆41Updated 4 years ago
• envytools / valgrind
  valgrind fork with mmap tracing support
  ☆23Updated 4 years ago
• 0xAX / make-snippets
  Set of reusable Make snippets 🏗️
  ☆16Updated 7 years ago
• rlu-sync / rlu-rht
  RLU resizable hash-table
  ☆17Updated 9 years ago
• HexHive / memTrace
  memTrace, a framework for lightweight memory tracing
  ☆58Updated 5 years ago
• isec-tugraz / secure-block-device
  The Secure Block Device Library is a software library that applies cryptographic confidentiality and integrity protection, including data…
  ☆36Updated 7 years ago
• ut-osa / txos
  Operating system demonstrating system transactions
  ☆16Updated 8 years ago
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆28Updated 5 years ago