Alternatives and similar repositories for tourniquet:

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

• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆47Updated 8 years ago
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆31Updated this week
• trailofbits / sandshrew
  Underconstrained symbolic execution for cryptography verification
  ☆18Updated 3 years ago
• GrammaTech / gtirb-pprinter
  Pretty printer from GTIRB to assembly code
  ☆48Updated 3 weeks 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
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆34Updated 2 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆54Updated 4 years ago
• 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
• AFLplusplus / StdFuzzer
  StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL
  ☆48Updated 2 months ago
• lifting-bits / dds
  Dr. Disassembler
  ☆35Updated 3 years ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 5 years ago
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 5 years ago
• ShiftLeftSecurity / llvm2graphml
  Explore LLVM Bitcode interactively using a graph database
  ☆58Updated 4 years ago
• trailofbits / KRFAnalysis
  Collection of LLVM passes and triage tools for use with the KRF fuzzer
  ☆36Updated 2 years ago
• trailofbits / blight
  A framework for instrumenting build tools
  ☆84Updated 2 months ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆43Updated 4 years ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆43Updated 7 months ago
• trailofbits / vast-checker
  ☆24Updated last year
• trtikm / Rebours
  A framework for control-flow recovery in binary programs.
  ☆11Updated 6 years ago
• angr / archr
  Target-centric program analysis.
  ☆73Updated this week
• bdcht / ccrawl
  clang-based search engine for C/C++ data structures, classes, prototypes & macros
  ☆101Updated 3 months ago
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆90Updated 3 years ago
• choller / LLCov
  LLVM-based, flexible, live coverage instrumentation for C/C++ code
  ☆43Updated 9 years ago
• trailofbits / Honeybee
  An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite
  ☆129Updated 3 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated 3 weeks ago
• bitblaze-fuzzball / d-s-se-directed-tests
  Binary dynamic, static, and symbolic execution analysis tools for directed test generation
  ☆22Updated 5 years ago
• feliam / klee-taint
  KLEE-TAINT - Klee with taint analysis support
  ☆72Updated 7 years ago
• jcdutton / reference
  Reference material for libbeauty
  ☆25Updated 2 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago