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
• CTSRD-SOAAP / soaap
  Security-Oriented Analysis of Application Programs
  ☆13Updated 6 years ago
• nmathewson / libottery
  A fast secure userspace pseudorandom number generator
  ☆82Updated 10 years ago
• thestinger / allocator
  experimental high performance, low fragmentation memory allocator
  ☆58Updated 8 years ago
• coccinelle / faults-in-Linux
  Experimental bed to study Linux faults
  ☆25Updated 2 years ago
• luhsra / multiverse
  A (GCC) compiler plugin for multiversing functions
  ☆20Updated 2 years ago
• choller / LLCov
  LLVM-based, flexible, live coverage instrumentation for C/C++ code
  ☆43Updated 9 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• Maratyszcza / confu
  Ninja-based configuration system
  ☆11Updated 5 years ago
• luceracloud / libfasttime
  Fast time calls from user space.
  ☆11Updated 9 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
• a3f / libvas
  Peek/Poke like it's 1979 - Multi-Platform memory reading/writing
  ☆12Updated 6 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 7 years ago
• envytools / valgrind
  valgrind fork with mmap tracing support
  ☆23Updated 4 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• ramosian-glider / clang-kernel-build
  Steps to build the Linux kernel using Clang
  ☆99Updated 3 years ago
• rmmh / whomp
  reverse engineering branch predictors
  ☆17Updated 9 years ago
• pzemtsov / article-align-x86
  Source code for the article "A bug story: data alignment on x86"
  ☆16Updated 8 years ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 8 years ago
• ut-osa / txos
  Operating system demonstrating system transactions
  ☆15Updated 8 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
• tmetsch / python-dtrace
  A Python DTrace consumer using libdtrace - Now Python can be used as DTrace Provider and Consumer...
  ☆70Updated 3 years ago
• blucia0a / CTraps-gcc
  Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis
  ☆13Updated 10 years ago
• vitkyrka / kninja
  Ninja build file generator for the Linux kernel
  ☆55Updated 5 years ago
• DynamoRIO / drk
  Dynamic instrumentation of the Linux kernel
  ☆40Updated 10 years ago
• plasma-umass / entroprise
  measure entropy of memory allocators
  ☆12Updated 3 years ago
• llvm-mirror / poolalloc
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆30Updated 9 years ago
• FranklinChen / rust-vs-cpp-unique_ptr
  Code accompanying blog post about the difference between Rust and C++ unique_ptr.
  ☆11Updated 10 years ago
• csmith-project / voltest
  Tools for testing C compilers for the correct handling of volatile objects.
  ☆26Updated 10 years ago