Paper Citation Record · LEDGER

A Contemporary Survey of Large Language Model Assisted Program Analysis

As of 9 August 2026, this Paper Citation Record lists 100 of 182 outbound references and 8 inbound Pith citation observations for arXiv:2502.18474.

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

pith.paper-citation-record.v1
2502.18474 v1

Coverage vector

measured 100 of 182 reference resolution

Typed states for the displayed outbound observations.

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

measured 108 of 108 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 8 of 8 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-06T11:21:38.174929Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-07-09T00:45:49.140822Z

Reference resolution

100 of 182 outbound references displayed

verified exact8
verified fuzzy0
unresolved91
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation f9a1f11e-afe2-4a24-a763-81709e1d983e · outbound

This paper cites Challenges in software evolution,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Challenges in software evolution,

Reference 1

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c8dce4a-757d-4a31-8416-503b1f4865fb · outbound

This paper cites Clorifi: software vulnerability discovery using code clone verification,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Clorifi: software vulnerability discovery using code clone verification,

Reference 2

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8cbec5b8-cb79-4f90-b51d-8447d0a1248c · outbound

This paper cites Integrating static and dynamic analysis for detecting vulnerabilities,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Integrating static and dynamic analysis for detecting vulnerabilities,

Reference 3

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ddcca004-2381-4fab-8c79-ad97b81561c3 · outbound

This paper cites On the capability of static code analysis to detect security vulnerabilities,.

A Contemporary Survey of Large Language Model Assisted Program Analysis On the capability of static code analysis to detect security vulnerabilities,

Reference 4

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c2ecb64f-2373-4f76-b0fe-884ad52a5889 · outbound

This paper cites Towards multi- language static code analysis,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Towards multi- language static code analysis,

Reference 5

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d87814e-c4db-428f-91f0-7c32c6f9e317 · outbound

This paper cites Static analysis of source code vulnerability using machine learning techniques: A survey,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Static analysis of source code vulnerability using machine learning techniques: A survey,

Reference 6

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec913034-fb04-449f-ab9b-dc487d9778fd · outbound

This paper cites Machine learning methods for software vulnerability detection,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Machine learning methods for software vulnerability detection,

Reference 7

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 15786bc3-d3e9-4212-afbb-268b5d1b87bd · outbound

This paper cites Deepbugs: A learning approach to name-based bug detection,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Deepbugs: A learning approach to name-based bug detection,

Reference 8

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce877ee7-03ac-4728-84c1-857706948d55 · outbound

This paper cites Interpreting deep learning-based vulnerability detector predictions based on heuristic searching,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Interpreting deep learning-based vulnerability detector predictions based on heuristic searching,

Reference 9

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2f40be2-c46d-4de3-83ab-fb21f2f2fabf · outbound

This paper cites Deep program structure modeling through multi-relational graph-based learning,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Deep program structure modeling through multi-relational graph-based learning,

Reference 10

Resolution: malformed identifier; no resolver link, observed 2026-08-09T05:32:23.089056Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf0f4a8e-0d19-4eaf-8a1e-d00a361effa3 · outbound

This paper cites Few-shot training llms for project-specific code-summarization,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Few-shot training llms for project-specific code-summarization,

Reference 11

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a4056e45-a1f4-4bde-b8da-65e1cb31400a · outbound

This paper cites I Can Find You in Seconds! Leveraging Large Language Models for Code Authorship Attribution.

A Contemporary Survey of Large Language Model Assisted Program Analysis I Can Find You in Seconds! Leveraging Large Language Models for Code Authorship Attribution

Reference 12

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5ca84f2-2fe3-4f9b-afd2-33d9b0f4e34d · outbound

This paper cites Attributing chatgpt-generated source codes,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Attributing chatgpt-generated source codes,

Reference 13

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72614043-420f-43b5-af07-f046fc3bcc18 · outbound

This paper cites Pushing Large Language Models to the 6G Edge: Vision, Challenges, and Opportunities.

A Contemporary Survey of Large Language Model Assisted Program Analysis Pushing Large Language Models to the 6G Edge: Vision, Challenges, and Opportunities

Reference 14

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8aa9cf7b-160f-40e2-943d-db0463c18fa5 · outbound

This paper cites SplitLoRA: A Split Parameter-Efficient Fine-Tuning Framework for Large Language Models.

