VulInstruct: specification-guided vulnerability detection and root-cause evaluation, with a security specification library constructed from CORRECT.
☆14Nov 2, 2026Updated last week
Alternatives and similar repositories for VulInstruct
Users that are interested in VulInstruct are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- R2Vul: Learning to Reason about Software Vulnerabilities with Reinforcement Learning and Structured Reasoning Distillation☆17Aug 5, 2025Updated last year
- CleanVul: Automatic Function-Level Vulnerability Detection in Code Commits Using LLM Heuristics☆22Aug 20, 2026Updated 2 months ago
- [JFR 2025] VI-SLAM Loop Closing Analysis☆14Oct 15, 2025Updated last year
- Artifacts for the NDSS'26 paper "Chasing Shadows: Pitfalls in LLM Security Research"☆16Mar 20, 2026Updated 7 months ago
- ☆10Mar 22, 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.
- Veracode Software Composition Analysis Scanning☆11Aug 6, 2026Updated 3 months ago
- ☆50Mar 7, 2025Updated last year
- Instruction Following Eval☆18Jan 16, 2025Updated last year
- Multi-granularity vulnerability detection with a novel pre-trained code model☆19Dec 15, 2025Updated 10 months ago
- Cyber Attack/Defense home lab using Sliver, LimaCharlie [SIEM], & VM's to simulate C&C, Threat Detection, etc.☆12Aug 31, 2023Updated 3 years ago
- Hybrid Knowledge Graph + RAG security intelligence platform for CVE analytics and semantic search. Llama3 integrated.☆22Oct 22, 2026Updated 3 weeks ago
- The INVAL plan validator, and other PDDL tools.☆24Dec 3, 2023Updated 2 years ago
- This project provides several implementations for commit untangling and proposes a new representation of git patches by projecting the pa…☆14Jun 28, 2026Updated 4 months ago
- [TOSEM'26] Awesome-LLM4SVD from "A Systematic Literature Review on Detecting Software Vulnerabilities with Large Language Models"☆93Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- This repository contains the dataset and code for our research on concept drift in Android malware detection. LAMDA is designed to help r…☆16Mar 28, 2026Updated 7 months ago
- Pairing Security Advisories with Vulnerable Functions Using Open-Source LLMs - DIMVA '24☆16Aug 20, 2024Updated 2 years ago
- Repository for accompanying materials to Threat Knowledge Graphs & FixV2W☆24Sep 30, 2026Updated last month
- ☆13Jul 2, 2025Updated last year
- ☆12Jan 13, 2023Updated 3 years ago
- ☆15May 6, 2022Updated 4 years ago
- FIRE: Combining Multi-Stage Filtering with Taint Analysis for Scalable Recurring Vulnerability Detection.☆16Sep 27, 2024Updated 2 years ago
- The NeRF and Gaussian Splatting SLAM in the Wild Benchmark☆32Jun 30, 2025Updated last year
- ☆18May 8, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- The datasets and source code of the NDSS 2025 paper《BinEnhance: An Enhancement Framework Based on External Environment Semantics for Bina…☆30Nov 13, 2025Updated last year
- An implementation of the ACL 2024 Findings paper "Generalization-Enhanced Code Vulnerability Detection via Multi-Task Instruction Fine-Tu…☆78Oct 29, 2025Updated last year
- ☆80Dec 8, 2025Updated 11 months ago
- [EMSE'26] An Empirical Study on the Effectiveness of Large Language Models for Binary Code Understanding☆15Aug 19, 2025Updated last year
- ☆57Nov 19, 2022Updated 3 years ago
- This is the unofficial re-implementation of "Antidote: Post-fine-tuning Safety Alignment for Large Language Models against Harmful Fine-t…☆13Jul 14, 2025Updated last year
- ☆14May 14, 2024Updated 2 years ago
- FuncVul: An Effective Function Level Vulnerability Detection Model using LLM and Code Chunk☆20Jun 5, 2026Updated 5 months ago
- ☆14Oct 14, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆11May 18, 2026Updated 5 months ago
- 哈工大2022春数据库实验☆31Mar 30, 2023Updated 3 years ago
- SlowFormer: Universal Adversarial Patch for Attack on Compute and Energy Efficiency of Inference Efficient Vision Transformers [CVPR 2024…☆13Mar 29, 2024Updated 2 years ago
- This is the replication package of V-SZZ, which has been accepted by ICSE2022☆16Jan 19, 2026Updated 9 months ago
- This is the repository for Multi-chart Benchmark.☆13Jun 2, 2025Updated last year
- mono: Is Your "Clean" Vulnerability Dataset Really Solvable? Exposing and Trapping Undecidable Patches and Beyond☆21Mar 22, 2026Updated 7 months ago
- [ACL 2025 Findings]☆15Aug 17, 2025Updated last year
Are these results useful?