Learner0x5a / DataFlowAnalysis-miasmLinks
Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.
☆19Updated 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:
- ☆13Updated 3 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆83Updated 2 years ago
- ☆19Updated 5 years ago
- Bring libfuzzer to Unicorn☆26Updated 3 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 3 years ago
- Binary Ninja plugin for forward/backward slicing☆18Updated 4 years ago
- a taint tracer based on DynamoRIO, currently ARM only☆41Updated 5 years ago
- Alleycat plugin by devttys0, ported to IDA 8☆10Updated 4 months ago
- AFLplusplus + libprotobuf-mutator = love☆83Updated 5 years ago
- A tool combining DWARF info and source to search for kernel heap objects☆24Updated last year
- Code snippets for Binary Ninja's Python API☆28Updated 4 years ago
- Backward Taint Analysis (GUI) on Desktop : Analyzing trace log to determine exploitability by tracking data propagation☆48Updated 8 years ago
- Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)☆34Updated last year
- ☆20Updated 3 years ago
- ALIEN: idA Local varIables/inLine functIons rEcogNizer☆18Updated 3 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Updated 2 years ago
- ☆28Updated last year
- AIL: The angr Intermediate Language.☆32Updated last week
- ☆34Updated 3 years ago
- ☆27Updated 3 years ago
- a new cfi mechanism☆32Updated 3 years ago
- A gdb for fuzzing☆21Updated 3 years ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆30Updated 3 years ago
- ☆24Updated last year
- A Coverage-Based fuzzing tools☆23Updated 3 years ago
- The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.☆28Updated 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
- IDA (sort of) headless☆24Updated last year
- ☆30Updated last year
- A data-flow-guided fuzzer☆120Updated last year