bin2415 / llvm_CGPass
llvm Call Graph分析
☆10Updated 7 years ago
Related projects: ⓘ
- llvm control flow graph☆27Updated 5 years ago
- A use-after-free checker based on SVF.☆19Updated 6 years ago
- ☆23Updated 7 years ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆42Updated 4 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆76Updated 5 months ago
- Pre-built bitcode files for the Linux kernel☆22Updated 5 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆69Updated 2 years ago
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆29Updated last year
- ☆45Updated 2 years ago
- Detect missing check bugs in OS kernels☆106Updated 11 months ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆41Updated last year
- Movec: A Tool for the Monitoring and Verification of C Programs☆21Updated 6 months ago
- ☆68Updated 2 years ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆70Updated this week
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆29Updated last week
- LRSan: Detecting Lacking-Recheck Bugs in OS Kernels☆29Updated 5 years ago
- Code for PathAFL on ASIACCS 2020. Please see README_CN.md. Please wait for README_EN.md.☆16Updated 3 years ago
- A data dependence analyzer for C program☆19Updated 2 years ago
- Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing☆34Updated 9 months ago
- 20 benchmark programs☆43Updated 3 years ago
- Source code release for the KRace project☆27Updated 2 years ago
- ☆28Updated 3 months ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 4 years ago
- ☆20Updated 4 months ago
- K-Miner☆71Updated 5 years ago
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago
- Detecting Concurrency Memory Corruption Vulnerabilities (ESEC/FSE 2019)☆10Updated 9 months ago
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆112Updated last year
- llvm Data Flow Graph dump☆37Updated 3 years ago
- List the real world programs evaluated in fuzzing papers.☆53Updated 5 years ago