Paper Citation Record · LEDGER

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

As of 9 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 41 inbound Pith citation observations for arXiv:2405.17238.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2405.17238 v3

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 41 of 41 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 41 of 41 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-09T05:32:23.402571Z

measured 1 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

15
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 09d15012-da02-4f8d-b951-7bfc52b398dd · inbound

LLMs in Software Security: A Survey of Vulnerability Detection Techniques and Insights cites this paper.

LLMs in Software Security: A Survey of Vulnerability Detection Techniques and Insights IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-08T13:58:13.922798Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4402068b-f551-434a-a31a-3183ac2eaf50 · inbound

A Contemporary Survey of Large Language Model Assisted Program Analysis cites this paper.

A Contemporary Survey of Large Language Model Assisted Program Analysis IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-09T05:32:23.402571Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c637f54-ec47-48c1-9cb4-043ac9ce025e · inbound

A Blueprint for AI-Driven Software Quality: Integrating LLMs with Established Standards cites this paper.

A Blueprint for AI-Driven Software Quality: Integrating LLMs with Established Standards IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 160

Resolution: verified exact; arxiv_id, observed 2026-05-22T13:46:37.139902Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 58d1c4a5-4177-47fd-819e-6495a4341e30 · inbound

Adaptive Plan-Execute Framework for Smart Contract Security Auditing cites this paper.

Adaptive Plan-Execute Framework for Smart Contract Security Auditing IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-07T15:26:14.517308Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2d160a5-a42f-4864-9211-7b151d0c18d7 · inbound

PoCGen: Generating Proof-of-Concept Exploits for Vulnerabilities in Npm Packages cites this paper.

PoCGen: Generating Proof-of-Concept Exploits for Vulnerabilities in Npm Packages IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-07T10:35:15.741153Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c703d39d-3ebb-46c4-bbad-64932d33debb · inbound

Understanding Automated Program Repair Agents Through the Lens of Traceability: An Empirical Study cites this paper.

Understanding Automated Program Repair Agents Through the Lens of Traceability: An Empirical Study IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T05:18:37.212291Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf1ecf2b-cba6-4339-9f30-49753ff3d3d1 · inbound

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis cites this paper.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-07T04:35:13.929291Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d4e0507-9701-4113-981f-5e258f24a2de · inbound

Locus: Agentic Predicate Synthesis for Directed Fuzzing cites this paper.

Locus: Agentic Predicate Synthesis for Directed Fuzzing IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-05T14:29:43.678023Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f3e8c82a-c0c6-4fed-a0c3-4874493eb9d8 · inbound

KubeGuard: LLM-Assisted Kubernetes Hardening via Configuration Files and Runtime Logs Analysis cites this paper.

KubeGuard: LLM-Assisted Kubernetes Hardening via Configuration Files and Runtime Logs Analysis IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-05T10:21:47.028384Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab28611e-28f2-4799-833a-893c076fdfd7 · inbound

CodeCureAgent: Automatic Classification and Repair of Static Analysis Warnings cites this paper.

CodeCureAgent: Automatic Classification and Repair of Static Analysis Warnings IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 34

Resolution: verified exact; arxiv_id, observed 2026-05-18T16:36:36.957367Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 1ce3e631-66f9-4d59-a01f-8261e8a9750c · inbound

Do Fine-Tuned LLMs Understand Vulnerabilities? An Investigation into the Semantic Trap cites this paper.

Do Fine-Tuned LLMs Understand Vulnerabilities? An Investigation into the Semantic Trap IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 25

Resolution: verified exact; arxiv_id, observed 2026-05-22T11:41:30.189897Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 1625ac76-b30e-43a8-a7b3-074ea3f9f77b · inbound

AXE: Grey-Box Exploitability Confirmation for Localized Vulnerability Reports cites this paper.

AXE: Grey-Box Exploitability Confirmation for Localized Vulnerability Reports IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-02T23:18:01.195363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b10634bc-78ba-4126-b118-43894496e160 · inbound

Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis cites this paper.

Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 40

Resolution: verified exact; arxiv_id, observed 2026-05-14T22:38:11.364931Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation ce7e9e32-c186-41c7-a719-a49688ffe11f · inbound

Interpretable models for forecasting high-dimensional functional time series cites this paper.

Interpretable models for forecasting high-dimensional functional time series IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 30

Resolution: unresolved; no resolver link, observed 2026-07-14T20:03:45.984919Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02e43534-1793-4e17-b2b0-1ff4b0af923d · inbound

VulWeaver: Weaving Broken Semantics for Grounded Vulnerability Detection cites this paper.

VulWeaver: Weaving Broken Semantics for Grounded Vulnerability Detection IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 24

