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 7 years ago
Alternatives and similar repositories for StaticBugCheckers
Users that are interested in StaticBugCheckers are comparing it to the libraries listed below
Sorting:
- ☆59Updated 2 years ago
- A vulnerability patch gathering tool☆44Updated 7 years ago
- ☆24Updated 4 years ago
- Symbolic PathFinder☆165Updated last week
- PTABen: Micro-benchmark Suite for Pointer Analysis☆84Updated last week
- Bugs.jar: A Large-scale, Diverse Dataset of Bugs for Java Program Repair☆58Updated 7 years ago
- JavaSlicer is an open-source dynamic slicing tool developed at Saarland University☆44Updated 5 years ago
- Deep learning code semantic similarity☆65Updated 6 years ago
- FairFuzz: AFL extension targeting rare branches☆251Updated 6 years ago
- Automated program repair bibliography, tools and benchmarks.☆83Updated 9 months ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Updated 4 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆91Updated last year
- Program Vulnerability Repair via Inductive Inference☆20Updated 2 years ago
- ☆50Updated 5 years ago
- Lightweight tool for slicing☆35Updated 2 weeks ago
- ☆75Updated 2 years ago
- An Extensible Java Bug Benchmark for Automatic Program Repair Studies☆37Updated last year
- BigCloneEval - A Clone Detection Tool Evaluation Framework for BigCloneBench☆81Updated 2 years ago
- ☆20Updated 4 years ago
- No description yet☆11Updated 2 years ago
- ☆36Updated 3 years ago
- ☆17Updated 6 months ago
- ☆68Updated 4 years ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆86Updated last year
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆48Updated 2 years ago
- ☆12Updated 7 months ago
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆36Updated 3 years ago
- generate program dependence graphs for java programs.☆25Updated 8 years ago
- Detect missing check bugs in OS kernels☆113Updated 2 years ago
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆44Updated 5 years ago