saltlab / BugAIDLinks
A tool for learning bug patterns.
☆11Updated 8 years ago
Alternatives and similar repositories for BugAID
Users that are interested in BugAID are comparing it to the libraries listed below
Sorting:
- ☆9Updated 6 years ago
- 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 t…☆11Updated 6 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆44Updated 4 years ago
- Semantic Crash Bucketing☆15Updated 4 years ago
- ☆20Updated 6 years ago
- Interprocedural Distributive Environment algorithm implementation☆16Updated 9 years ago
- CoREBench: Errors in Find, Grep, Make☆13Updated 9 years ago
- Dynamic Symbolic Execution of Android Apps☆23Updated 9 years ago
- Static data flow-based analysis of JavaScript files to detect syntactic clones☆23Updated 5 years ago
- Eclipse plugin that synthesizes real Java code☆26Updated 10 years ago
- Tool for detecting error handling bugs☆22Updated 8 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Updated 5 years ago
- ☆20Updated 4 years ago
- ☆22Updated 8 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Updated 3 years ago
- ☆26Updated 4 years ago
- ☆12Updated 8 years ago
- ☆53Updated 7 years ago
- A Static Analysis Tool For Android Apps☆20Updated last week
- Home page for this github organization☆22Updated 6 years ago
- A symbolic execution engine for Python☆45Updated 12 years ago
- Inconsistent Code Detection for Java☆11Updated 4 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆36Updated 4 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Updated 6 years ago
- Symbolic Execution of Android Framework☆15Updated 8 years ago
- Implementation of Taint Tracking in LLVM compiler.☆10Updated 12 years ago
- KLEE / CSE Project☆45Updated 5 years ago
- Concolic analysis tool for Java☆21Updated last year
- ReDeBug Source Code.☆24Updated last year
- 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