A Contemporary Survey of Large Language Model Assisted Program Analysis SplitLoRA: A Split Parameter-Efficient Fine-Tuning Framework for Large Language Models

Reference 15

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b1a8f4a-863e-4168-90c1-c6ac3b959523 · outbound

This paper cites Impact of big data analytics and chat- gpt on cybersecurity,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Impact of big data analytics and chat- gpt on cybersecurity,

Reference 16

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9595634f-fdef-49f8-aae7-4dc2e5661a4c · outbound

This paper cites Non-intrusive and Unconstrained Keystroke Inference in VR Platforms via Infrared Side Channel.

A Contemporary Survey of Large Language Model Assisted Program Analysis Non-intrusive and Unconstrained Keystroke Inference in VR Platforms via Infrared Side Channel

Reference 17

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 209f26fe-668d-4a4f-b6b7-7da2a0338559 · outbound

This paper cites Recovering fingerprints from in-display fingerprint sensors via electromagnetic side chan- nel,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Recovering fingerprints from in-display fingerprint sensors via electromagnetic side chan- nel,

Reference 18

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35f1bea7-3831-4b40-8a7c-d4f63bc94270 · outbound

This paper cites Uncovering user interactions on smartphones via contactless wireless charging side channels,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Uncovering user interactions on smartphones via contactless wireless charging side channels,

Reference 19

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02289aab-2c12-4a1a-bde4-d2b5360162cd · outbound

This paper cites Automated Federated Pipeline for Parameter-Efficient Fine-Tuning of Large Language Models.

A Contemporary Survey of Large Language Model Assisted Program Analysis Automated Federated Pipeline for Parameter-Efficient Fine-Tuning of Large Language Models

Reference 20

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69a21c99-4f3a-4662-895d-298254d47690 · outbound

This paper cites Nielson, H.

A Contemporary Survey of Large Language Model Assisted Program Analysis Nielson, H

Reference 21

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 504c6f0d-ad76-4769-b03d-0e9cbc017840 · outbound

This paper cites Automated techniques and tools for program analysis: Survey,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Automated techniques and tools for program analysis: Survey,

Reference 22

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6fe313fa-a1db-493e-be14-a961f5995639 · outbound

This paper cites Instrumentation of java program code for control flow analysis,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Instrumentation of java program code for control flow analysis,

Reference 23

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 458b3d62-2d99-4ce0-a4f7-130eb964e1ab · outbound

This paper cites Attention is all you need,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Attention is all you need,

Reference 24

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96a897b2-e945-4d74-a483-f5bb008b75dc · outbound

This paper cites Large language models,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Large language models,

Reference 25

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 236a6ff4-b816-4fed-8b39-9c56e9609ce3 · outbound

This paper cites Codellama: Open code-focused language models,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Codellama: Open code-focused language models,

Reference 27

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82dc1ee6-b0a5-4470-a6a0-f13802486e0a · outbound

This paper cites Language models are few-shot learners,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Language models are few-shot learners,

Reference 28

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e303f8e-07e9-4523-b7cb-58eba7accb78 · outbound

This paper cites Gpt-4 technical report,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Gpt-4 technical report,

Reference 29

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bdf98119-e8bc-4390-8149-363aa3f78260 · outbound

This paper cites The hitchhiker’s guide to program analysis: A journey with large language models,.

A Contemporary Survey of Large Language Model Assisted Program Analysis The hitchhiker’s guide to program analysis: A journey with large language models,

Reference 30

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a4b7cf4-06b7-4d86-bdd1-806e3f0d4ea6 · outbound

This paper cites Detecting command injection vulnerabilities in linux-based embedded firmware with llm-based taint analysis of library functions,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Detecting command injection vulnerabilities in linux-based embedded firmware with llm-based taint analysis of library functions,

Reference 31

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62aebb42-7a0e-49b4-9792-4cd7e0235000 · outbound

This paper cites The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models.

A Contemporary Survey of Large Language Model Assisted Program Analysis The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models

Reference 32

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce94a86a-e995-47af-af75-220cd008ef33 · outbound

This paper cites Detecting kernel memory bugs through inconsistent memory management intention inferences,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Detecting kernel memory bugs through inconsistent memory management intention inferences,

Reference 33

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d2a2e28-4f30-42d2-8f7b-3c9d7623ca33 · outbound

This paper cites Harnessing the Power of LLM to Support Binary Taint Analysis.

