iris-sast / irisLinks
A neurosymbolic framework for vulnerability detection in code
☆86Updated last month
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☆55Updated this week
- The source code of project "LLift" (Enhancing static analysis with LLM)☆71Updated last year
- LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)☆115Updated 3 months ago
- CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph☆76Updated 4 months ago
- PromtFuzz is an automated tool that generates high-quality fuzz drivers for libraries via a fuzz loop constructed on mutating LLMs' promp…☆265Updated 3 months ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆61Updated 6 months ago
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆33Updated 2 months ago
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆81Updated last month
- A deep learning model for localizing bugs in C/C++ source code (USENIX'23)☆149Updated last year
- LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow (EMNLP Findings 2024)☆73Updated last month
- MegaVul - The largest, high-quality, extensible, continuously updated, C/C++/Java vulnerability dataset☆86Updated 4 months ago
- ☆22Updated 3 months ago
- Vul4J: A Dataset of Reproducible Java Vulnerabilities☆89Updated 3 months ago
- This repo list the core literature in the field of fuzzing test, large language model, and LLM-based fuzzer. Most of papers are selected …☆52Updated last year
- tool of llm-based indirect-call analyzer☆22Updated 3 months ago
- Awesome Large Language Models for Vulnerability Detection☆121Updated this week
- ☆26Updated 8 months ago
- ☆84Updated last year
- This is a benchmark for evaluating the vulnerability discovery ability of automated approaches including Large Language Models (LLMs), de…☆68Updated 6 months ago
- The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…☆44Updated last year
- Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities☆68Updated 9 months ago
- Two-Level Collaborative Fuzzing for Python Runtimes☆19Updated last year
- Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management fu…☆82Updated last year
- An autonomous LLM-agent for large-scale, repository-level code auditing☆52Updated last month
- Mutation-guided mutation-based fuzz testing☆45Updated 10 months ago
- ☆62Updated this week
- ☆29Updated last month
- ☆42Updated 7 months ago
- ☆26Updated last month
- A GPT-Based Fuzz Driver Generator☆46Updated last year