☆44Jan 6, 2025Updated last year
Alternatives and similar repositories for FormAI-dataset
Users that are interested in FormAI-dataset are comparing it to the libraries listed below
Sorting:
- CleanVul: Automatic Function-Level Vulnerability Detection in Code Commits Using LLM Heuristics☆20Jan 23, 2026Updated last month
- Automated Code Repair suite powered by ESBMC and LLMs.☆40Feb 20, 2026Updated last week
- ☆12Dec 22, 2025Updated 2 months ago
- 腾讯安全沙龙 一 二 三 期PPT集合☆19May 24, 2025Updated 9 months ago
- A transformer-based VS Code extension that enables one to discover vulnerabilities in Java files.☆12Dec 1, 2022Updated 3 years ago
- ☆126Jul 14, 2024Updated last year
- A C/C++ Code Vulnerability Dataset with Code Changes and CVE Summaries☆352Mar 25, 2021Updated 4 years ago
- Probing pre-trained source code models☆15Apr 27, 2022Updated 3 years ago
- A tool based on python to parse C/C++ code into code property graph☆17Nov 4, 2022Updated 3 years ago
- ☆91Oct 23, 2025Updated 4 months ago
- ☆26Sep 15, 2024Updated last year
- ☆21Aug 25, 2024Updated last year
- ☠️ Ground-truth dataset for vulnerability prediction (known research datasets and data sources included such as NVD, CVE Details and OSV)…☆104Sep 2, 2023Updated 2 years ago
- Dongtai-plugin-idea is an IDEA plug-in developed by DongTai team for Java Web application developers. This plug-in provides functions suc…☆32Oct 17, 2023Updated 2 years ago
- A program slicer for Java, based on the system dependence graph (SDG).☆70Oct 13, 2025Updated 4 months ago
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆33Oct 23, 2022Updated 3 years ago
- ACER is an AST-based Callgraph Generator Development Framework☆41Jun 17, 2024Updated last year
- The source code of project "LLift" (Enhancing static analysis with LLM)☆85Mar 5, 2024Updated last year
- [ICSE'24 Industry Challenge Track] "ReposVul: A Repository-Level High-Quality Vulnerability Dataset".☆93Nov 24, 2024Updated last year
- BPE Tokenizer implementations in C# for Anthropic, OpenAI LLM offerings☆15Oct 5, 2023Updated 2 years ago
- A simple tool that converts MIDI files to QWERTY sheets for playing on your favorite VP platform.☆11Jan 28, 2026Updated last month
- Clone of JSAI static analysis framework☆13Jul 29, 2017Updated 8 years ago
- ☆11May 3, 2024Updated last year
- A Transformer-based Line-Level Vulnerability Prediction☆160Aug 5, 2024Updated last year
- Hands-on challenges for learning how to reverse engineer Flutter applications.☆39Jan 31, 2026Updated last month
- ☆14Jan 11, 2021Updated 5 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆12Jun 18, 2024Updated last year
- ☆13Oct 11, 2024Updated last year
- A more realistic demo of a buffer overflow cause by -ffast-math☆15Sep 10, 2022Updated 3 years ago
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- ☆17Sep 2, 2025Updated 5 months ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 10 months ago
- Effective Vulnerability Identification by Learning Comprehensive Program Semantics via Graph Neural Networks☆256Jan 19, 2024Updated 2 years ago
- ☆11Mar 5, 2023Updated 2 years ago
- [CVPR 2023] "TrojViT: Trojan Insertion in Vision Transformers" by Mengxin Zheng, Qian Lou, Lei Jiang☆14Jan 5, 2024Updated 2 years ago
- Explanation Ontology Resource website☆12Jun 8, 2024Updated last year
- pyDYNAM-O: The Dynamic Oscillation Toolbox for Python☆11Jan 30, 2023Updated 3 years ago
- Minimal Bundle Adjustment Example☆11Nov 29, 2023Updated 2 years ago