☆52Jan 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automated Code Repair suite powered by ESBMC and LLMs.☆43Feb 20, 2026Updated 8 months ago
- A transformer-based VS Code extension that enables one to discover vulnerabilities in Java files.☆12Dec 1, 2022Updated 3 years ago
- Repository for PrimeVul Vulnerability Detection Dataset☆282Sep 7, 2024Updated 2 years ago
- CleanVul: Automatic Function-Level Vulnerability Detection in Code Commits Using LLM Heuristics☆22Aug 20, 2026Updated 2 months ago
- Probing pre-trained source code models☆16Apr 27, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆12May 3, 2024Updated 2 years ago
- A tool based on python to parse C/C++ code into code property graph☆17Nov 4, 2022Updated 3 years ago
- A C/C++ Code Vulnerability Dataset with Code Changes and CVE Summaries☆374Mar 25, 2021Updated 5 years ago
- LSVerifier - Large Systems Verifier☆13Dec 3, 2025Updated 10 months ago
- "SALLM: Security Assessment of Generated Code" accepted at ASYDE workshop co-located with ASE'24.☆18Jul 21, 2026Updated 3 months ago
- Scanning Result of MetaScan's AI GPTScan Engine for 72 Web3Bugs Projects under 10 Logic Vuln Types☆17Aug 8, 2023Updated 3 years ago
- ☆30Sep 15, 2024Updated 2 years ago
- ☆133Jul 14, 2024Updated 2 years ago
- The official repository for the paper "VulScribeR: Exploring RAG-based Vulnerability Augmentation with LLMs".☆29Dec 9, 2025Updated 10 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- The efficient SMT-based context-bounded model checker (ESBMC)☆533Updated this week
- [ICSE'24 Industry Challenge Track] "ReposVul: A Repository-Level High-Quality Vulnerability Dataset".☆114Nov 24, 2024Updated last year
- Contains class codes☆11Updated this week
- Program to scan for malicious FPGA designs.☆17Mar 20, 2021Updated 5 years ago
- Differential Static Analysis for Detecting Malicious Updates to Open Source Packages☆13Dec 9, 2023Updated 2 years ago
- The NEKO Project is an open source effort to build a model of equivalent scale and capability as that reported in DeepMind’s 2022 Paper, …☆10Sep 2, 2023Updated 3 years ago
- NL prompts generating code with LLMs covering security-relevant scenarios☆62Oct 4, 2024Updated 2 years ago
- Effective Vulnerability Identification by Learning Comprehensive Program Semantics via Graph Neural Networks☆265Jan 19, 2024Updated 2 years ago
- ☆22Aug 25, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- This is the repository for the paper titled "Abundant Modalities Offer More Nutrients: Multi-Modal-Based Function-level Vulnerability Det…☆12Jun 20, 2025Updated last year
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆15May 14, 2024Updated 2 years ago
- This repository contains an implementation for design patterns detection. In this task, feature engineering and ensemble learning are app…☆10Jul 30, 2022Updated 4 years ago
- MegaVul - The largest, high-quality, extensible, continuously updated, C/C++/Java vulnerability dataset☆160Jan 12, 2025Updated last year
- SecVulEval is a dataset of C/C++ vulnerabilities.☆29Mar 29, 2026Updated 7 months ago
- Minimal example of a standalone program that depends on Joern☆12Feb 14, 2025Updated last year
- A more realistic demo of a buffer overflow cause by -ffast-math☆16Sep 10, 2022Updated 4 years ago
- ☠️ Ground-truth dataset for vulnerability prediction (known research datasets and data sources included such as NVD, CVE Details and OSV)…☆110Apr 22, 2026Updated 6 months ago
- scientific dataset of smart contract exploits see paper http://arxiv.org/pdf/2501.04600☆14Oct 26, 2025Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Python library for CPGQL server☆48Jun 4, 2024Updated 2 years ago
- ☆121Oct 6, 2026Updated 3 weeks ago
- The CASTLE Benchmark is a modern micro-benchmarking solution to test Static Analyzers and LLMs in vulnerability detection☆30Jul 20, 2026Updated 3 months ago
- LLMs for autonomous generate rules☆12Apr 25, 2025Updated last year
- Code for TASE 2022 paper: MSDetector: A Static Php Webshell Detection System based on Deep-Learning☆10Jul 12, 2022Updated 4 years ago
- 一款找家教（信息发布类）微信小程序，分为四大功能，供家长找家教，家教找家长，智能匹配，个人中心，总代码行近15000行，功能很全，具有投诉建议、收藏、发送申请、抽奖、转发赠送申请次数、用户指引、家长注册、教师注册、图片上传实时删除等功能，具有新消息提醒、地图、重力感应、等等…☆25Feb 25, 2018Updated 8 years ago
- Benchmark and evaluation framework for static application security testing (SAST) and vulnerability analysis agents.☆20May 3, 2026Updated 5 months ago