A neurosymbolic framework for vulnerability detection in code
☆445Jul 2, 2026Updated 4 months ago
Alternatives and similar repositories for iris
Users that are interested in iris are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A manually vetted dataset for security vulnerability detection in Java projects☆118Aug 12, 2025Updated last year
- An autonomous LLM-agent for large-scale, repository-level code auditing☆451Mar 12, 2026Updated 7 months ago
- Source code for LLMxCPG paper☆165Mar 26, 2026Updated 7 months ago
- LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)☆216Oct 24, 2025Updated last year
- The repo of "BugLens"☆41Jul 4, 2026Updated 3 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.…☆3,616Updated this week
- YASA is an open-source static program analysis project. Its core innovation lies in a unified intermediate representation called UAST, d…☆328Oct 8, 2026Updated 3 weeks ago
- Repository for PrimeVul Vulnerability Detection Dataset☆282Sep 7, 2024Updated 2 years ago
- A continuously updated collection of papers on agentic SE☆639Jul 17, 2026Updated 3 months ago
- ☆18Nov 27, 2024Updated last year
- [SOSP'25] Automatic checker synthesis for system-level static analysis☆190Oct 26, 2025Updated last year
- The source code of [S&P'25] Detecting Taint-Style Vulnerabilities in Microservice-Structured Web Applications.☆72Nov 20, 2025Updated 11 months ago
- Agentic Framework for Synthesizing CodeQL Queries☆28Aug 28, 2026Updated 2 months ago
- The source code of [Sec'25] Make Agent Defeat Agent: Automatic Detection of Taint-Style Vulnerabilities in LLM-based Agents☆111Apr 13, 2026Updated 6 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆13Dec 19, 2025Updated 10 months ago
- Zero shot vulnerability discovery using LLMs☆2,814Feb 6, 2025Updated last year
- Collection of community-driven CodeQL query, library and extension packs☆227Updated this week
- The community's most comprehensive, continuously-updated index of research on Large Language Models for software vulnerability detection …☆1,493Updated this week
- [ICSE'24 Industry Challenge Track] "ReposVul: A Repository-Level High-Quality Vulnerability Dataset".☆114Nov 24, 2024Updated last year
- Dolphin is a Python package that enables scalable neurosymbolic learning by performing probabilistic computations over the GPU.☆21Mar 18, 2026Updated 7 months ago
- ☆31Sep 1, 2025Updated last year
- Generating API Parameter Security Rules with LLM for API Misuse Detection （Accepted by NDSS 2025）☆20Mar 5, 2025Updated last year
- ☆80Dec 8, 2025Updated 10 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- xAST评价体系，让安全工具不再“黑盒”. The xAST evaluation benchmark makes security tools no longer a "black box".☆495May 21, 2026Updated 5 months ago
- Parsing-based Analyzer☆78Jun 8, 2025Updated last year
- 🌌️Fuzz4All: Universal Fuzzing with Large Language Models☆339Aug 11, 2025Updated last year
- [TOSEM'26] Awesome-LLM4SVD from "A Systematic Literature Review on Detecting Software Vulnerabilities with Large Language Models"☆93Oct 1, 2026Updated last month
- 《深入理解CodeQL》Finding vulnerabilities with CodeQL.☆1,795Nov 21, 2023Updated 2 years ago
- Investigating Large Language Models for Code Vulnerability Detection: An Experimental Study☆41Mar 20, 2025Updated last year
- CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph☆148Feb 5, 2025Updated last year
- ☆210Oct 27, 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆657Nov 25, 2025Updated 11 months ago
- YASA-UAST is an intermediate representation structure for multi-language program analysis. The UAST-Parser parses code from different pro…☆96Sep 16, 2026Updated last month
- CVEfixes: Automated Collection of Vulnerabilities and Their Fixes from Open-Source Software☆373Jul 30, 2024Updated 2 years ago
- YuraScanner☆87Feb 13, 2025Updated last year
- An easy-to-learn/use static analysis framework for Java and Android☆1,828Updated this week
- The CASTLE Benchmark is a modern micro-benchmarking solution to test Static Analyzers and LLMs in vulnerability detection☆30Jul 20, 2026Updated 3 months ago
- This project runs a Model Context Protocol (MCP) server that wraps the CodeQL query server. It enables tools like [Cursor](https://cursor…☆147Mar 30, 2025Updated last year