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.
  ☆16Updated last year
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆54Updated last year
• termite-analyser / llvm2smt
  OCaml library to transform an Llvm control flow graph in an SMT formula.
  ☆13Updated 6 years ago
• BinaryAnalysisPlatform / bap-frames
  Store and read traces in Protobuf
  ☆20Updated last year
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆103Updated last year
• ntddk / vine
  Vine: The BitBlaze Static Analysis Component
  ☆25Updated 10 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆55Updated 4 years ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆17Updated 3 years ago
• winter2020 / oo7
  oo7, a binary analysis tool to defend against Spectre vulnerabilities
  ☆32Updated 4 years ago
• yhyoon / simba
  Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation
  ☆20Updated last year
• Jezurko / potato
  Experimental MLIR based points-to analysis tool
  ☆14Updated 2 months ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated last month
• softsec-unh / MBA-Solver
  ☆40Updated 3 years ago
• BinaryAnalysisPlatform / bap-tutorial
  The BAP tutorial
  ☆73Updated 2 years ago
• RolfRolles / PandemicML
  Pandemic binary program analysis framework in OCaml (abandoned)
  ☆71Updated 5 years ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆56Updated 4 years ago
• BinaryAnalysisPlatform / bap-toolkit
  A collection of ready to use binary analysis tools
  ☆56Updated last year
• guolong-zheng / sling
  ☆19Updated last year
• BinaryAnalysisPlatform / bap-plugins
  BAP Plugins Repository
  ☆57Updated 4 years ago
• LL-MM / approxis-groundtruth
  ☆30Updated 4 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
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆65Updated last week
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆32Updated this week
• haoxintu / FastKLEE
  FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
  ☆20Updated last year
• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆35Updated 5 years ago
• GrammaTech / retypd
  ☆69Updated last year
• hase-project / hase
  Timeless debugging with symbolic execution and processor trace
  ☆75Updated 4 years ago
• ernw / binja-ipython
  A plugin to integrate an IPython kernel into Binary Ninja.
  ☆29Updated 6 years ago
• caterinaurban / function
  ☆12Updated 9 months ago
• winter2020 / kleespectre
  KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling
  ☆33Updated 5 years ago