Paper Citation Record · LEDGER

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

As of 12 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 44 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 44 of 44 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+00:00

measured 44 of 44 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-11T14:24:49.805679Z

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 ad4a2401-54b0-4d59-beac-48fe3494e813 · inbound

Can LLM Prompting Serve as a Proxy for Static Analysis in Vulnerability Detection cites this paper.

Can LLM Prompting Serve as a Proxy for Static Analysis in Vulnerability Detection IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-11T14:24:49.805679Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3eb9007-5358-4441-b4fc-61dc81b4f993 · inbound

UITrans: Seamless UI Translation from Android to HarmonyOS cites this paper.

UITrans: Seamless UI Translation from Android to HarmonyOS IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-11T12:56:04.290533Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2b60c19-5ee6-4c60-b1fe-2e2ba52a4012 · inbound

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models cites this paper.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.777669Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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-12T06:34:41.77262+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.