sola-da / StaticBugCheckersLinks
StaticBugCheckers is an empirical study of the recall (i.e., how many of known bugs can we find) of state-of-the art static bug finding tools including Google's Error Prone, Facebook's Infer, and Spotbugs.
☆11Updated 6 years ago
Alternatives and similar repositories for StaticBugCheckers
Users that are interested in StaticBugCheckers are comparing it to the libraries listed below
Sorting:
- ☆58Updated last year
- ☆16Updated last month
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Updated 3 years ago
- A vulnerability patch gathering tool☆43Updated 6 years ago
- ☆50Updated 4 years ago
- Lightweight tool for slicing☆35Updated last week
- A use-after-free checker based on SVF.☆21Updated 7 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆91Updated last year
- PTABen: Micro-benchmark Suite for Pointer Analysis☆78Updated this week
- ☆20Updated 6 years ago
- ReDeBug Source Code.☆24Updated last year
- DBGBench Website:☆19Updated 4 years ago
- ☆41Updated 2 years ago
- ☆87Updated 5 months ago
- A unification-based alias analysis and related tools☆34Updated 10 months ago
- 20 benchmark programs☆48Updated 4 years ago
- Automated program repair bibliography, tools and benchmarks.☆79Updated 4 months ago
- ☆74Updated 2 years ago
- Program Vulnerability Repair via Inductive Inference☆20Updated last year
- ☆11Updated 2 months ago
- FairFuzz: AFL extension targeting rare branches☆249Updated 6 years ago
- An external project example using SVF as a library☆23Updated 2 weeks ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Updated 5 years ago
- Bugs.jar: A Large-scale, Diverse Dataset of Bugs for Java Program Repair☆57Updated 7 years ago
- ☆20Updated 4 years ago
- ☆24Updated 4 years ago
- ☆22Updated 8 years ago
- No description yet☆11Updated 2 years ago
- JavaSlicer is an open-source dynamic slicing tool developed at Saarland University☆44Updated 4 years ago
- Deep learning code semantic similarity☆65Updated 6 years ago