CMUSTRUDEL / DIRE

Related projects ⓘ

Alternatives and complementary repositories for DIRE

• pcyin / dire
  Neural Variable Renaming for Decompiled Binaries
  ☆44Updated 4 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆54Updated 4 years ago
• CUMLSec / stateformer
  ☆60Updated 2 years ago
• thebabush / reflex
  Flex 'em lexers
  ☆38Updated 4 years ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆61Updated 5 years ago
• yasong / Awesome-Info-Inferring-Binary
  A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.
  ☆78Updated this week
• angr / angr-targets
  This repository contains the currently implemented angr concrete targets.
  ☆32Updated last year
• ispras / rop-benchmark
  ROP Benchmark is a tool to compare ROP compilers
  ☆39Updated last year
• mrphrazer / kadabra
  A blanked execution framework based on the Unicorn engine
  ☆18Updated 7 years ago
• Pamplemousse / bits_of_static_binary_analysis
  Material and examples for a presentation on static binary analysis.
  ☆39Updated 3 years ago
• zhangxiaochuan / MIRROR
  The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.
  ☆27Updated last year
• toor-de-force / Ghidra-to-LLVM
  An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis
  ☆211Updated 4 years ago
• AFLplusplus / unicornafl_legacy
  Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86) adapted to afl++
  ☆44Updated 2 years ago
• trailofbits / Honeybee
  An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite
  ☆128Updated 2 years ago
• angr / archr
  Target-centric program analysis.
  ☆72Updated this week
• SoftSec-KAIST / Reassessor
  Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)
  ☆31Updated 6 months ago
• fgsect / JMPscare
  tool for multi-execution jump coverage introspection
  ☆63Updated last week
• relyze-ltd / LibTCGTranslate
  A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…
  ☆45Updated 4 years ago
• sefcom / VarBERT
  ☆48Updated 6 months ago
• season-lab / ropdissector
  A framework for static analysis of ROP exploits and programs
  ☆40Updated 5 years ago
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆31Updated this week
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆116Updated 3 months ago
• decompetition / challenges-2020
  ☆48Updated 2 years ago
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆82Updated last year
• angr / tracer
  Utilities for generating dynamic traces
  ☆88Updated 2 years ago
• AFLplusplus / qemuafl
  This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.
  ☆79Updated 3 weeks ago
• junxzm1990 / afl-pt
  ☆50Updated 5 years ago
• elManto / DDFuzz
  The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…
  ☆63Updated 2 years ago
• csienslab / instrim
  InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing
  ☆83Updated 4 years ago
• valour01 / arm_disasssembler_study
  This is the repository for paper "An Empirical Study on ARM Disassembly Tools" accepted to ISSTA 2020
  ☆59Updated last year