LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)
☆199Oct 24, 2025Updated 4 months ago
Alternatives and similar repositories for LLMDFA
Users that are interested in LLMDFA are comparing it to the libraries listed below
Sorting:
- LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow (EMNLP Findings 2024)☆84Oct 24, 2025Updated 4 months ago
- A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue☆606Jan 14, 2026Updated last month
- Parsing-based Analyzer☆70Jun 8, 2025Updated 8 months ago
- The source code of project "LLift" (Enhancing static analysis with LLM)☆85Mar 5, 2024Updated 2 years ago
- tool of llm-based indirect-call analyzer☆31Feb 18, 2025Updated last year
- An autonomous LLM-agent for large-scale, repository-level code auditing☆345Dec 4, 2025Updated 3 months ago
- A manually vetted dataset for security vulnerability detection in Java projects☆92Aug 12, 2025Updated 6 months ago
- A neurosymbolic framework for vulnerability detection in code☆329Dec 5, 2025Updated 3 months ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆37Aug 17, 2023Updated 2 years ago
- An automated static taint analysis tool for the Lua web framework.☆24Sep 27, 2024Updated last year
- Awesome Large Language Models for Vulnerability Detection☆391Updated this week
- Code audit (code review) with VIM.☆17Jan 3, 2025Updated last year
- 🥇 Amazon Nova AI Challenge Winner - ASTRA emerged victorious as the top attacking team in Amazon's global AI safety competition, defeati…☆70Aug 14, 2025Updated 6 months ago
- The repo of "BugLens"☆35Nov 12, 2025Updated 3 months ago
- ☆11Sep 6, 2024Updated last year
- PromtFuzz is an automated tool that generates high-quality fuzz drivers for libraries via a fuzz loop constructed on mutating LLMs' promp…☆314Feb 28, 2026Updated last week
- A benchmark for Java gadget chain detecting algorithms.☆15Jun 20, 2025Updated 8 months ago
- Some test samples for CPG execution logic.☆20Apr 13, 2024Updated last year
- ☆10May 17, 2023Updated 2 years ago
- [USENIX Security 25] PatchAgent is a LLM-based practical program repair agent that mimics human expertise.☆118Feb 25, 2026Updated last week
- A declarative static analysis tool for jvm bytecode based Datalog like CodeQL☆345Jan 6, 2024Updated 2 years ago
- Fuzzers implemented with libafl to evaluate several techniques on fuzzbench☆13Oct 10, 2024Updated last year
- Static Value-Flow Analysis Framework for Source Code☆1,652Feb 26, 2026Updated last week
- IDA Hexrays To Joern☆44Nov 7, 2024Updated last year
- Artifact for ICSE 2023☆50Sep 24, 2022Updated 3 years ago
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆25Jul 7, 2022Updated 3 years ago
- ☆30Aug 30, 2022Updated 3 years ago
- ☆20Feb 26, 2024Updated 2 years ago
- A new type of js fuzzer☆26Feb 10, 2020Updated 6 years ago
- Query-Based Code Analysis Engine☆349Sep 21, 2025Updated 5 months ago
- A Static Dataflow Analysis Framework for iOS Applications.☆51Mar 27, 2024Updated last year
- ☆32May 27, 2024Updated 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…☆102Dec 18, 2023Updated 2 years ago
- 用来将Tai-e改造为开箱即用的静态代码安全分析框架的一些demo☆37Apr 17, 2024Updated last year
- Official repo for "ProSec: Fortifying Code LLMs with Proactive Security Alignment"☆17Feb 26, 2026Updated last week
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆79Aug 5, 2025Updated 7 months ago
- SecLLMHolmes is a generalized, fully automated, and scalable framework to systematically evaluate the performance (i.e., accuracy and rea…☆64May 4, 2025Updated 10 months ago
- A benchmark to evaluate taint analysis☆28Jun 20, 2022Updated 3 years ago
- [ASE2024] Mutual Learning-Based Framework for Enhancing Robustness of Code Models via Adversarial Training☆11Sep 13, 2024Updated last year