llvm Data Flow Graph dump
☆36May 24, 2021Updated 4 years ago
Alternatives and similar repositories for llvm_DFGPass
Users that are interested in llvm_DFGPass are comparing it to the libraries listed below
Sorting:
- Simple passes for CFG and DFG analysis☆44Jul 8, 2019Updated 6 years ago
- llvm control flow graph☆26Sep 16, 2019Updated 6 years ago
- generating DFG and CFG from source code (using LLVM ) or from binary (using LLVM and Mcsema) 二进制或者源码转CGF& DFG☆42Sep 16, 2019Updated 6 years ago
- AFL enhanced for concurrency bug and vulnerabilities☆19Sep 18, 2020Updated 5 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆26Mar 15, 2020Updated 5 years ago
- Papers related with kernel papers☆13Mar 18, 2023Updated 2 years ago
- source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"☆14Dec 23, 2018Updated 7 years ago
- Fuzzing with controlled compilation☆31Apr 7, 2023Updated 2 years ago
- ☆16Mar 23, 2018Updated 7 years ago
- Python GUI for seeing what's happening inside a fuzzer☆26Oct 1, 2021Updated 4 years ago
- ☆26Oct 3, 2023Updated 2 years ago
- Static analysis for llvm☆20Mar 31, 2015Updated 10 years ago
- ☆12Jun 20, 2022Updated 3 years ago
- ☆12Jun 8, 2021Updated 4 years ago
- llvm Call Graph分析☆10May 27, 2017Updated 8 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Nov 3, 2019Updated 6 years ago
- ☆15May 6, 2021Updated 4 years ago
- drawing graphs for llvm ir. data flow and control flow☆40Sep 10, 2017Updated 8 years ago
- Rust and C Benchmarks☆14Nov 21, 2024Updated last year
- Group coding repository of PltCov, a tool to instrument ELF binaries for fuzzing with ngram coverage of imported APIs☆12Jan 18, 2022Updated 4 years ago
- ☆53Nov 26, 2017Updated 8 years ago
- ☆10Oct 8, 2022Updated 3 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Sep 28, 2018Updated 7 years ago
- ☆14Oct 11, 2017Updated 8 years ago
- A LLVM Pass with runtime dataflow sanitization☆32Mar 28, 2019Updated 6 years ago
- ☆34Jun 5, 2023Updated 2 years ago
- Benchmark apps for static analyzing native world of Android applications.☆13Nov 15, 2018Updated 7 years ago
- ☆14Jun 21, 2020Updated 5 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated last year
- A binary-only coverage-guided fuzzer based on AFL and e9patch☆18Oct 13, 2020Updated 5 years ago
- 简化版本llvm的stackprotector策略,将其包装成一个pass,对程序的stack进行保护☆13Jul 13, 2017Updated 8 years ago
- ☆15Sep 14, 2022Updated 3 years ago
- ROP Benchmark is a tool to compare ROP compilers☆44Jan 26, 2023Updated 3 years ago
- Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing☆35Nov 22, 2023Updated 2 years ago
- A testcase generation tool for Persistent Memory Programs.☆15Jul 19, 2021Updated 4 years ago
- Saryn: Fuzzing with Taint Inference☆16Jun 16, 2022Updated 3 years ago
- Disassemblers with various trimming methodologies☆15Jan 1, 2025Updated last year
- EMS provided by the paper "EMS: History-Driven Mutation for Coverage-based Fuzzing"☆34Nov 4, 2022Updated 3 years ago
- A library for analyzing LLVM bitcode in Haskell☆44Oct 9, 2014Updated 11 years ago