Learner0x5a / DataFlowAnalysis-miasm
Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.
☆19Updated 2 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:
- ☆19Updated 4 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆83Updated 2 years ago
- ☆28Updated last year
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆28Updated last year
- a taint tracer based on DynamoRIO, currently ARM only☆41Updated 5 years ago
- angr源码分析☆33Updated 5 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆36Updated 3 years ago
- ☆34Updated 3 years ago
- ☆13Updated 3 years ago
- ☆24Updated 2 years ago
- AFLplusplus + libprotobuf-mutator = love☆83Updated 5 years ago
- Tool to trace ARM Cortex-M assembly instructions and extract arguments to configuration APIs (supervisor calls or function calls).☆30Updated 3 years ago
- Binary Ninja plugin for forward/backward slicing☆18Updated 4 years ago
- Bring libfuzzer to Unicorn☆26Updated 3 years ago
- cross-architecture binary comparison database☆8Updated 6 months ago
- ALIEN: idA Local varIables/inLine functIons rEcogNizer☆18Updated 3 years ago
- TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)☆17Updated this week
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Updated 2 years ago
- ☆14Updated 2 years ago
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.☆101Updated last week
- Qemu Fuzzer.针对Qemu模拟设备的模糊测试工具,主要思路是Host生成种子Data,然后传递给Guest中转程序,由中转程序访问MMIO,以达到和模拟设备的交互,不同于qtest自带的fuzzer.☆44Updated 3 years ago
- Corpus set used by DIE☆40Updated 4 years ago
- Large Commit Precise Vulnerability Dataset based on AOSP CVE☆64Updated 2 years ago
- ☆47Updated 3 years ago
- AFLTeam Collaborative Parallel Fuzzing☆74Updated 2 years ago
- a new cfi mechanism☆32Updated 3 years ago
- Material and examples for a presentation on static binary analysis.☆42Updated 4 years ago
- Symbolic Execution Over Processor Traces☆121Updated 9 months ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆33Updated 3 months ago
- Code for UI, backend, engine and statistical analysis for RE☆22Updated 3 years ago