Learner0x5a / DataFlowAnalysis-miasmLinks
Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.
☆20Updated 3 years ago
Alternatives and similar repositories for DataFlowAnalysis-miasm
Users that are interested in DataFlowAnalysis-miasm are comparing it to the libraries listed below
Sorting:
- Symbolic Execution Engine based on Ghidra's PCode☆83Updated 2 years ago
- Tool to trace ARM Cortex-M assembly instructions and extract arguments to configuration APIs (supervisor calls or function calls).☆31Updated 3 years ago
- ☆19Updated 5 years ago
- Backward Taint Analysis (GUI) on Desktop : Analyzing trace log to determine exploitability by tracking data propagation☆48Updated 8 years ago
- Bring libfuzzer to Unicorn☆26Updated 3 years ago
- A gdb for fuzzing☆21Updated 3 years ago
- ☆13Updated 3 years ago
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.☆101Updated last month
- TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)☆23Updated this week
- Binary Ninja plugin for forward/backward slicing☆18Updated 4 years ago
- AIL: The angr Intermediate Language.☆32Updated 3 weeks ago
- a taint tracer based on DynamoRIO, currently ARM only☆41Updated 5 years ago
- Large Commit Precise Vulnerability Dataset based on AOSP CVE☆65Updated 2 years ago
- Decode machine code into VEX IR and translate into LLVM IR☆28Updated 6 years ago
- AFL bindings for Unicorn-Engine☆80Updated this week
- ☆28Updated last year
- Pangine disassembly ground truth benchmark☆11Updated 4 years ago
- ☆24Updated last year
- Code and artifacts related to the Asia CCS 2022 paper☆37Updated 3 years ago
- Summary of static analysis in Java and C/C++☆18Updated 2 years ago
- Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)☆34Updated last year
- ☆34Updated 3 years ago
- AFLplusplus + libprotobuf-mutator = love☆83Updated 5 years ago
- ☆47Updated 3 years ago
- a new cfi mechanism☆32Updated 3 years ago
- This is the project for the paper “Large-scale Security Measurements on the Android Firmware Ecosystem” in ICSE2022☆37Updated 7 months ago
- ☆12Updated 3 years ago
- Symbolic Execution Over Processor Traces☆121Updated 10 months ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆89Updated last year
- ☆14Updated 2 years ago