Alternatives and similar repositories for validating-binary-decompilation

Users that are interested in validating-binary-decompilation are comparing it to the libraries listed below

• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆92Updated 4 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆45Updated 5 years ago
• HexHive / Gramatron
  Coverage-guided grammar aware fuzzer that uses grammar automatons
  ☆68Updated 3 years ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆17Updated 2 months ago
• GrammaTech / retypd
  ☆71Updated last year
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 5 years ago
• thebabush / reflex
  Flex 'em lexers
  ☆40Updated 4 years ago
• bajinsheng / ReZZan
  ☆38Updated 2 years ago
• melynx / taintinduce
  TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.
  ☆59Updated 4 years ago
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆121Updated 10 months ago
• mc-imperial / jfs
  Constraint solver based on coverage-guided fuzzing
  ☆248Updated last year
• seclab-ucr / IncreLux
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆30Updated 3 years ago
• HexHive / HexVASAN
  ☆17Updated 6 years ago
• nyx-fuzz / spec-fuzzer
  ☆42Updated 3 years ago
• bda-tool / bda
  BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation
  ☆30Updated 4 years ago
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆32Updated last month
• securesystemslab / BinRec
  ☆32Updated 2 years ago
• B2R2-org / FunSeeker
  FunSeeker: Binary Function Identification Tool
  ☆25Updated last year
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆103Updated 2 years ago
• CUMLSec / stateformer
  ☆61Updated 7 months ago
• pietroborrello / RopMate
  ROPMate is the first Visual Analytics system specifically designed to assist human in composing ROP chains with the desired semantics.
  ☆26Updated 4 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 4 years ago
• hase-project / hase
  Timeless debugging with symbolic execution and processor trace
  ☆76Updated 4 years ago
• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆37Updated 6 years ago
• adrian-rt / superion-mutator
  Superion Mutator for AFLPlusPlus
  ☆31Updated last year
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆57Updated 5 years ago
• Dynamic-Rabbits / Taint-Evaluator
  A suite of experiments for evaluating open-source binary taint trackers.
  ☆32Updated 3 years ago
• uds-se / lFuzzer
  Fuzzing Parsers with Tokens
  ☆33Updated 4 years ago
• uds-se / pFuzzer
  The parser-directed Fuzzer
  ☆38Updated 5 years ago
• SoftSec-KAIST / Reassessor
  Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)
  ☆33Updated 5 months ago