Alternatives and similar repositories for reil

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

• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 6 years ago
• Vector35 / arch-armv7
  ARMv7 architecture plugin
  ☆40Updated last year
• vlad902 / kernel-uninitialized-memory-checker
  A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.
  ☆58Updated 7 years ago
• bdcht / ccrawl
  clang-based search engine for C/C++ data structures, classes, prototypes & macros
  ☆103Updated 6 months ago
• melbshark / relative-pattern
  Recover control flow graph from obfuscated codes
  ☆37Updated 10 years ago
• Vector35 / generate_assembler
  generate assemblers from disassemblers, 2018 jailbreak security summit talk
  ☆38Updated 5 years ago
• intelpt / kAFL
  Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels
  ☆12Updated 8 years ago
• feliam / klee-taint
  KLEE-TAINT - Klee with taint analysis support
  ☆71Updated 8 years ago
• lifting-bits / fennec
  Rewriting functions in compiled binaries using McSema
  ☆91Updated 6 years ago
• BinaryAnalysisPlatform / bap-ida-python
  integration with IDA
  ☆94Updated 4 years ago
• zardus / idalink
  Some glue facilitating remote use of IDA (the Interactive DisAssembler) Python API.
  ☆77Updated 5 years ago
• RUB-SysSec / Marx
  Uncovering Class Hierarchies in C++ Programs
  ☆127Updated 3 years ago
• zhechkoz / PwIN
  Security Evaluation of Dynamic Binary Instrumentation Engines
  ☆82Updated 7 years ago
• trailofbits / KRFAnalysis
  Collection of LLVM passes and triage tools for use with the KRF fuzzer
  ☆38Updated 3 years ago
• toshipiazza / Tigress_angr
  Futile attempt to solve the Tigress challenges using angr
  ☆23Updated 6 years ago
• Brandon-Everhart / AngryIDA
  Python based angr plug in for IDA Pro.
  ☆35Updated 7 years ago
• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆38Updated 6 years ago
• Vector35 / arch-x86
  x86/x64 architecture plugin
  ☆40Updated last year
• Vector35 / BinaryNinjaImporter
  ☆27Updated 7 years ago
• pagabuc / gfree
  Implementation of G-Free: Defeating Return-Oriented Programming through Gadget-less Binaries
  ☆96Updated 7 years ago
• Frky / scat
  Dynamic analysis of binary programs to retrieve function-related information (arity, type of parameters, coupling).
  ☆69Updated 8 years ago
• wapiflapi / wsym
  Adds symbols to a ELF file.
  ☆65Updated 10 years ago
• quarkslab / llvm-passes
  Collection of various llvm passes
  ☆130Updated 10 years ago
• relyze-ltd / LibTCGTranslate
  A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…
  ☆49Updated 5 years ago
• abenkhadra / spedi
  Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.
  ☆108Updated 7 years ago
• patois / mrspicky
  MrsPicky - An IDAPython decompiler script that helps auditing memcpy() and memmove() calls
  ☆127Updated last year
• RolfRolles / SMTSample
  Course sample for SMT-Based Binary Program Analysis training class
  ☆32Updated 7 years ago
• jrmuizel / kemufuzzer
  Automatically exported from code.google.com/p/kemufuzzer
  ☆26Updated 10 years ago
• Vector35 / arch-arm64
  Aarch64 architecture plugin
  ☆85Updated last year
• andreafioraldi / angrdbg
  Abstract library to generate angr states from a debugger state
  ☆61Updated 5 years ago