Alternatives and similar repositories for DoubleTake

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

• martintrojer / symbolic-execution
  Applied Symbolic Execution with KLEE/LLVM
  ☆24Updated 11 years ago
• ahorn / native-symbolic-execution-clang
  Source-to-source transformation to call native symbolic execution library and SMT Kit
  ☆32Updated 10 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 7 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated last week
• delcypher / nsolv
  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
  ☆12Updated 12 years ago
• struct / HardenedPartitionAlloc
  A forked and hardened version of PartitionAlloc from Chrome's Blink engine
  ☆62Updated 7 years ago
• gmarpons / Crisp
  A Clang/LLVM add-on to enforce coding rules
  ☆33Updated 11 years ago
• choller / LLCov
  LLVM-based, flexible, live coverage instrumentation for C/C++ code
  ☆43Updated 9 years ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆35Updated 4 years ago
• wangbo15 / accmut
  Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.
  ☆10Updated 7 years ago
• dslab-epfl / lfi
  Fault injection library
  ☆22Updated 10 years ago
• CompArchCam / Janus
  Automatic Binary Parallelisation
  ☆43Updated 3 months ago
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 4 years ago
• codespecs / fjalar
  A dynamic analysis framework for C and C++ programs
  ☆29Updated this week
• orbitcowboy / afl_cppcheck
  A script to start fuzzing of cppcheck with american fuzzy lop
  ☆10Updated 5 years ago
• gtcasl / qsim
  QEMU based emulation library for micro-architectural simulation (ARM64 and x86)
  ☆41Updated 5 years ago
• cuplv / thresher
  Static heap reachability analysis for Java bytecode and Android memory leak finder.
  ☆32Updated 10 years ago
• jiangyy / rwtrace
  A shared memory dependence tracing tool for dynamic concurrent program analysis
  ☆12Updated 10 years ago
• intel / satt
  ☆74Updated 2 years ago
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 6 years ago
• lifting-bits / cxx-common
  Common dependency management for various Trail of Bits C++ codebases
  ☆34Updated 11 months ago
• finixbit / ltrace
  Simple Library calls tracer
  ☆22Updated 7 years ago
• vusec / safeinit
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆26Updated 4 years ago
• pfalcon / graph-llvm-ir
  Visualization of LLVM IR
  ☆59Updated 11 years ago
• kcc / fuzzing-with-sanitizers
  Tools, documentation and test inputs for fuzzing opensource projects with AddressSanitizer and friends.
  ☆28Updated 9 years ago
• cdl-saarland / axtor
  AST - Extractor for LLVM
  ☆18Updated 4 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆47Updated 7 months ago
• lally / ppt
  Production Performance Telemetry
  ☆21Updated 4 years ago
• binsec / icse2021-artifact992
  ☆10Updated 4 years ago
• plasma-umass / Hound
  Hound memory leak detector
  ☆12Updated 6 years ago