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
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Updated 3 years ago
- ☆20Updated 6 years ago
- ☆23Updated 4 years ago
- ☆25Updated 4 years ago
- ☆16Updated 4 months ago
- Bugs.jar: A Large-scale, Diverse Dataset of Bugs for Java Program Repair☆56Updated 7 years ago
- A tool of collecting patch-related commits and parsing patches.☆13Updated 6 years ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆41Updated last year
- Code Search Based Automated Repair Technique☆9Updated 4 years ago
- ☆50Updated 4 years ago
- DBGBench Website:☆19Updated 4 years ago
- ☆17Updated 5 years ago
- ☆22Updated 2 years ago
- ReDeBug Source Code.☆24Updated last year
- ☆68Updated 3 years ago
- ☆20Updated 4 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆44Updated 4 years ago
- Program Vulnerability Repair via Inductive Inference☆20Updated last year
- A python interface to joern (deprecated).☆34Updated 6 years ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆78Updated this week
- An Extensible Java Bug Benchmark for Automatic Program Repair Studies☆35Updated last year
- Open-science repository on KTH's program repair experiment on the Quixbugs benchmark☆12Updated 3 years ago
- Clang static checker that carries out tainting analysis.☆88Updated 7 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated 5 months ago
- Security methods for WeAkNess detection☆20Updated 3 months ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆40Updated 3 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆91Updated last year
- Deep learning code semantic similarity☆64Updated 6 years ago
- KLEE / CSE Project☆45Updated 5 years ago