Alternatives and similar repositories for DoubleTake:

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

• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 7 years ago
• martintrojer / symbolic-execution
  Applied Symbolic Execution with KLEE/LLVM
  ☆24Updated 11 years ago
• gmarpons / Crisp
  A Clang/LLVM add-on to enforce coding rules
  ☆33Updated 11 years ago
• kcc / fuzzing-with-sanitizers
  Tools, documentation and test inputs for fuzzing opensource projects with AddressSanitizer and friends.
  ☆28Updated 9 years ago
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 6 years ago
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆51Updated 11 years ago
• nflath / cppdepends
  Dependency graph generator for C++ code.
  ☆19Updated 6 years ago
• choller / LLCov
  LLVM-based, flexible, live coverage instrumentation for C/C++ code
  ☆43Updated 9 years ago
• ahorn / native-symbolic-execution-clang
  Source-to-source transformation to call native symbolic execution library and SMT Kit
  ☆32Updated 10 years ago
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆36Updated 4 years ago
• davidhildenbrand / drob
  DROB (Dynamic Rewriter and Optimizer of Binary code)
  ☆24Updated 5 years ago
• dslab-epfl / lfi
  Fault injection library
  ☆22Updated 10 years ago
• struct / HardenedPartitionAlloc
  A forked and hardened version of PartitionAlloc from Chrome's Blink engine
  ☆62Updated 6 years ago
• SNSystems / dexter
  DExTer - Debug Experience Tester
  ☆33Updated 3 years ago
• cuplv / thresher
  Static heap reachability analysis for Java bytecode and Android memory leak finder.
  ☆32Updated 10 years ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆32Updated 3 years ago
• vusec / safeinit
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆24Updated 3 years ago
• cdl-saarland / axtor
  AST - Extractor for LLVM
  ☆18Updated 3 years ago
• rutgers-apl / alive-nj
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆29Updated 5 years ago
• trailofbits / clang-tidy-audit
  Rewrite C/C++/Obj-C to Annotate Points of Interest
  ☆27Updated 9 years ago
• lally / ppt
  Production Performance Telemetry
  ☆21Updated 4 years ago
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 4 years ago
• mc-imperial / shader-compiler-bugs
  A collection of shader compiler bugs.
  ☆49Updated 6 years ago
• DynamoRIO / drk
  Dynamic instrumentation of the Linux kernel
  ☆41Updated 9 years ago
• moflow / disassembler-benchmarks
  ☆16Updated 7 years ago
• uberspot / VTPin
  VTable Hijacking Protection for Binaries
  ☆11Updated 7 years ago
• utds3lab / hypershell
  ☆11Updated 9 years ago
• binsec / icse2021-artifact992
  ☆10Updated 3 years ago
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆51Updated 2 years ago