Alternatives and similar repositories for tourniquet

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

• trailofbits / sandshrew
  Underconstrained symbolic execution for cryptography verification
  ☆19Updated 4 years ago
• trailofbits / screen
  Measure branching along code paths
  ☆20Updated 8 years ago
• GrammaTech / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆64Updated 6 years ago
• trailofbits / blight
  A framework for instrumenting build tools
  ☆89Updated 3 weeks ago
• binsec / klee21-tina-artifact
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆28Updated 4 years ago
• ShiftLeftSecurity / llvm2graphml
  Explore LLVM Bitcode interactively using a graph database
  ☆58Updated 5 years ago
• vrthra / F1
  ☆82Updated 9 months ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆56Updated 5 years ago
• GrammaTech / gtirb-pprinter
  Pretty printer from GTIRB to assembly code
  ☆48Updated last week
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆32Updated last month
• bdcht / ccrawl
  clang-based search engine for C/C++ data structures, classes, prototypes & macros
  ☆103Updated 8 months ago
• lifting-bits / dds
  Dr. Disassembler
  ☆36Updated 3 years ago
• hdc-arizona / cfgexplorer
  Interactive Control Flow Graph Visualization.
  ☆35Updated 3 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 6 months ago
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 5 years ago
• agroce / afl-compiler-fuzzer
  Variation of american fuzzy lop for testing compilers
  ☆123Updated 3 years ago
• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆47Updated 9 years ago
• RolfRolles / PandemicML
  Pandemic binary program analysis framework in OCaml (abandoned)
  ☆71Updated 6 years ago
• falconre / finch
  Symbolic Execution over Falcon IL
  ☆29Updated 3 years ago
• codespecs / fjalar
  A dynamic analysis framework for C and C++ programs
  ☆29Updated last month
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆35Updated 4 years ago
• bannsec / pySym
  Python Symbolic Execution
  ☆70Updated 5 years ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆44Updated last year
• trailofbits / Honeybee
  An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite
  ☆129Updated 3 years ago
• jcdutton / reference
  Reference material for libbeauty
  ☆25Updated 2 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆45Updated 5 years ago
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆103Updated 2 years ago
• mc-imperial / jfs
  Constraint solver based on coverage-guided fuzzing
  ☆248Updated last year
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 5 years ago
• trailofbits / anselm
  Detect patterns of bad behavior in function calls
  ☆26Updated 4 years ago