secure-software-engineering / BoomerangLinks
Demand-Driven Pointer Analysis
☆13Updated this week
Alternatives and similar repositories for Boomerang
Users that are interested in Boomerang are comparing it to the libraries listed below
Sorting:
- Indexing reachability for context-sensitive data flow analysis.☆11Updated 2 years ago
- ☆14Updated last year
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆40Updated 3 years ago
- Sys, but no longer in Haskell☆18Updated 3 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆79Updated 2 weeks ago
- A data dependence analyzer for C program☆21Updated 3 years ago
- A fuzzer for SMT solvers☆19Updated last week
- LLVM pass☆23Updated 5 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Updated 5 years ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆34Updated last year
- Artifact for IEEE Security and Privacy 2022 paper: "SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications"☆29Updated 2 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆25Updated 2 years ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆135Updated 2 months ago
- ☆11Updated 6 years ago
- KLEE / CSE Project☆45Updated 5 years ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Updated 2 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated 2 years ago
- Grammar synthesis algorithm using a black box oracle☆36Updated last year
- AFLTeam Collaborative Parallel Fuzzing☆74Updated 2 years ago
- List the real world programs evaluated in fuzzing papers.☆56Updated 6 years ago
- ☆22Updated 2 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆37Updated 3 years ago
- ☆28Updated 2 years ago
- Optimizing Directed Fuzzing via Target-tailored Program State Restriction☆29Updated 2 years ago
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆46Updated 9 months ago
- 软件工程与形式化方法相关前沿工作阅读与分享☆35Updated last week
- The parser-directed Fuzzer☆38Updated 5 years ago
- Grey-box fuzzer SIVO☆14Updated 3 years ago
- Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing☆34Updated last year
- ☆18Updated 2 years ago