Resolution: verified exact; arxiv_id, observed 2026-05-11T10:21:04.235293Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 7d2ad770-1e31-42f2-8ec8-bbbb72575e6c · inbound

VulWeaver: Weaving Broken Semantics for Grounded Vulnerability Detection cites this paper.

VulWeaver: Weaving Broken Semantics for Grounded Vulnerability Detection IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-02T16:30:05.815631Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9421076c-ed7e-4931-899a-2b6802a1f4dd · inbound

AnyPoC: Universal Proof-of-Concept Test Generation for Scalable LLM-Based Bug Detection cites this paper.

AnyPoC: Universal Proof-of-Concept Test Generation for Scalable LLM-Based Bug Detection IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 32

Resolution: verified exact; arxiv_id, observed 2026-05-11T09:31:01.977443Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 7d1d1cf7-e6a9-474d-8d03-ed5d78abed3a · inbound

Learning Project-wise Subsequent Code Edits via Interleaving Neural-based Induction and Tool-based Deduction cites this paper.

Learning Project-wise Subsequent Code Edits via Interleaving Neural-based Induction and Tool-based Deduction IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 69

Resolution: verified exact; arxiv_id, observed 2026-05-11T11:11:05.049938Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 9793672d-02bd-4570-9a12-348fd5a9cb27 · inbound

Refute-or-Promote: An Adversarial Stage-Gated Multi-Agent Review Methodology for High-Precision LLM-Assisted Defect Discovery cites this paper.

Refute-or-Promote: An Adversarial Stage-Gated Multi-Agent Review Methodology for High-Precision LLM-Assisted Defect Discovery IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 17

Resolution: verified exact; arxiv_id, observed 2026-05-10T03:14:08.003075Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 3c167dfb-2a70-4499-bc05-f314a884ccd0 · inbound

Adaptive and AI-Augmented Security Testing: A Systematic Survey of Program Analysis, Feedback-Driven Testing, and Hybrid Learning-Based Approaches cites this paper.

Adaptive and AI-Augmented Security Testing: A Systematic Survey of Program Analysis, Feedback-Driven Testing, and Hybrid Learning-Based Approaches IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 22

Resolution: verified exact; arxiv_id, observed 2026-05-12T08:56:24.961821Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 956205b2-54ec-4ba2-b6bf-84d726af55f0 · inbound

Semia: Auditing Agent Skills via Constraint-Guided Representation Synthesis cites this paper.

Semia: Auditing Agent Skills via Constraint-Guided Representation Synthesis IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 21

Resolution: verified exact; arxiv_id, observed 2026-05-11T15:26:11.585419Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 379f626a-13b7-40ee-8fc2-ed282fe9fdb8 · inbound

CyberAId: AI-Driven Cybersecurity for Financial Service Providers cites this paper.

CyberAId: AI-Driven Cybersecurity for Financial Service Providers IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 6

Resolution: verified exact; arxiv_id, observed 2026-05-11T16:21:06.890404Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 1b694e79-3484-4fad-9e60-25200be4d4cc · inbound

Evaluating the Reliability of Multiple Large Language Models in Risk Assessment: A CIS Controls Based Approach cites this paper.

Evaluating the Reliability of Multiple Large Language Models in Risk Assessment: A CIS Controls Based Approach IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 6

Resolution: metadata mismatch; arxiv_id, observed 2026-05-11T18:16:11.525355Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation ae710097-020c-4154-b57d-86bcc7834746 · inbound

Longitudinal Analyses of SAST Tools: A CodeQL Case Study cites this paper.

Longitudinal Analyses of SAST Tools: A CodeQL Case Study IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 41

Resolution: verified exact; arxiv_id, observed 2026-05-11T03:35:55.153186Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation ed2164c5-310a-441c-9f21-636d58587227 · inbound

Generating Complex Code Analyzers from Natural Language Questions cites this paper.

Generating Complex Code Analyzers from Natural Language Questions IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 26

Resolution: verified exact; arxiv_id, observed 2026-05-12T05:41:26.768863Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f625c838-8a3d-486e-8c4b-140937959f6a · inbound

Do Coding Agents Understand Least-Privilege Authorization? cites this paper.

Do Coding Agents Understand Least-Privilege Authorization? IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 35

Resolution: verified exact; arxiv_id, observed 2026-05-19T16:37:40.065771Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 7fb17476-1010-48ef-9aeb-419f2bdf4209 · inbound

Veritas: Grounding LLM Agents for Reliable Vulnerability Reasoning over Stripped Binaries cites this paper.

Veritas: Grounding LLM Agents for Reliable Vulnerability Reasoning over Stripped Binaries IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 28

