Alternatives and similar repositories for tourniquet

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

• trailofbits / screen
  Measure branching along code paths
  ☆20Updated 8 years ago
• trailofbits / sandshrew
  Underconstrained symbolic execution for cryptography verification
  ☆18Updated 4 years ago
• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆47Updated 9 years ago
• GrammaTech / gtirb-pprinter
  Pretty printer from GTIRB to assembly code
  ☆48Updated last month
• binsec / klee21-tina-artifact
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆27Updated 3 years ago
• trailofbits / blight
  A framework for instrumenting build tools
  ☆89Updated 5 months ago
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆32Updated last week
• ShiftLeftSecurity / llvm2graphml
  Explore LLVM Bitcode interactively using a graph database
  ☆58Updated 5 years ago
• GrammaTech / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆64Updated 6 years ago
• bdcht / ccrawl
  clang-based search engine for C/C++ data structures, classes, prototypes & macros
  ☆101Updated 6 months ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 5 years ago
• choller / LLCov
  LLVM-based, flexible, live coverage instrumentation for C/C++ code
  ☆43Updated 9 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆56Updated 4 years ago
• angr / archr
  Target-centric program analysis.
  ☆75Updated last week
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 5 years ago
• vrthra / F1
  ☆82Updated 7 months ago
• risicle / cpytraceafl
  CPython bytecode instrumentation and forkserver tools for fuzzing pure python and mixed python/c code using AFL
  ☆31Updated 4 years ago
• trailofbits / KRFAnalysis
  Collection of LLVM passes and triage tools for use with the KRF fuzzer
  ☆36Updated 2 years ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆33Updated 4 years ago
• securesystemslab / multicompiler-clang
  LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
  ☆18Updated 6 years ago
• RolfRolles / PandemicML
  Pandemic binary program analysis framework in OCaml (abandoned)
  ☆71Updated 5 years ago
• trailofbits / vast-checker
  ☆25Updated last year
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated last week
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆43Updated 10 months ago
• bitblaze-fuzzball / d-s-se-directed-tests
  Binary dynamic, static, and symbolic execution analysis tools for directed test generation
  ☆22Updated 5 years ago
• axt / bingraphvis
  ☆43Updated 3 years ago
• lifting-bits / dds
  Dr. Disassembler
  ☆35Updated 3 years ago
• jwilk / recidivm
  estimate peak virtual memory use
  ☆18Updated last month
• hase-project / hase
  Timeless debugging with symbolic execution and processor trace
  ☆76Updated 4 years ago
• codespecs / fjalar
  A dynamic analysis framework for C and C++ programs
  ☆29Updated 11 months ago