A Contemporary Survey of Large Language Model Assisted Program Analysis Harnessing the Power of LLM to Support Binary Taint Analysis

Reference 34

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

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

This paper cites IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities.

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 1d8e8eb6-04d5-4d51-990f-6211c563c721 · outbound

This paper cites VERCATION: Precise Vulnerable Open-source Software Version Identification based on Static Analysis and LLM.

A Contemporary Survey of Large Language Model Assisted Program Analysis VERCATION: Precise Vulnerable Open-source Software Version Identification based on Static Analysis and LLM

Reference 36

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2376571a-acfd-4168-b163-8e42c34f6091 · outbound

This paper cites DefectHunter: A Novel LLM-Driven Boosted-Conformer-based Code Vulnerability Detection Mechanism.

A Contemporary Survey of Large Language Model Assisted Program Analysis DefectHunter: A Novel LLM-Driven Boosted-Conformer-based Code Vulnerability Detection Mechanism

Reference 37

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0270df8f-6280-467f-959a-279fdf56e448 · outbound

This paper cites Security Vulnerability Detection with Multitask Self-Instructed Fine-Tuning of Large Language Models.

A Contemporary Survey of Large Language Model Assisted Program Analysis Security Vulnerability Detection with Multitask Self-Instructed Fine-Tuning of Large Language Models

Reference 38

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c2116195-a8f2-4681-b45a-2a4cdef6bcdd · outbound

This paper cites Gptscan: Detecting logic vulnerabilities in smart contracts by combining gpt with program analysis,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Gptscan: Detecting logic vulnerabilities in smart contracts by combining gpt with program analysis,

Reference 39

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-09T05:32:29.355969Z

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 89a3c5a1-19b2-453a-bd96-730a93f916f6 · outbound

This paper cites Multi-role Consensus through LLMs Discussions for Vulnerability Detection.

A Contemporary Survey of Large Language Model Assisted Program Analysis Multi-role Consensus through LLMs Discussions for Vulnerability Detection

Reference 40

Resolution: verified exact; local_arxiv, observed 2026-08-09T05:32:29.396083Z

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 6c57bc83-78d5-451d-826c-34d49749b39d · outbound

This paper cites LLbezpeky: Leveraging Large Language Models for Vulnerability Detection.

A Contemporary Survey of Large Language Model Assisted Program Analysis LLbezpeky: Leveraging Large Language Models for Vulnerability Detection

Reference 41

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4dea4233-334c-482b-ac43-00dedf0a993d · outbound

This paper cites SkipAnalyzer: A Tool for Static Code Analysis with Large Language Models.

A Contemporary Survey of Large Language Model Assisted Program Analysis SkipAnalyzer: A Tool for Static Code Analysis with Large Language Models

Reference 42

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a4bbc742-f05e-4f9d-a5ce-af24b7a12506 · outbound

This paper cites Iot software vulnerability detection techniques through large language model,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Iot software vulnerability detection techniques through large language model,

Reference 43

Resolution: verified exact; doi, observed 2026-08-09T05:32:25.395664Z

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 4b91dedd-5688-4ec3-998d-dff71f4f94bd · outbound

This paper cites Prompt- enhanced software vulnerability detection using chatgpt,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Prompt- enhanced software vulnerability detection using chatgpt,

Reference 44

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de7b023b-b7c3-4138-b261-b6889b1a8e01 · outbound

This paper cites Large Language Model-Powered Smart Contract Vulnerability Detection: New Perspectives.

A Contemporary Survey of Large Language Model Assisted Program Analysis Large Language Model-Powered Smart Contract Vulnerability Detection: New Perspectives

Reference 45

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a4cc1da-b995-4a43-b7cf-323576089a20 · outbound

This paper cites Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution.

A Contemporary Survey of Large Language Model Assisted Program Analysis Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution

Reference 46

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8cc68071-6ced-4311-b432-36b8452c005c · outbound

This paper cites Attention! your copied data is under monitoring: A systematic study of clipboard usage in android apps,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Attention! your copied data is under monitoring: A systematic study of clipboard usage in android apps,

Reference 47

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f3779da4-bfa9-495d-b1c4-39baf9031b05 · outbound

This paper cites Detecting and measuring aggressive location harvesting in mobile apps via data-flow path embedding,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Detecting and measuring aggressive location harvesting in mobile apps via data-flow path embedding,

