We have published a series of LLM-based static analysis works that form the cornerstone of RepoAudit. Meanwhile, we continuously collect and categorize the latest research. The research projects and paper list below are provided for reference to researchers and practitioners in the field.
LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow
The 2024 Conference on Empirical Methods in Natural Language Processing (EMNLP Findings 2024)
A sanitization technique that mitigates LLM hallucinations in bug detection, validating data-flow paths as verifiable chain-of-thoughts via divide-and-conquer.
LLMDFA: Analyzing Dataflow in Code with Large Language Models
The Thirty-Eighth Annual Conference on Neural Information Processing Systems (NeurIPS 2024)
An LLM-powered summary-based data-flow analysis framework, achieving comparable and even superior precision and recall to state-of-the-art symbolic static analysis tools.
CodeLLMPaper: A Continuously Updated Collection of CodeLLM Papers
CodeLLMPaper is a curated collection of the latest research on LLM-for-Code published in top-tier venues in software engineering, programming languages, security, NLP, and machine learning. The collected research works cover diverse coding tasks, foundational principles of code models, empirical studies, and surveys.