Resolution: verified exact; arxiv_id, observed 2026-05-15T14:05:54.725239Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation cd704187-e71d-4b24-8418-d591fe2c20fc · inbound

Veritas: Grounding LLM Agents for Reliable Vulnerability Reasoning over Stripped Binaries cites this paper.

Veritas: Grounding LLM Agents for Reliable Vulnerability Reasoning over Stripped Binaries IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-12T16:46:36.842198Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32ada646-5123-4d50-a976-b3b0847f6fb2 · inbound

Veritas: Grounding LLM Agents for Reliable Vulnerability Reasoning over Stripped Binaries cites this paper.

Veritas: Grounding LLM Agents for Reliable Vulnerability Reasoning over Stripped Binaries IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-02T14:03:36.572657Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 372a2561-62e1-43b1-b391-b055c51a39d6 · inbound

Three Heads Are Better Than One: A Multi-perspective Reasoning Framework for Enhanced Vulnerability Detection cites this paper.

Three Heads Are Better Than One: A Multi-perspective Reasoning Framework for Enhanced Vulnerability Detection IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 27

Resolution: verified exact; arxiv_id, observed 2026-05-20T09:18:10.118396Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation ea258e76-6498-43ca-b9f7-fa39d38762ed · inbound

FuzzingBrain V2: A Multi-Agent LLM System for Automated Vulnerability Discovery and Reproduction cites this paper.

FuzzingBrain V2: A Multi-Agent LLM System for Automated Vulnerability Discovery and Reproduction IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 5

Resolution: verified exact; arxiv_id, observed 2026-05-22T08:44:46.402536Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 5585fcf8-f1dc-4204-943b-035cf85560e2 · inbound

An Organization-Scoped LLM Agent Runtime Architecture for Regulated Cybersecurity Operations cites this paper.

An Organization-Scoped LLM Agent Runtime Architecture for Regulated Cybersecurity Operations IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 17

Resolution: verified exact; arxiv_id, observed 2026-06-29T14:33:31.714458Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 8d22ccb9-f1d1-459f-8a10-b1ed93dc43f5 · inbound

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT cites this paper.

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 27

Resolution: verified exact; arxiv_id, observed 2026-06-28T18:42:29.623484Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation b360434a-64f9-4030-8404-47a85b1434e0 · inbound

Code-Augur: Agentic Vulnerability Detection via Specification Inference cites this paper.

Code-Augur: Agentic Vulnerability Detection via Specification Inference IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 50

Resolution: verified exact; arxiv_id, observed 2026-07-04T00:49:19.594264Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d658acc3-cfb1-43de-a9b9-a913c9bf3a10 · inbound

MOA: A Profiling-Guided LLM Framework for Memory-Optimization Automation at Codebase Scale cites this paper.

MOA: A Profiling-Guided LLM Framework for Memory-Optimization Automation at Codebase Scale IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 18

Resolution: verified exact; arxiv_id, observed 2026-07-01T11:35:43.210432Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c9c6c2b0-179f-4399-8f12-5f99e6fcab55 · inbound

JavaVulBench: A Java Vulnerability Benchmark with Realistic Splits, a Unified Multi-Backend Harness, and a Leakage-Aware Evaluation Mode cites this paper.

JavaVulBench: A Java Vulnerability Benchmark with Realistic Splits, a Unified Multi-Backend Harness, and a Leakage-Aware Evaluation Mode IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-12T06:49:02.530498Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c4ca06de-4d01-4587-af61-1a41d2b59d65 · inbound

SeedSmith: LLM-Driven Seed Synthesis for Directed Fuzzing cites this paper.

SeedSmith: LLM-Driven Seed Synthesis for Directed Fuzzing IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 31

Resolution: unresolved; no resolver link, observed 2026-07-13T05:34:48.774019Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb9f1b10-9170-4496-aa34-80b775c5e7e5 · inbound

SeedSmith: LLM-Driven Seed Synthesis for Directed Fuzzing cites this paper.

SeedSmith: LLM-Driven Seed Synthesis for Directed Fuzzing IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:02.518466Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8fce2182-3477-4774-8ea9-091eba846627 · inbound

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques cites this paper.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-14T01:18:31.914413Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4766774e-3c70-4e53-ab6d-4db5845622bb · inbound

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine cites this paper.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:58.169808Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9746730b-718b-4191-bc73-4a8518f11db9 · inbound

ALIBI: Adaptive Agentic Attacks on LLM-Based Vulnerability Detectors via Adversarial Code Comments cites this paper.

ALIBI: Adaptive Agentic Attacks on LLM-Based Vulnerability Detectors via Adversarial Code Comments IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-31T04:54:36.085008Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.