Reference 48

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 990856c8-d744-4da2-9f87-91f9dd0d26c0 · outbound

This paper cites Geo-locating drivers: A study of sensitive data leakage in ride-hailing services,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Geo-locating drivers: A study of sensitive data leakage in ride-hailing services,

Reference 49

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bbd19842-f3e3-4860-855f-3313d2052252 · outbound

This paper cites LuaTaint: A Static Analysis System for Web Configuration Interface Vulnerability of Internet of Things Devices.

A Contemporary Survey of Large Language Model Assisted Program Analysis LuaTaint: A Static Analysis System for Web Configuration Interface Vulnerability of Internet of Things Devices

Reference 50

Resolution: verified exact; local_arxiv, observed 2026-08-09T05:32:29.009001Z

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 448ab96b-46a9-4d37-b26e-f85546bd7f48 · outbound

This paper cites Eavesdropping mobile app activity via {Radio-Frequency} energy harvest- ing,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Eavesdropping mobile app activity via {Radio-Frequency} energy harvest- ing,

Reference 51

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6ace4f7-4114-4589-9418-aea4f964eec3 · outbound

This paper cites Exploiting contactless side channels in wireless charging power banks for user privacy inference via few-shot learning,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Exploiting contactless side channels in wireless charging power banks for user privacy inference via few-shot learning,

Reference 52

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6da69b9c-12bf-4f0c-bc35-c99371116813 · outbound

This paper cites Xporter: A study of the multi-port charger security on privacy leakage and voice injection,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Xporter: A study of the multi-port charger security on privacy leakage and voice injection,

Reference 53

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 273c00e2-0045-41e5-b821-4e4186587f9e · outbound

This paper cites On the accuracy of measured proximity of bluetooth-based contact tracing apps,.

A Contemporary Survey of Large Language Model Assisted Program Analysis On the accuracy of measured proximity of bluetooth-based contact tracing apps,

Reference 54

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 774ef0b8-f9ff-436d-be29-bcf898c9dc75 · outbound

This paper cites Automatic uncovering of hidden behaviors from input vali- dation in mobile apps,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Automatic uncovering of hidden behaviors from input vali- dation in mobile apps,

Reference 55

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 81fc4814-d2d7-4a0c-b506-b1d115d0d5d0 · outbound

This paper cites Llama: Open and efficient foundation language models,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Llama: Open and efficient foundation language models,

Reference 56

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36e948b5-71cb-431f-b07a-2c6cf341dbc2 · outbound

This paper cites Itpatch: An invisible and triggered physical adver- sarial patch against traffic sign recognition,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Itpatch: An invisible and triggered physical adver- sarial patch against traffic sign recognition,

Reference 57

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5612471-5c11-4b85-8f47-8f88cee602e8 · outbound

This paper cites Sensor security in virtual reality: Exploration and mitigation,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Sensor security in virtual reality: Exploration and mitigation,

Reference 58

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d395689c-bf59-40d4-ae17-a49b17a08438 · outbound

This paper cites Periscope: Compre- hensive vulnerability analysis of mobile app-defined bluetooth peripherals,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Periscope: Compre- hensive vulnerability analysis of mobile app-defined bluetooth peripherals,

Reference 59

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 904467e6-dff5-477a-81bd-825fa2235ece · outbound

This paper cites UniXcoder: Unified Cross-Modal Pre-training for Code Representation.

A Contemporary Survey of Large Language Model Assisted Program Analysis UniXcoder: Unified Cross-Modal Pre-training for Code Representation

Reference 60

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b56e882a-924c-48d8-86f7-330a7df2b658 · outbound

This paper cites LLaMA: Open and Efficient Foundation Language Models.

A Contemporary Survey of Large Language Model Assisted Program Analysis LLaMA: Open and Efficient Foundation Language Models

Reference 61

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25179f21-24b7-464f-a412-9d16bcb59a20 · outbound

This paper cites A comprehensive review on malware detection approaches,.

A Contemporary Survey of Large Language Model Assisted Program Analysis A comprehensive review on malware detection approaches,

Reference 62

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c74adf0-d4fe-475b-889b-8fe5ac3c49b4 · outbound

This paper cites Swipepass: Acoustic- based second-factor user authentication for smartphones,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Swipepass: Acoustic- based second-factor user authentication for smartphones,

Reference 63

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0bea848c-1e62-45ea-a9e6-3be65888b8a3 · outbound

