Alternatives and similar repositories for caver:

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

• melynx / DOP-StaticAssist
  Public release of the tools used to assist in gadget finding.
  ☆41Updated 7 years ago
• nettrino / IntFlow
  IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis
  ☆16Updated 9 years ago
• SVL-PSU / crete-dev
  CRETE under development
  ☆59Updated 4 years ago
• feliam / klee-taint
  KLEE-TAINT - Klee with taint analysis support
  ☆72Updated 7 years ago
• dennisaa / patharmor
  PathArmor context-sensitive CFI implementation
  ☆45Updated 9 years ago
• choller / afl
  Mozilla fork of the American Fuzzy Lop repo
  ☆46Updated 5 years ago
• test-pipeline / orthrus
  A tool to manage, conduct, and assess dictionary-based fuzz testing
  ☆64Updated 7 years ago
• TJAndHisStudents / TaintFlowAnalysis
  Gives tainting information for the provided bitcode file generated from binary.
  ☆44Updated 7 years ago
• s3team / bincfp
  Efficient Multi-threaded Binary Code Control Flow Profiling Pintool
  ☆22Updated 8 years ago
• angr / tracer
  Utilities for generating dynamic traces
  ☆89Updated 2 years ago
• plum-umd / fuzzing-benchmarks
  The collection of programs for evaluating fuzzing techniques
  ☆20Updated 7 years ago
• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆47Updated 8 years ago
• behzad-a / Dytan
  Dytan Taint Analysis Framework on Linux 64-bit
  ☆46Updated 10 years ago
• CyberGrandChallenge / cgc2elf
  Convert Challenge Binaries to shared objects so service pollers can make use of the algorithm implementations
  ☆14Updated 7 years ago
• mcfi / MCFI
  MCFI/PICFI tool chain
  ☆42Updated 10 months ago
• securesystemslab / sanitizing-for-security-benchmarks
  ☆25Updated 6 years ago
• gryan11 / PGA
  Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…
  ☆32Updated 3 years ago
• dslab-epfl / asap
  Official repository for ASAP: High System-code Security at Low Overhead
  ☆24Updated 9 years ago
• purdue-secomp-lab / MEDS
  ☆37Updated 2 years ago
• dariosharp / SZpy
  Z3 Symbolic Execution python
  ☆28Updated 7 years ago
• FoRTE-Research / FoRTE-FuzzBench
  FoRTE-Research's fuzzing benchmarks
  ☆56Updated 5 years ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 4 years ago
• SoftSec-KAIST / MeanDiff
  Testing Intermediate Representations for Binary Analysis (ASE '17)
  ☆80Updated 6 years ago
• shellphish / driller-afl
  A version of AFL tailored for Driller's use in analyzing CGC binaries.
  ☆80Updated 7 years ago
• maurer / symfuzz
  ☆61Updated 9 years ago
• m000 / dtracker
  DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.
  ☆91Updated 6 years ago
• thinkmoore / llvm-deps
  Inter-procedural analysis framework and dependency/information-flow analysis for LLVM
  ☆19Updated 11 years ago
• intel / xom-switch
  ☆55Updated 2 years ago
• octopus-platform / joern-tools
  Python utilities for joern
  ☆35Updated 6 years ago
• sslab-gatech / kernel-analyzer
  ☆70Updated 5 years ago