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
- Deep learning code semantic similarity☆62Updated 5 years ago
- ☆56Updated last year
- ☆46Updated 6 years ago
- ☆45Updated 2 years ago
- Vulnerability Discovery with Function Representation Learning from Unlabeled Projects☆37Updated 6 years ago
- Introducing CFG(control flow graph) and PDG (program dependency graph) into AST (abstract syntax tree) implementation using Java Paser an…☆24Updated 6 years ago
- Datasets of the paper: Detecting "0-Day" Vulnerability: An Empirical Study of Secret Security Patch in OSS☆19Updated 6 years ago
- PROGEX (Program Graph Extractor); a cross platform tool for extracting graphical program representations from software source code☆85Updated 3 years ago
- Design and Implementation of Program Semantic Analysis System Based on Deep Learning and Data Flow Graph [GGNN]☆12Updated 6 years ago
- Recent Paper About Bug Detection☆31Updated 5 years ago
- A static-analysis tool to detect C/C++ vulnerabilities based on graph comparison☆26Updated 4 years ago
- ☆98Updated 5 months ago
- To learn function representations from multi-domain knowledge bases for software vulnerability detection.☆15Updated 4 years ago
- An automatic API misuse checker for C programs!☆19Updated 6 years ago
- source code for "Multi-Modal Attention Network Learning for Semantic Source Code Retrieval"☆19Updated 3 years ago
- Neural Code Comprehension: A Learnable Representation of Code Semantics☆211Updated 4 months ago
- Code and data for paper "Detecting Code Clones with Graph Neural Network and Flow-Augmented Abstract Syntax Tree".☆64Updated 3 years ago
- This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX☆69Updated 2 years ago
- ☆49Updated 4 years ago
- Maximal Divergence Sequential Autoencoder for Binary Software Vulnerability Detection☆21Updated 6 years ago
- VulDeePecker algorithm implemented in Python☆113Updated 5 years ago
- BigCloneEval - A Clone Detection Tool Evaluation Framework for BigCloneBench☆73Updated last year
- A tool for identifying patch correctness in test-based program repair☆18Updated 5 years ago
- FUNDED is a novel learning framework for building vulnerability detection models.☆128Updated last year
- ☆19Updated 4 years ago
- A System for Debloating C/C++ Programs☆31Updated 3 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
- ☆74Updated 2 years ago
- ☆112Updated 2 years ago
- ☆27Updated 5 years ago