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
• vkrasnov / vpmadd
  Multiplication using AVX512 and AVX512IFMA instructions
  ☆23Updated 9 years ago
• IAIK / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• luhsra / multiverse
  A (GCC) compiler plugin for multiversing functions
  ☆20Updated 2 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• rmmh / whomp
  reverse engineering branch predictors
  ☆17Updated 8 years ago
• choller / LLCov
  LLVM-based, flexible, live coverage instrumentation for C/C++ code
  ☆43Updated 9 years ago
• octopus-platform / octopus
  Generic server for collaborative code analysis
  ☆12Updated 8 years ago
• lifting-bits / cxx-common
  Common dependency management for various Trail of Bits C++ codebases
  ☆34Updated 7 months ago
• envytools / valgrind
  valgrind fork with mmap tracing support
  ☆23Updated 4 years ago
• IAIK / secure-block-device
  The Secure Block Device Library is a software library that applies cryptographic confidentiality and integrity protection, including data…
  ☆35Updated 7 years ago
• deater / deterministic
  code for examining determinism of performance counters
  ☆21Updated 3 years ago
• yassl / yassl
  yaSSL, or yet another SSL, is an embedded ssl library for programmers building security functionality into their applications and devices…
  ☆11Updated 6 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 7 years ago
• hcrypt-project / oblivious
  Oblivious Memory Access under Fully Homomorphic Encryption
  ☆13Updated 9 years ago
• plasma-umass / entroprise
  measure entropy of memory allocators
  ☆12Updated 3 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆51Updated 6 years ago
• Maratyszcza / confu
  Ninja-based configuration system
  ☆11Updated 4 years ago
• mit-pdos / ward
  ☆31Updated 3 years ago
• UTSASRG / Guarder
  ☆13Updated 6 years ago
• SNSystems / dexter
  DExTer - Debug Experience Tester
  ☆33Updated 3 years ago
• coccinelle / faults-in-Linux
  Experimental bed to study Linux faults
  ☆25Updated 2 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆95Updated 8 years ago
• pgoodman / cparser
  Sort-of GNU C99 Declaration Parser
  ☆11Updated 5 years ago
• struct / HardenedPartitionAlloc
  A forked and hardened version of PartitionAlloc from Chrome's Blink engine
  ☆62Updated 6 years ago
• danluu / secvisor-formal-verification
  Formal verification of SecVisor, a secure hypervisor
  ☆13Updated 11 years ago
• TUD-OS / NRE
  NOVA runtime environment (official branch)
  ☆34Updated 3 years ago
• jwilk / recidivm
  estimate peak virtual memory use
  ☆19Updated last week
• columbia / libtrack
  Library wrapper and system-level tracing utilities
  ☆46Updated 7 years ago