Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis
Large language models can consult information that fixed static analyzers cannot, such as documentation, current security advisories, version-specific metadata, and informal API contracts. This makes LLMs a compelling option for program analyses that depend on information beyond the source program, or that are otherwise not amenable to conventional static analyzers. However, directly asking an LLM for a one-shot whole-program analysis is brittle because it compresses many evidence-dependent judg
Record details
Published: 12 May 2026
Source: arXiv
Category: Research
Topics: Agents & autonomy
Retrieved: 14 July 2026
Related evidence
These records share source-supplied organisations, an exact publisher byline, automatic topics or regions. The reason is shown on every link; related does not mean supporting, agreeing with or verifying this record.
CHAL: Council of Hierarchical Agentic Language
arXiv · 12 May 2026
Large Language Models for Agentic NetOps and AIOps: Architectures, Evaluation, and Safety
arXiv · 12 May 2026
Adaptive Smooth Tchebycheff Attention for Multi-Objective Policy Optimization
arXiv · 12 May 2026
ProfiliTable: Profiling-Driven Tabular Data Processing via Agentic Workflows
arXiv · 12 May 2026
Iterative Audit Convergence in LLM-Managed Multi-Agent Systems: A Case Study in Prompt-Engineering Quality Assurance
arXiv · 12 May 2026
Harness Engineering as Categorical Architecture
arXiv · 12 May 2026
How to cite this record
ethics.ai (12 May 2026), “Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis,” evidence record 4437, https://ethics.ai/record/4437 (originally published by arXiv).
Use and limitations
This page is a stable index and citation surface for a source record. ethics.ai did not author the underlying report and has not independently verified every claim. Automatic topics may be imperfect. For consequential use, quote and cite the original publisher.