cmu-sei / sa-bAbI
sa-bAbI is a software assurance dataset generator similar to the natural language dataset generator
☆27Updated 4 years ago
Alternatives and similar repositories for sa-bAbI:
Users that are interested in sa-bAbI are comparing it to the libraries listed below
- Datasets of the paper: Detecting "0-Day" Vulnerability: An Empirical Study of Secret Security Patch in OSS☆19Updated 5 years ago
- Recent Paper About Bug Detection☆30Updated 5 years ago
- Deep learning code semantic similarity☆60Updated 5 years ago
- The scalable bug search for binaries☆68Updated 8 years ago
- The released code of FuzzGuard in USENIX Security 2020.☆28Updated 4 years ago
- ☆11Updated last year
- ☆44Updated 2 years ago
- ☆55Updated last year
- User Guided API Misuse Detection☆27Updated 2 years ago
- The dataset used in the experiments for Esh (http://binsim.com)☆21Updated 8 years ago
- ☆51Updated 4 years ago
- ☆136Updated 6 years ago
- ☆52Updated 6 years ago
- Vulnerability Discovery with Function Representation Learning from Unlabeled Projects☆37Updated 6 years ago
- A tool for identifying patch correctness in test-based program repair☆18Updated 5 years ago
- RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection☆16Updated 3 years ago
- ☆45Updated 6 years ago
- experiment☆11Updated 4 years ago
- A python interface to joern (deprecated).☆34Updated 6 years ago
- ☆22Updated last year
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆63Updated 3 years ago
- VulSeeker: A Semantic Learning Based Vulnerability Seeker For Cross-Platform Binary☆104Updated 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…☆38Updated last year
- ☆56Updated 3 years ago
- Symbolic Program Slicing with LLVM☆77Updated 4 years ago
- MTFuzz: Fuzzing with a Multi-Task Neural Network☆35Updated 3 years ago
- ☆39Updated 4 years ago
- Research papers on ML for security☆33Updated 4 years ago
- git://g.csail.mit.edu/kint☆49Updated 11 years ago
- ☆40Updated last year