This paper cites Android malware detection using complex-flows,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Android malware detection using complex-flows,

Reference 64

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 625dc343-ae60-4628-8410-7a0ac1ff866f · outbound

This paper cites An- alyzing and detecting emerging internet of things malware: A graph-based approach,.

A Contemporary Survey of Large Language Model Assisted Program Analysis An- alyzing and detecting emerging internet of things malware: A graph-based approach,

Reference 65

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38b9f1e3-a53a-4ddf-91ff-4c126aea612e · outbound

This paper cites Code llama: Open foundation models for code,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Code llama: Open foundation models for code,

Reference 66

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad46a5ce-57ab-4e7b-ac96-d77e9ad4b3db · outbound

This paper cites Amal: high- fidelity, behavior-based automated malware analysis and clas- sification,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Amal: high- fidelity, behavior-based automated malware analysis and clas- sification,

Reference 67

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 27f81d2a-d7e0-4b58-8f4c-8e89a925b2c8 · outbound

This paper cites Graph-based comparison of iot and android malware,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Graph-based comparison of iot and android malware,

Reference 68

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 146c7f1e-524c-488d-b6d2-067474519df6 · outbound

This paper cites A Call for Clarity in Reporting BLEU Scores.

A Contemporary Survey of Large Language Model Assisted Program Analysis A Call for Clarity in Reporting BLEU Scores

Reference 69

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 813421dd-a5a9-48e3-b367-0d99fe6fae80 · outbound

This paper cites ROUGE 2.0: Updated and Improved Measures for Evaluation of Summarization Tasks.

A Contemporary Survey of Large Language Model Assisted Program Analysis ROUGE 2.0: Updated and Improved Measures for Evaluation of Summarization Tasks

Reference 70

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1cf183f3-8771-4545-b470-8955119aa60f · outbound

This paper cites De- tecting and classifying android malware using static analysis along with creator information,.

A Contemporary Survey of Large Language Model Assisted Program Analysis De- tecting and classifying android malware using static analysis along with creator information,

Reference 71

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 642cd72d-8cbf-433c-9680-874cd0b5eb2f · outbound

This paper cites Mistral 7B.

A Contemporary Survey of Large Language Model Assisted Program Analysis Mistral 7B

Reference 72

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 496fb5c1-8d8a-46d1-875c-ce1a9d65c208 · outbound

This paper cites Feasibility Study for Supporting Static Malware Analysis Using LLM.

A Contemporary Survey of Large Language Model Assisted Program Analysis Feasibility Study for Supporting Static Malware Analysis Using LLM

Reference 73

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b27b13f9-64c3-429d-b857-30245588fecc · outbound

This paper cites Leveraging Large Language Models to Detect npm Malicious Packages.

A Contemporary Survey of Large Language Model Assisted Program Analysis Leveraging Large Language Models to Detect npm Malicious Packages

Reference 74

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82af6d38-99ed-4d85-ba4b-cb0d0900c702 · outbound

This paper cites Codeql: Github’s static analysis engine for code vulnerabilities,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Codeql: Github’s static analysis engine for code vulnerabilities,

Reference 75

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69a0050c-a8e2-471a-95a2-b1bb3713425a · outbound

This paper cites Benchmarking out of the box open-source llms for malware detection based on api calls sequences,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Benchmarking out of the box open-source llms for malware detection based on api calls sequences,

Reference 76

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e84bba1-a24b-4d60-9ae8-0d1a08d0d940 · outbound

This paper cites Codebert: A pre-trained model for programming and natural languages,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Codebert: A pre-trained model for programming and natural languages,

Reference 77

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dbdfe2a3-c4a5-4177-b2a8-83d631d4cb3e · outbound

This paper cites Mixtral of experts,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Mixtral of experts,

Reference 78

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5164811c-ede0-4673-9a07-ee671fe075fb · outbound

This paper cites Mixtral of Experts.

A Contemporary Survey of Large Language Model Assisted Program Analysis Mixtral of Experts

Reference 79

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe349a44-96cf-4125-95a9-005d5206b0c5 · outbound

This paper cites Selene: Pioneering Automated Proof in Software Verification.

A Contemporary Survey of Large Language Model Assisted Program Analysis Selene: Pioneering Automated Proof in Software Verification

Reference 80

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c74f8f00-67fc-4f70-b73c-c89c6057ea24 · outbound

This paper cites Ranking LLM-Generated Loop Invariants for Program Verification.

