Alternatives and similar repositories for Rel

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

• binsec / haunted
  Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.
  ☆17Updated last year
• ntddk / vine
  Vine: The BitBlaze Static Analysis Component
  ☆25Updated 10 years ago
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆54Updated 2 years ago
• BinaryAnalysisPlatform / bap-frames
  Store and read traces in Protobuf
  ☆20Updated last year
• BinaryAnalysisPlatform / bap-toolkit
  A collection of ready to use binary analysis tools
  ☆57Updated last year
• termite-analyser / llvm2smt
  OCaml library to transform an Llvm control flow graph in an SMT formula.
  ☆13Updated 7 years ago
• BinaryAnalysisPlatform / bap-tutorial
  The BAP tutorial
  ☆72Updated 2 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆56Updated 4 years ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 6 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated 2 weeks ago
• winter2020 / oo7
  oo7, a binary analysis tool to defend against Spectre vulnerabilities
  ☆32Updated 4 years ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆18Updated 2 weeks ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆56Updated 5 years ago
• BinaryAnalysisPlatform / bap-plugins
  BAP Plugins Repository
  ☆57Updated 4 years ago
• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆37Updated 5 years ago
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆68Updated 2 weeks ago
• GrammaTech / gtirb-pprinter
  Pretty printer from GTIRB to assembly code
  ☆48Updated last month
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆103Updated 2 years ago
• uds-se / lFuzzer
  Fuzzing Parsers with Tokens
  ☆33Updated 4 years ago
• yhyoon / simba
  Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation
  ☆20Updated last year
• B2R2-org / FunSeeker
  FunSeeker: Binary Function Identification Tool
  ☆25Updated last year
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 4 years ago
• ijon-afl / ijon-data
  experiments for IJON
  ☆12Updated 5 years ago
• haoxintu / FastKLEE
  FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
  ☆20Updated last year
• BinaryAnalysisPlatform / bap-bindings
  C Bindings to BAP
  ☆15Updated 2 years ago
• vandaltool / vandalir
  ☆24Updated 2 years ago
• ernw / binja-ipython
  A plugin to integrate an IPython kernel into Binary Ninja.
  ☆29Updated 6 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆45Updated 5 years ago
• SVL-PSU / crete-dev
  CRETE under development
  ☆59Updated 4 years ago
• trailofbits / divergent-representations
  CodeQL and Binary Ninja scripts to accompany the blog post
  ☆11Updated 2 years ago