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:
- DBGBench Website:☆18Updated 4 years ago
- ☆20Updated 6 years ago
- ☆57Updated last year
- ☆23Updated 4 years ago
- ReDeBug Source Code.☆24Updated last year
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Updated 3 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…☆40Updated last year
- ☆53Updated 7 years ago
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆42Updated 4 years ago
- holding data and processing code for the paper 'A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lesso…☆20Updated 4 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 5 years ago
- Lightweight tool for slicing☆35Updated 2 weeks ago
- ☆20Updated 3 years ago
- ☆17Updated 5 years ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- ☆50Updated 4 years ago
- Program Vulnerability Repair via Inductive Inference☆20Updated last year
- ☆25Updated 3 years ago
- A python interface to joern (deprecated).☆34Updated 6 years ago
- Deep learning code semantic similarity☆64Updated 5 years ago
- Security methods for WeAkNess detection☆20Updated 3 months ago
- Finding and Understanding Bugs in Software Model Checkers☆8Updated 6 years ago
- ☆40Updated last year
- Detecting Concurrency Memory Corruption Vulnerabilities (ESEC/FSE 2019)☆12Updated last year
- PTABen: Micro-benchmark Suite for Pointer Analysis☆78Updated this week
- An external project example using SVF as a library☆22Updated last week
- ☆14Updated 7 years ago
- Home page for this github organization☆22Updated 6 years ago
- Clang static checker that carries out tainting analysis.☆88Updated 7 years ago
- Bugs.jar: A Large-scale, Diverse Dataset of Bugs for Java Program Repair☆56Updated 7 years ago