A Contemporary Survey of Large Language Model Assisted Program Analysis Ranking LLM-Generated Loop Invariants for Program Verification

Reference 81

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7078482b-f493-4156-90f1-b1a5944e10cd · outbound

This paper cites A structural-semantic approach integrating graph-based and large language models represen- tation to detect android malware,.

A Contemporary Survey of Large Language Model Assisted Program Analysis A structural-semantic approach integrating graph-based and large language models represen- tation to detect android malware,

Reference 82

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff92dd56-9226-43ad-953b-82a432d206d4 · outbound

This paper cites Llm-generated invariants for bounded model checking without loop unrolling,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Llm-generated invariants for bounded model checking without loop unrolling,

Reference 83

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-09T05:32:28.413073Z

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 fba1c2b0-7e24-4319-ab3f-8317ec64f756 · outbound

This paper cites Llm meets bounded model checking: Neuro- symbolic loop invariant inference,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Llm meets bounded model checking: Neuro- symbolic loop invariant inference,

Reference 84

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-09T05:32:28.255431Z

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 a9d9195d-8430-42be-ab70-c30b9b05aafd · outbound

This paper cites AppPoet: Large Language Model based Android malware detection via multi-view prompt engineering.

A Contemporary Survey of Large Language Model Assisted Program Analysis AppPoet: Large Language Model based Android malware detection via multi-view prompt engineering

Reference 85

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d69ac153-f664-461a-b9c4-6b30bb674a8b · outbound

This paper cites Coqpilot, a plugin for llm-based generation of proofs,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Coqpilot, a plugin for llm-based generation of proofs,

Reference 86

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96d2615d-b9a1-4454-a633-6eee2a161e49 · outbound

This paper cites Lemur: Integrating large language models in automated program verification,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Lemur: Integrating large language models in automated program verification,

Reference 87

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab5d24bf-d9d9-4894-b888-4060440d74b9 · outbound

This paper cites Towards automated verification of llm-synthesized c programs,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Towards automated verification of llm-synthesized c programs,

Reference 88

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b4009241-f3bc-418c-bb4a-9b52b5b95736 · outbound

This paper cites Can chatgpt support software verification?.

A Contemporary Survey of Large Language Model Assisted Program Analysis Can chatgpt support software verification?

Reference 89

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cdc3fd9c-bde4-4a69-9dff-47532bd72e59 · outbound

This paper cites Python Symbolic Execution with LLM-powered Code Generation.

A Contemporary Survey of Large Language Model Assisted Program Analysis Python Symbolic Execution with LLM-powered Code Generation

Reference 90

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e5e5baf-b4ac-4a7e-a884-70428fa58fc9 · outbound

This paper cites Cfstra: Enhancing configurable program analysis through llm-driven strategy selection based on code features,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Cfstra: Enhancing configurable program analysis through llm-driven strategy selection based on code features,

Reference 91

Resolution: verified exact; doi, observed 2026-08-09T05:32:25.368323Z

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 92da25d9-6492-48da-bfc1-9db48c739ca6 · outbound

This paper cites Can large language models reason about program invariants?.

A Contemporary Survey of Large Language Model Assisted Program Analysis Can large language models reason about program invariants?

Reference 92

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcb5e584-17a3-4117-a06c-94d552527ccf · outbound

This paper cites Enchanting program specification synthesis by large language models using static analysis and program verification,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Enchanting program specification synthesis by large language models using static analysis and program verification,

Reference 93

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77f9bb28-29da-4cc9-8c65-a00c7a10ee20 · outbound

This paper cites Hammer for coq: Automation for dependent type theory,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Hammer for coq: Automation for dependent type theory,

Reference 94

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e430268f-f299-4602-8b29-f2060742701e · outbound

This paper cites Lemur: Integrating Large Language Models in Automated Program Verification.

A Contemporary Survey of Large Language Model Assisted Program Analysis Lemur: Integrating Large Language Models in Automated Program Verification

Reference 95

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e72e29c1-d8a4-424c-ad67-6086fe1f8448 · outbound

This paper cites Comprehensive formal verification of an os microkernel,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Comprehensive formal verification of an os microkernel,

Reference 96

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 291be9d8-f334-4f7f-ab92-ac40b80961a3 · outbound

