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:
- Repository for officially supported Binary Ninja plugins☆56Updated last week
- A Ghidra plugin for locating object file boundaries.☆127Updated 3 months ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆48Updated 5 years ago
- Decode machine code into VEX IR and translate into LLVM IR☆28Updated 6 years ago
- IDA SDK tech demo☆39Updated 5 years ago
- The DREAM decompiler☆46Updated 3 years ago
- Ghidra Processor Module to disassemble and decompile the x86 Intel Atom microcode☆88Updated 2 years ago
- Function signature matching and signature generation plugin for Binary Ninja☆77Updated 2 months ago
- A PCode Emulator for Ghidra.☆112Updated 4 years ago
- Ghidra Emulates Functions☆57Updated 5 years ago
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆81Updated 3 years ago
- ARMv7 architecture plugin☆40Updated last year
- ☆80Updated 3 years ago
- Build your emulation environment as needed☆66Updated 4 years ago
- ☆74Updated last year
- A Binary Ninja plugin for importing IDC database dumps from IDA.☆40Updated 3 years ago
- ☆31Updated 5 years ago
- transpile llil to c++ for execution and testing☆46Updated 2 years ago
- Some Ghidra scripts to automate my reverse-engineering tasks☆21Updated 4 years ago
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆31Updated 4 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 3 years ago
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆36Updated 3 years ago
- Making Type Info Library (TIL) file for Apache modules☆57Updated 4 years ago
- NinjaDiff is a binary diffing plugin for Binary Ninja. Read more on our blog, and contribute code & improvements!☆69Updated 4 years ago
- A simple IDA Pro plugin to show all HexRays decompiler comments written by user☆22Updated 4 years ago
- Headless Scripts for Ghidra's Headless Analyzer written in Python☆33Updated 6 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆51Updated 4 years ago
- ☆51Updated 4 years ago
- KLEE Symbolic Execution Engine☆60Updated 6 years ago
- Intel Management Engine JTAG Proof of Concept - 2022 Instructions☆32Updated 3 years ago