secure-software-engineering / PointerBench
A points-to and alias analysis benchmark suite
☆40Updated 6 years ago
Alternatives and similar repositories for PointerBench:
Users that are interested in PointerBench are comparing it to the libraries listed below
- Precision-guided context sensitivity for pointer analysis☆60Updated last year
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆131Updated last week
- A Pointer Analysis Framework for Rust☆50Updated 2 months ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆40Updated 3 years ago
- ☆11Updated 6 years ago
- Indexing reachability for context-sensitive data flow analysis.☆11Updated 2 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated 2 years ago
- ☆14Updated 9 months ago
- LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)☆101Updated 3 weeks ago
- Basic Gradle configuration and example drivers to get started with WALA☆29Updated 4 months ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆17Updated 2 months ago
- This is java implementation of Graspan.☆20Updated last year
- The official repo of Doop, the declarative pointer analysis framework.☆173Updated 3 weeks ago
- ☆27Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆73Updated 2 years ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆34Updated last year
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆66Updated 3 months ago
- Software Analysis and Verification Group☆13Updated last month
- Interprocedural Distributive Environment algorithm implementation☆16Updated 9 years ago
- RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection☆16Updated 3 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆109Updated 2 months ago
- Concurrency Paper☆102Updated last year
- ☆18Updated 3 weeks ago
- LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow (EMNLP Findings 2024)☆66Updated 5 months ago
- ☆21Updated 2 years ago
- ObjLupAnsys is a tool to detect prototype pollution vulnerabilities in Node.js packages. This project is written in Python and JavaScript…☆23Updated 3 years ago
- ☆12Updated last year
- ☆20Updated 6 years ago
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆47Updated 6 months ago
- Finding the potential null pointer exception☆28Updated 4 years ago