This paper cites Propertygpt: Llm-driven formal verification of smart contracts through retrieval-augmented property generation,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Propertygpt: Llm-driven formal verification of smart contracts through retrieval-augmented property generation,

Reference 97

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34ec73fd-8c98-42e7-b8dd-cce10c4b0df0 · outbound

This paper cites PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation.

A Contemporary Survey of Large Language Model Assisted Program Analysis PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation

Reference 98

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39e521e7-02ef-4679-8520-4e645878f417 · outbound

This paper cites Baudin, J.-C.

A Contemporary Survey of Large Language Model Assisted Program Analysis Baudin, J.-C

Reference 99

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5cb7222b-34be-41ae-96a2-e0c1e532a626 · outbound

This paper cites The dogged pursuit of bug-free c programs: the frama-c software analysis platform,.

A Contemporary Survey of Large Language Model Assisted Program Analysis The dogged pursuit of bug-free c programs: the frama-c software analysis platform,

Reference 100

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d67ca60c-c0f5-45ea-b945-3b8ed8e054f2 · outbound

This paper cites Interleaving static analysis and llm prompting,.

A Contemporary Survey of Large Language Model Assisted Program Analysis Interleaving static analysis and llm prompting,

Reference 101

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-09T05:32:27.858045Z

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.

Pith citing papers

Observation 2cf6fce8-d3dd-4291-b963-e28dc87af75f · inbound

Empirical Evaluation of Concept Drift in ML-Based Android Malware Detection cites this paper.

Empirical Evaluation of Concept Drift in ML-Based Android Malware Detection A Contemporary Survey of Large Language Model Assisted Program Analysis

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-06T11:21:38.174929Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5fb83f76-c932-4c18-b4b0-95b646a4152b · inbound

LLM as an Execution Estimator: Recovering Missing Dependency for Practical Time-travelling Debugging cites this paper.

LLM as an Execution Estimator: Recovering Missing Dependency for Practical Time-travelling Debugging A Contemporary Survey of Large Language Model Assisted Program Analysis

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-05T16:20:46.964121Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3060c0d0-fd5e-436a-8627-5b9ed847f0cf · inbound

ATLAS: Multi-View Code Representation Tool for C and C++ Source Programs cites this paper.

ATLAS: Multi-View Code Representation Tool for C and C++ Source Programs A Contemporary Survey of Large Language Model Assisted Program Analysis

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-03T16:42:14.026126Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e66ee93b-bbe2-4223-91bb-90aad6cccaa6 · inbound

Learning When to Remember: Risk-Sensitive Contextual Bandits for Abstention-Aware Memory Retrieval in LLM-Based Coding Agents cites this paper.

Learning When to Remember: Risk-Sensitive Contextual Bandits for Abstention-Aware Memory Retrieval in LLM-Based Coding Agents A Contemporary Survey of Large Language Model Assisted Program Analysis

Reference 1

Resolution: verified exact; arxiv_id, observed 2026-05-12T10:06:27.233490Z

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 4ce2aa37-7f7f-49a9-a54d-f3e5c2a2fc5c · inbound

Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability cites this paper.

Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability A Contemporary Survey of Large Language Model Assisted Program Analysis

Reference 45

Resolution: verified exact; arxiv_id, observed 2026-06-29T11:53:23.728771Z

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 06eb42ff-2a7c-4b34-af2f-3c89b0daf26d · inbound

Detecting Vulnerability-Inducing Commits via Multi-Stage Reasoning with LLM-Based Agents cites this paper.

Detecting Vulnerability-Inducing Commits via Multi-Stage Reasoning with LLM-Based Agents A Contemporary Survey of Large Language Model Assisted Program Analysis

Reference 35

Resolution: verified exact; local_arxiv, observed 2026-07-09T00:45:49.142012Z

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 aac4879f-db81-4372-8ca2-23371fe3ec05 · inbound

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

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine A Contemporary Survey of Large Language Model Assisted Program Analysis

Reference 8

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eaecbda1-1226-428c-8a67-3a46b130ca3c · inbound

Hiding in Plain Sight: An Effective Physical Adversarial Patch Attack against Visual-Infrared Fused Face Detection cites this paper.

Hiding in Plain Sight: An Effective Physical Adversarial Patch Attack against Visual-Infrared Fused Face Detection A Contemporary Survey of Large Language Model Assisted Program Analysis

Reference 106

Resolution: unresolved; no resolver link, observed 2026-07-31T23:55:34.759326Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.