mjc92 / buffer_overrun_memory_networksLinks
☆20Updated 8 years ago
Alternatives and similar repositories for buffer_overrun_memory_networks
Users that are interested in buffer_overrun_memory_networks are comparing it to the libraries listed below
Sorting:
- the code for three models introduced in DYNAMIC NEURAL PROGRAM EMBEDDINGS FOR PROGRAM REPAIR (ICLR 18)☆32Updated 7 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
- Contains the code for our ICSE 2020 paper: Big Code != Big Vocabulary: Open-Vocabulary Language Models for Source Code and for its earlie…☆84Updated 2 years ago
- ☆25Updated 4 years ago
- DBGBench Website:☆19Updated 4 years ago
- mwcvitkovic / Open-Vocabulary-Learning-on-Source-Code-with-a-Graph-Structured-Cache--Code-PreprocessorLibrary for preprocessing java source code into Augmented ASTs, as per the paper Open Vocabulary Learning on Source Code with a Graph-Str…☆21Updated 6 years ago
- ☆17Updated 5 years ago
- ☆26Updated 4 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated 6 months ago
- Software vulnerabilities data set☆23Updated 5 years ago
- DeepBugs is a framework for learning bug detectors from an existing code corpus.☆151Updated 4 years ago
- Deep learning code semantic similarity☆64Updated 6 years ago
- ☆45Updated 3 years ago
- A System for Debloating C/C++ Programs☆31Updated 4 years ago
- ☆11Updated 4 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
- ☆20Updated 6 years ago
- ☆58Updated last year
- An empirical study on patch correctness☆15Updated 2 years ago
- Code to reproduce the experiments in the paper Open Vocabulary Learning on Source Code with a Graph-Structured Cache☆21Updated 6 years ago
- A toolkit for pre-processing large source code corpora☆47Updated 2 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Updated 3 years ago
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆43Updated 4 years ago
- cppminer produces a code2seq compatible datasets from C++ code bases.☆23Updated 5 years ago
- ☆40Updated 2 years ago
- Clang static checker that carries out tainting analysis.☆88Updated 7 years ago
- Sequence-to-Sequence Learning for End-to-End Program Repair (IEEE TSE 2019). Open-science repo. http://arxiv.org/pdf/1901.01808☆85Updated 2 years ago
- Lightweight tool for slicing☆35Updated this week
- holding data and processing code for the paper 'A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lesso…☆20Updated 5 years ago
- Probabilistic API Mining☆53Updated 7 years ago