Alternatives and similar repositories for cfgexplorer:

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

• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 6 years ago
• axt / bingraphvis
  ☆43Updated 3 years ago
• ntddk / vine
  Vine: The BitBlaze Static Analysis Component
  ☆25Updated 10 years ago
• hase-project / hase
  Timeless debugging with symbolic execution and processor trace
  ☆75Updated 4 years ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 5 years ago
• simutrace / simutrace
  Tracing framework for full system simulators
  ☆55Updated 9 years ago
• dyninst / tools
  Tools built using Dyninst or Dyninst component libraries.
  ☆25Updated 2 years ago
• aspire-fp7 / framework
  The central ASPIRE framework repository, start here if you want to use our tools (this contains all tools and documentation)
  ☆13Updated 4 years ago
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆32Updated last week
• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆47Updated 9 years ago
• s3team / bincfp
  Efficient Multi-threaded Binary Code Control Flow Profiling Pintool
  ☆22Updated 8 years ago
• trtikm / Rebours
  A framework for control-flow recovery in binary programs.
  ☆10Updated 6 years ago
• feliam / klee-taint
  KLEE-TAINT - Klee with taint analysis support
  ☆70Updated 7 years ago
• GrammaTech / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆64Updated 6 years ago
• LL-MM / approxis-groundtruth
  ☆31Updated 4 years ago
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 4 years ago
• trailofbits / screen
  Measure branching along code paths
  ☆20Updated 8 years ago
• ernw / binja-ipython
  A plugin to integrate an IPython kernel into Binary Ninja.
  ☆29Updated 6 years ago
• RUB-SysSec / EvilCoder
  Code for the paper EvilCoder: Automated Bug Insertion at ACSAC 2016
  ☆45Updated 8 years ago
• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆36Updated 5 years ago
• gdslang / gdsl-toolkit
  Generic Decoder Specification Language Toolkit
  ☆32Updated 6 years ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆33Updated 3 years ago
• mrphrazer / kadabra
  A blanked execution framework based on the Unicorn engine
  ☆19Updated 8 years ago
• GrammaTech / gtirb-pprinter
  Pretty printer from GTIRB to assembly code
  ☆48Updated last month
• yellowbyte / opaque-predicates-detective
  An approach to detect opaque predicates by identifying the damage caused by the obfuscation.
  ☆30Updated 4 years ago
• schieb / ELFManip
  Modify ELF executables
  ☆16Updated 6 years ago
• plast-lab / cclyzer-souffle
  CClyzer port to souffle lang
  ☆18Updated last year
• uxmal / nucleus
  Clone of "Compiler-Agnostic Function Detection in Binaries" source code
  ☆86Updated 3 years ago
• Vector35 / function_detection_test_suite
  suite of binaries used to test function identification
  ☆28Updated 7 years ago
• season-lab / survey-symbolic-execution
  A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.
  ☆81Updated 6 years ago