Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-19T04:03:49.652113Z
Paper Citation Record · LEDGER
BugScope: Learn to Find Bugs Like Human
As of 5 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 5 inbound Pith citation observations for arXiv:2507.15671.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-05T06:32:48.257954+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-04T11:11:43.833857Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-05-19T03:38:30.143195Z
Reference resolution
37 of 37 outbound references displayed
- verified exact5
- verified fuzzy27
- unresolved2
- parse uncertain0
- malformed identifier0
- metadata mismatch3
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 3c1b23a2-8c4a-4ef9-b01d-b5939d558721 · outbound
This paper cites write newline.
BugScope: Learn to Find Bugs Like Human write newline
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.437646Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 202c57b8-c1cd-4658-aa86-b621df121e17 · outbound
This paper cites McDaniel.
Reference 2
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-19T04:07:01.857248Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation fac029f9-e168-4c84-8df3-43c6d6723b8c · outbound
This paper cites Language models are few-shot learners.
BugScope: Learn to Find Bugs Like Human Language models are few-shot learners
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.421821Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation c6ff07aa-93fb-41ce-b7be-2f4d9415ef9d · outbound
This paper cites Tree-sitter-a new parsing system for programming tools.
BugScope: Learn to Find Bugs Like Human Tree-sitter-a new parsing system for programming tools
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.360108Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 548146c0-b099-4a2f-8889-6ace72202604 · outbound
This paper cites an unresolved cited work.
BugScope: Learn to Find Bugs Like Human Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-05-19T04:07:02.434358Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 20769afc-d1c9-4076-a9c2-05c3c399c153 · outbound
This paper cites O’Hearn, and Hongseok Yang.
BugScope: Learn to Find Bugs Like Human O’Hearn, and Hongseok Yang
Reference 6
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-19T04:07:01.862057Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation d73dcfe1-ea4b-4de3-885d-3f8d11c1e6f8 · outbound
This paper cites Seal: Towards diverse specification inference for linux interfaces from security patches.
BugScope: Learn to Find Bugs Like Human Seal: Towards diverse specification inference for linux interfaces from security patches
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.414950Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 958ef561-2d14-40f1-999c-c2d70865bec2 · outbound
This paper cites Coderabbit: Ai-powered code review for github.
BugScope: Learn to Find Bugs Like Human Coderabbit: Ai-powered code review for github
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.397181Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 4a6ec4f0-08c8-4716-8de0-c304088277a5 · outbound
This paper cites Bugbot documentation.
BugScope: Learn to Find Bugs Like Human Bugbot documentation
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.346233Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation cfb19d60-c84d-438c-8773-7eb77630938c · outbound
This paper cites A Survey on In-context Learning.
BugScope: Learn to Find Bugs Like Human A Survey on In-context Learning
Reference 10
- Resolution
- verified exact
- local_arxiv, observed 2026-05-19T04:07:01.907783Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 99da1bb3-78a4-447a-9122-fff0135edb90 · outbound
This paper cites CodeQL for Java.
BugScope: Learn to Find Bugs Like Human CodeQL for Java
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.369029Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation d033fd51-712a-45ff-bc4a-5d996074a458 · outbound
This paper cites Codeql documentation.
BugScope: Learn to Find Bugs Like Human Codeql documentation
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.366388Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 914e7a6b-cf82-46ff-8697-f378101eb5ce · outbound
This paper cites Oss-fuzz: Continuous fuzzing for open source software.
BugScope: Learn to Find Bugs Like Human Oss-fuzz: Continuous fuzzing for open source software
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.431756Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 8be8d645-9d86-416f-becb-2ea9c5be197b · outbound
This paper cites RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing.
BugScope: Learn to Find Bugs Like Human RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
Reference 14
- Resolution
- verified exact
- arxiv_id, observed 2026-05-19T04:07:01.903468Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 149e067c-1445-4ab1-aefe-bcf6d5cf423e · outbound
This paper cites Precise divide-by-zero detection with affirmative evidence.
BugScope: Learn to Find Bugs Like Human Precise divide-by-zero detection with affirmative evidence
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.357517Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation de7b6a72-f5d2-40a6-9b03-9bb1f2049894 · outbound
This paper cites Precise compositional buffer overflow detection via heap disjointness.
BugScope: Learn to Find Bugs Like Human Precise compositional buffer overflow detection via heap disjointness
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.349081Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 034670f3-7290-4fc7-8095-eed6fdf4e58f · outbound
This paper cites Machine-learning-guided selectively unsound static analysis.
BugScope: Learn to Find Bugs Like Human Machine-learning-guided selectively unsound static analysis
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.428781Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation d42137b1-ada6-4c82-9dc8-8a15eeac327a · outbound
This paper cites Raisin: Identifying rare sensitive functions for bug detection.
BugScope: Learn to Find Bugs Like Human Raisin: Identifying rare sensitive functions for bug detection
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.364195Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation f7a9b289-bddd-4a26-a763-a10cf2bd6b1a · outbound
This paper cites SWE -bench: Can language models resolve real-world github issues? In The Twelfth International Conference on Learning Representations.
BugScope: Learn to Find Bugs Like Human SWE -bench: Can language models resolve real-world github issues? In The Twelfth International Conference on Learning Representations
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.380043Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation eb92c00b-2cc7-4f7f-b123-e312275d2f48 · outbound
This paper cites Why don't software developers use static analysis tools to find bugs? In 2013 35th International Conference on Software Engineering (ICSE), pp.\ 672--681.
BugScope: Learn to Find Bugs Like Human Why don't software developers use static analysis tools to find bugs? In 2013 35th International Conference on Software Engineering (ICSE), pp.\ 672--681
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.386856Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 41012dc7-b369-4efb-a695-16726bb59122 · outbound
This paper cites Enhancing static analysis for practical bug detection: An llm-integrated approach.
BugScope: Learn to Find Bugs Like Human Enhancing static analysis for practical bug detection: An llm-integrated approach
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.425147Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 15a960a5-3d7a-455b-be89-d91568f73002 · outbound
This paper cites Neuro-symbolic Static Analysis with LLM-generated Vulnerability Patterns.
BugScope: Learn to Find Bugs Like Human Neuro-symbolic Static Analysis with LLM-generated Vulnerability Patterns
Reference 22
- Resolution
- verified exact
- local_arxiv, observed 2026-05-19T04:07:01.850798Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation baddcae9-eeed-433a-8784-3e6336e865fc · outbound
This paper cites Iris: Llm-assisted static analysis for detecting security vulnerabilities.
BugScope: Learn to Find Bugs Like Human Iris: Llm-assisted static analysis for detecting security vulnerabilities
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.418188Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation f8151eda-8cbf-4052-948b-b2a5285fc681 · outbound
This paper cites Infer Static Analyzer.
BugScope: Learn to Find Bugs Like Human Infer Static Analyzer
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.411953Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 485db5ac-a295-4c0d-97ed-9ffd84beefdb · outbound
This paper cites Common Weakness Enumeration (CWE).
BugScope: Learn to Find Bugs Like Human Common Weakness Enumeration (CWE)
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.408854Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation dd3c0c1f-40ed-49cf-94de-0eab4700b6a1 · outbound
This paper cites Cve - common vulnerabilities and exposures.
BugScope: Learn to Find Bugs Like Human Cve - common vulnerabilities and exposures
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.402122Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 506438c2-0ea7-4f65-b5ef-c209d1cba679 · outbound
This paper cites Sporq: An interactive environment for exploring code using query-by-example.
BugScope: Learn to Find Bugs Like Human Sporq: An interactive environment for exploring code using query-by-example
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.393579Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation f339cd08-41a1-4b4d-a7d7-b367f2a8d9e3 · outbound
This paper cites Undecidability of context-sensitive data-dependence analysis.
BugScope: Learn to Find Bugs Like Human Undecidability of context-sensitive data-dependence analysis
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.390008Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation f280a778-0017-431d-81b8-ccac34f993d9 · outbound
This paper cites Pinpoint: Fast and precise sparse value flow analysis for million lines of code.
BugScope: Learn to Find Bugs Like Human Pinpoint: Fast and precise sparse value flow analysis for million lines of code
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.383734Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation a0f490cb-54c4-4c93-9c6f-e297f3f2bef7 · outbound
This paper cites Path-sensitive sparse analysis without path conditions.
BugScope: Learn to Find Bugs Like Human Path-sensitive sparse analysis without path conditions
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.376525Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 01929325-7b20-405e-8ff0-27b485914a63 · outbound
This paper cites Available: http://doi.acm.org/10.1145/2892208.2892235.
BugScope: Learn to Find Bugs Like Human Available: http://doi.acm.org/10.1145/2892208.2892235
Reference 31
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-19T04:07:01.846755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 737fcc29-2780-4637-bbb5-3bfed3b1479d · outbound
This paper cites LLMDFA : Analyzing dataflow in code with large language models.
BugScope: Learn to Find Bugs Like Human LLMDFA : Analyzing dataflow in code with large language models
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.354792Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 2c805032-181d-4d11-b5d8-81b869d2a519 · outbound
This paper cites KNighter: Transforming Static Analysis with LLM-Synthesized Checkers.
BugScope: Learn to Find Bugs Like Human KNighter: Transforming Static Analysis with LLM-Synthesized Checkers
Reference 33
- Resolution
- verified exact
- arxiv_id, observed 2026-05-19T04:07:01.840675Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation d53e979f-68fd-4a2b-aa31-3eda649d5fb9 · outbound
This paper cites Rfcaudit: An llm agent for functional bug detection in network protocols.
BugScope: Learn to Find Bugs Like Human Rfcaudit: An llm agent for functional bug detection in network protocols
Reference 34
- Resolution
- verified exact
- arxiv_id, observed 2026-05-19T04:07:01.912319Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 94301b7b-778c-4015-8b24-b9c4f36f1538 · outbound
This paper cites @esa (Ref.
BugScope: Learn to Find Bugs Like Human @esa (Ref
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.372068Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 83d8e877-2e5d-4d19-825e-de5afb66a265 · outbound
This paper cites an unresolved cited work.
BugScope: Learn to Find Bugs Like Human Unresolved cited work
Reference 36
- Resolution
- unresolved
- raw_fallback, observed 2026-05-19T04:07:02.405995Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 2044e222-fd0b-43fb-9f75-625897d29cfc · outbound
This paper cites Recent studies have adopted two complementary paradigms for leveraging LLMs in bug detection: LLM-augmented program analysis and LLM-based autonomous agents.
BugScope: Learn to Find Bugs Like Human Recent studies have adopted two complementary paradigms for leveraging LLMs in bug detection: LLM-augmented program analysis and LLM-based autonomous agents
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T04:07:02.352237Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Pith citing papers
Observation 66418bce-2b0a-4b9a-b050-437aba262aad · inbound
Code Semantic Zooming cites this paper.
Code Semantic Zooming BugScope: Learn to Find Bugs Like Human
Reference 16
- Resolution
- verified exact
- local_arxiv, observed 2026-05-18T08:46:07.914180Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation cb10faf8-2e90-456a-a952-599352a9fa13 · inbound
Code Semantic Zooming cites this paper.
Code Semantic Zooming BugScope: Learn to Find Bugs Like Human
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T11:11:43.833857Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 098d2ae2-d7eb-4641-b935-7f059b25ef26 · 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 BugScope: Learn to Find Bugs Like Human
Reference 21
- Resolution
- verified exact
- local_arxiv, observed 2026-05-15T14:05:54.693052Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 62d179c8-da7f-45bc-832e-5a9f5780d8ad · 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 BugScope: Learn to Find Bugs Like Human
Reference 21
- 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 03e111f2-009c-4921-942b-18074c938d54 · 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 BugScope: Learn to Find Bugs Like Human
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T14:03:36.031161Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.