A neurosymbolic framework for vulnerability detection in code
☆329Dec 5, 2025Updated 2 months ago
Alternatives and similar repositories for iris
Users that are interested in iris are comparing it to the libraries listed below
Sorting:
- A manually vetted dataset for security vulnerability detection in Java projects☆92Aug 12, 2025Updated 6 months ago
- LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)☆194Oct 24, 2025Updated 4 months ago
- ☆26Sep 15, 2024Updated last year
- ☆206Oct 27, 2025Updated 4 months ago
- Awesome Large Language Models for Vulnerability Detection☆383Updated this week
- Generating API Parameter Security Rules with LLM for API Misuse Detection （Accepted by NDSS 2025）☆18Mar 5, 2025Updated 11 months ago
- A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue☆602Jan 14, 2026Updated last month
- Cottontail: A LLM-Driven Concolic Execution Engine (Accepted by IEEE S&P'26)☆36Dec 4, 2025Updated 2 months ago
- SecCodeBench is a benchmark suite focusing on evaluating the security of code generated by large language models (LLMs).☆93Feb 16, 2026Updated last week
- YASA is an open-source static program analysis project. Its core innovation lies in a unified intermediate representation called UAST, d…☆249Updated this week
- [SOSP'25] Automatic checker synthesis for system-level static analysis☆166Oct 26, 2025Updated 4 months ago
- ☆34Aug 28, 2024Updated last year
- ☆12Dec 22, 2025Updated 2 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Mar 1, 2025Updated last year
- ☆10Sep 25, 2024Updated last year
- AIxCC: automated vulnerability repair via LLMs, search, and static analysis☆11Jul 16, 2024Updated last year
- Official code for kTrans: Knowledge-Aware Transformer for Binary Code Embedding☆30Dec 17, 2023Updated 2 years ago
- 方便自己搭建codeql环境和数据库的工具。☆64Aug 16, 2025Updated 6 months ago
- 一款使用Yaml定义搜索规则来搜索Class的工具☆108Aug 2, 2023Updated 2 years ago
- CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph☆136Feb 5, 2025Updated last year
- ☆39Jun 23, 2025Updated 8 months ago
- Static Analysis Results Interchange Format (SARIF) For OCaml☆14Mar 13, 2025Updated 11 months ago
- 大模型辅助SAST静态代码分析的Demo系统☆13Feb 19, 2025Updated last year
- ☆12Nov 21, 2023Updated 2 years ago
- An autonomous LLM-agent for large-scale, repository-level code auditing☆338Dec 4, 2025Updated 2 months ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆74Updated this week
- A Java Route Collection Tool☆102Aug 1, 2024Updated last year
- Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.…☆2,959Updated this week
- All about llm-agents security,attack,vulnerabilities and how to do them for cybersecurity.☆44Dec 28, 2025Updated 2 months ago
- ☆91Oct 23, 2025Updated 4 months ago
- A declarative static analysis tool for jvm bytecode based Datalog like CodeQL☆345Jan 6, 2024Updated 2 years ago
- CVEfixes: Automated Collection of Vulnerabilities and Their Fixes from Open-Source Software☆317Jul 30, 2024Updated last year
- The source code of [Sec'25] Make Agent Defeat Agent: Automatic Detection of Taint-Style Vulnerabilities in LLM-based Agents☆53Sep 9, 2025Updated 5 months ago
- ConcoLLMic: the first language- and theory-agonistic concolic execution engine via LLM agents☆115Jan 22, 2026Updated last month
- An easy-to-learn/use static analysis framework for Java☆1,765Feb 16, 2026Updated last week
- 《深入理解CodeQL》Finding vulnerabilities with CodeQL.☆1,754Nov 21, 2023Updated 2 years ago
- Security Harness Engineering for Robust Program Analysis☆110Jan 23, 2026Updated last month
- ☆16Aug 16, 2023Updated 2 years ago
- S&P2023 Paper☆39Aug 20, 2022Updated 3 years ago