cs-au-dk / goat
☆20Updated last year
Related projects ⓘ
Alternatives and complementary repositories for goat
- Indexing reachability for context-sensitive data flow analysis.☆11Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆71Updated 2 years ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆123Updated 2 months ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated last year
- A use-after-free checker based on SVF.☆20Updated 6 years ago
- A Pointer Analysis Framework for Rust☆42Updated 3 weeks ago
- ☆13Updated 2 months ago
- ☆36Updated 2 weeks ago
- ☆33Updated last year
- some notes for how to build projects into a single LLVM bitcode file.☆18Updated 5 years ago
- Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs☆14Updated 2 years ago
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆29Updated 2 years ago
- ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?☆27Updated last year
- PTABen: Micro-benchmark Suite for Pointer Analysis☆72Updated this week
- The source code of project "LLift" (Enhancing static analysis with LLM)☆50Updated 8 months ago
- ☆25Updated last year
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 4 years ago
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆45Updated last month
- Precision-guided context sensitivity for pointer analysis☆57Updated last year
- patch presence test via symbolic signatures, ICSE'24☆11Updated 7 months ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆85Updated 7 months ago
- ☆26Updated last week
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆54Updated 7 months ago
- ☆12Updated 4 months ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆41Updated 3 years ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆41Updated 2 years ago
- Grammar synthesis algorithm using a black box oracle☆35Updated 5 months ago
- ☆46Updated 2 years ago
- A unification-based alias analysis and related tools☆29Updated last month
- ☆22Updated 2 years ago