mahaloz / angr-sailrLinks
A frozen version of angr for the SAILR paper
☆16Updated last year
Alternatives and similar repositories for angr-sailr
Users that are interested in angr-sailr are comparing it to the libraries listed below
Sorting:
- A PCode Emulator for Ghidra.☆110Updated 4 years ago
- Ghidra Emulates Functions☆55Updated 5 years ago
- A Ghidra plugin for locating object file boundaries.☆125Updated 3 weeks ago
- ☆31Updated 5 years ago
- Use Ghidra Structs in Python☆30Updated 4 years ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆47Updated 5 years ago
- The DREAM decompiler☆45Updated 3 years ago
- ROP database plugin for IDA☆32Updated 7 years ago
- Build your emulation environment as needed☆66Updated 4 years ago
- ☆73Updated last year
- Ghidra Processor Module to disassemble and decompile the x86 Intel Atom microcode☆83Updated 2 years ago
- ☆51Updated last year
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆37Updated 3 weeks ago
- Toshiba MeP-c4 for Ghidra☆22Updated 6 years ago
- Repository for officially supported Binary Ninja plugins☆54Updated 3 weeks ago
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆80Updated 2 years ago
- Tutorial to write qemu plugins☆34Updated 8 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆52Updated 5 months ago
- Headless Scripts for Ghidra's Headless Analyzer written in Python☆32Updated 6 years ago
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆71Updated 2 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆51Updated 4 years ago
- KLEE Symbolic Execution Engine☆60Updated 6 years ago
- Pretty printer from GTIRB to assembly code☆49Updated 3 weeks ago
- IDA SDK tech demo☆39Updated 5 years ago
- NinjaDiff is a binary diffing plugin for Binary Ninja. Read more on our blog, and contribute code & improvements!☆69Updated 3 years ago
- A step towards automating the creation of Ghidra processor modules☆39Updated 6 months ago
- Making Type Info Library (TIL) file for Apache modules☆57Updated 4 years ago
- experimentation/code from Tanguy Dubroca (summer 2019)☆28Updated 6 years ago
- Extracting high level semantic information from binary code☆66Updated 6 years ago
- a few Ghidra scripts for dumping PCode data☆50Updated 6 years ago