Alternatives and similar repositories for reil:

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

• s3team / loop
  Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code
  ☆51Updated 9 years ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 5 years ago
• awailly / nrop
  Automated Return-Oriented Programming Chaining
  ☆84Updated 8 years ago
• quarkslab / llvm-passes
  Collection of various llvm passes
  ☆120Updated 9 years ago
• Vector35 / arch-x86
  x86/x64 architecture plugin
  ☆39Updated last year
• vlad902 / kernel-uninitialized-memory-checker
  A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.
  ☆59Updated 6 years ago
• feliam / klee-taint
  KLEE-TAINT - Klee with taint analysis support
  ☆70Updated 7 years ago
• deroko / switch
  ☆25Updated 6 years ago
• BinaryAnalysisPlatform / bap-ida-python
  integration with IDA
  ☆92Updated 3 years ago
• RUB-SysSec / Marx
  Uncovering Class Hierarchies in C++ Programs
  ☆127Updated 2 years ago
• bdcht / ccrawl
  clang-based search engine for C/C++ data structures, classes, prototypes & macros
  ☆101Updated 5 months ago
• relyze-ltd / LibTCGTranslate
  A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…
  ☆46Updated 4 years ago
• googleprojectzero / DrSancov
  DynamoRIO plugin to get ASAN and SanitizerCoverage compatible output for closed-source executables
  ☆207Updated 3 years ago
• fdfalcon / frida-cfg-hook
  An instrumentation script based on Frida which leverages Control Flow Guard to intercept indirect calls in CFG-enabled Windows binaries.
  ☆29Updated 9 years ago
• lifting-bits / fennec
  Rewriting functions in compiled binaries using McSema
  ☆88Updated 5 years ago
• jordan9001 / dobby2
  Build your emulation environment as needed
  ☆66Updated 4 years ago
• in7egral / idaemu
  idaemu is an IDA Pro Plugin - use for emulating code in IDA Pro.
  ☆40Updated 2 months ago
• melbshark / relative-pattern
  Recover control flow graph from obfuscated codes
  ☆38Updated 9 years ago
• Cisco-Talos / covnavi
  ☆63Updated 6 years ago
• pagabuc / gfree
  Implementation of G-Free: Defeating Return-Oriented Programming through Gadget-less Binaries
  ☆95Updated 6 years ago
• abenkhadra / spedi
  Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.
  ☆106Updated 6 years ago
• osirislab / dispatch
  Programmatic disassembly and patching
  ☆67Updated 8 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago
• toshipiazza / Tigress_angr
  Futile attempt to solve the Tigress challenges using angr
  ☆26Updated 5 years ago
• patois / mrspicky
  MrsPicky - An IDAPython decompiler script that helps auditing memcpy() and memmove() calls
  ☆123Updated last year
• atrosinenko / qinst
  Draft of generic instrumentation tool based on QEMU using eBPF to implement trivial instrumentations with trivial code
  ☆18Updated 5 years ago
• JonathanSalwan / stuffz
  Some low-level stuff
  ☆105Updated 11 months ago
• wapiflapi / wsym
  Adds symbols to a ELF file.
  ☆61Updated 9 years ago
• argp / unmask_jemalloc
  De Mysteriis Dom jemalloc
  ☆65Updated 7 years ago
• vanhauser-thc / afl-dyninst
  American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries
  ☆74Updated 3 years ago