LLM-Integrated Declarative Program Analysis
Open Access
- 15 June 2026
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 41-47
Abstract
No abstract availableFunding Information
- U.S. National Science Foundation (CCF-2146518)
This publication has 16 references indexed in Scilit:
- Do code LLMs do static analysis?Empirical Software Engineering, 2026
- Fundamental Capabilities and Applications of Large Language Models: A SurveyACM Computing Surveys, 2025
- NumScout: Unveiling Numerical Defects in Smart Contracts Using LLM-Pruning Symbolic ExecutionIEEE Transactions on Software Engineering, 2025
- Effectiveness of ChatGPT for Static Analysis: How Far Are We?2024
- Interleaving Static Analysis and LLM Prompting2024
- Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We?ACM Transactions on Knowledge Discovery From Data, 2024
- Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated ApproachProceedings of the ACM on Programming Languages, 2024
- CodeQueries: A Dataset of Semantic Queries over Code2024
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment2023
- Keynote Address: .QL for Source Code Analysis2007