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
- PTABen: Micro-benchmark Suite for Pointer Analysis☆79Updated last month
- ☆74Updated 2 years ago
- FairFuzz: AFL extension targeting rare branches☆249Updated 6 years ago
- JavaSlicer is an open-source dynamic slicing tool developed at Saarland University☆44Updated 4 years ago
- ☆50Updated 4 years ago
- ReDeBug Source Code.☆24Updated last year
- Symbolic PathFinder☆157Updated last week
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆32Updated 2 years ago
- A vulnerability patch gathering tool☆43Updated 6 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Updated 3 years ago
- Bugs.jar: A Large-scale, Diverse Dataset of Bugs for Java Program Repair☆58Updated 7 years ago
- ☆16Updated 2 months ago
- 20 benchmark programs☆49Updated 4 years ago
- An external project example using SVF as a library☆23Updated last month
- A use-after-free checker based on SVF.☆21Updated 7 years ago
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆43Updated 4 years ago
- Program Vulnerability Repair via Inductive Inference☆20Updated last year
- ☆24Updated 4 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆91Updated last year
- ☆15Updated 6 years ago
- ☆41Updated 2 years ago
- No description yet☆11Updated 2 years ago
- source code for savior fuzzer☆127Updated 4 years ago
- ☆68Updated 3 years ago
- A unification-based alias analysis and related tools☆34Updated 11 months ago
- ☆58Updated last year
- ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?☆30Updated 2 years ago
- Build Docker images for unibench☆16Updated 4 years ago
- Automated program repair bibliography, tools and benchmarks.☆80Updated 5 months ago