Paper Citation Record · LEDGER

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis

As of 13 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 4 inbound Pith citation observations for arXiv:2506.10322.

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

pith.paper-citation-record.v1
2506.10322 v1

Coverage vector

measured 35 of 35 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T04:35:15.056129Z

measured 39 of 39 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 4 of 4 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-03T06:21:10.928532Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-14T19:07:51.295006Z

Reference resolution

35 of 35 outbound references displayed

verified exact1
verified fuzzy10
unresolved24
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d6c8fc24-1ff2-4837-8ed1-61ed6f081c38 · outbound

This paper cites URL: " 'urlintro :=.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis URL: " 'urlintro :=

Reference 1

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae8d6cd4-c550-4407-b5ef-a322abcb2853 · outbound

This paper cites write newline.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis write newline

Reference 2

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2aaff3eb-2d6d-43ac-bf46-5274113498e8 · outbound

This paper cites write newline.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis write newline

Reference 3

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd30b73a-83b7-46d4-8c60-ce0144ba7a48 · outbound

This paper cites https://www.anthropic.com/news/claude-3-family Claude sonnet 3.5.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis https://www.anthropic.com/news/claude-3-family Claude sonnet 3.5

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:35:16.404251Z

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 24b5c52d-0c9d-44cf-bf54-8f3b96483524 · outbound

This paper cites http://cppcheck.net/ Cppcheck.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis http://cppcheck.net/ Cppcheck

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:35:16.395508Z

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 60609c2b-2bdf-401f-9880-814c7bd39d85 · outbound

This paper cites https://huggingface.co/deepseek-ai/DeepSeek-Coder-V2-Instruct Deepseek-coder-v2-instruct.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis https://huggingface.co/deepseek-ai/DeepSeek-Coder-V2-Instruct Deepseek-coder-v2-instruct

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:35:16.386267Z

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 c5d3cfc8-f5ac-4341-9b1d-acb973ec737b · outbound

This paper cites https://platform.openai.com/docs/models/gpt-4-and-gpt-4-turbo Gpt-4-turbo.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis https://platform.openai.com/docs/models/gpt-4-and-gpt-4-turbo Gpt-4-turbo

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:35:16.377390Z

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 afc19a7f-8c0a-41d3-ab41-1111e0fb7239 · outbound

This paper cites https://huggingface.co/Qwen/Qwen2.5-Coder-32B-Instruct Qwen2.5-coder-32b- 256 instruct.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis https://huggingface.co/Qwen/Qwen2.5-Coder-32B-Instruct Qwen2.5-coder-32b- 256 instruct

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:35:16.367907Z

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 f474a2c0-9ee3-4849-a177-a9b4d74d39cf · outbound

This paper cites https://codeql.github.com/ Codeql.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis https://codeql.github.com/ Codeql

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:35:16.358947Z

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 4e069340-cfeb-40b9-a1ac-8ff56d6e290d · outbound

This paper cites https://fbinfer.com/ Infer.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis https://fbinfer.com/ Infer

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:35:16.349947Z

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 debf1a75-d41f-4eb3-9701-bc38a56e8475 · outbound

This paper cites https://github.com/libav/libav/tree/master Libav.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis https://github.com/libav/libav/tree/master Libav

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:35:16.341006Z

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 3a260352-f1ed-4c8d-8f53-47bcdaf0ec93 · outbound

This paper cites https://elixir.bootlin.com/linux/v6.9.6/source Linux-kernel 6.9.6.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis https://elixir.bootlin.com/linux/v6.9.6/source Linux-kernel 6.9.6

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:35:16.331850Z

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 e6f2d955-04fa-4095-80d0-eecb566ed170 · outbound

This paper cites https://github.com/openssl/openssl/tree/master Openssl.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis https://github.com/openssl/openssl/tree/master Openssl

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:35:16.322428Z

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 f8845a6f-350c-499c-9871-fed23863e304 · outbound

This paper cites an unresolved cited work.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis Unresolved cited work

Reference 14

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6740904-5b07-43fe-abb6-4a7e9bfa75b6 · outbound

This paper cites an unresolved cited work.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-07T04:35:16.313037Z

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 17a96883-7b77-49d8-bbef-8b78f54b684c · outbound

This paper cites an unresolved cited work.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-07T04:35:16.303249Z

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 de2e6b91-276d-4dba-9fd7-e21ddcf8b0aa · outbound

This paper cites an unresolved cited work.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-07T04:35:16.293612Z

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 8127c30e-485e-4661-b2bd-293b79628767 · outbound

This paper cites an unresolved cited work.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-07T04:35:16.284068Z

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 0a6675b1-0cbb-4c29-af18-eb1b8399ae1e · outbound

This paper cites Vul-RAG: Enhancing LLM-based Vulnerability Detection via Knowledge-level RAG.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis Vul-RAG: Enhancing LLM-based Vulnerability Detection via Knowledge-level RAG

Reference 19

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e880639-0547-4794-9d37-04471fce7499 · outbound

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

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models

Reference 20

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d23e3b7-e1cd-4d13-98d1-9b1cec73fe40 · outbound

This paper cites LooGLE: Can Long-Context Language Models Understand Long Contexts?.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis LooGLE: Can Long-Context Language Models Understand Long Contexts?

Reference 21

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

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

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

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 bdfc0d36-bb38-42fa-8d0c-33a646ce13db · outbound

This paper cites Large Language Model-Based Agents for Software Engineering: A Survey.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis Large Language Model-Based Agents for Software Engineering: A Survey

Reference 23

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 961d03c0-559d-4a25-8709-1f0c39e5bc5d · outbound

This paper cites an unresolved cited work.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis Unresolved cited work

Reference 24

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c54c9998-b24a-4c51-b41d-72db5141af04 · outbound

This paper cites Program Slicing in the Era of Large Language Models.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis Program Slicing in the Era of Large Language Models

Reference 25

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 182a43a5-8b04-4332-9b6b-c4009dbd2c82 · outbound

This paper cites an unresolved cited work.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-07T04:35:16.268973Z

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 af55d7b6-c229-4512-a5e9-4d20a7990c74 · outbound

This paper cites an unresolved cited work.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-07T04:35:16.258191Z

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 dc7990fa-6ff1-4883-a52f-f07484f1e712 · outbound

This paper cites an unresolved cited work.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-07T04:35:16.246513Z

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 8e70451f-9bea-4979-8f8a-1f4836ff50d3 · outbound

This paper cites GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis

Reference 29

Resolution: verified exact; local_arxiv, observed 2026-08-07T04:35:15.245873Z

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 974ccf55-0ca2-455e-8a2d-545ae3e850ba · outbound

This paper cites an unresolved cited work.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-07T04:35:16.227227Z

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 f5b5f884-2f7a-45d1-bf39-acf5e1ed3010 · outbound

This paper cites an unresolved cited work.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-07T04:35:16.110484Z

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 5b33a32b-49c7-40dd-afb4-5200154e7f86 · outbound

This paper cites an unresolved cited work.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-07T04:35:16.028658Z

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 95698a89-440b-45d4-9b9a-1abdb8c3aa62 · outbound

This paper cites Boosting Static Resource Leak Detection via LLM-based Resource-Oriented Intention Inference.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis Boosting Static Resource Leak Detection via LLM-based Resource-Oriented Intention Inference

Reference 33

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0fe7271c-e7eb-4bd6-af9a-482f8ad8ef44 · outbound

This paper cites an unresolved cited work.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-07T04:35:15.851950Z

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 e1a4edd5-04c1-4d15-b77e-e700714cf086 · outbound

This paper cites an unresolved cited work.

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-07T04:35:15.559582Z

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.

Pith citing papers

Observation 64f40aa0-a7f2-4199-945f-a8697394344d · inbound

Sifting the Noise: A Comparative Study of LLM Agents in Vulnerability False Positive Filtering cites this paper.

Sifting the Noise: A Comparative Study of LLM Agents in Vulnerability False Positive Filtering Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-03T06:21:10.928532Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96731b9e-69e7-4d6b-a73f-7ded4205bd35 · inbound

Do Skill Descriptions Tell the Truth? Detecting Undisclosed Security Behaviors in Code-Backed LLM Skills cites this paper.

Do Skill Descriptions Tell the Truth? Detecting Undisclosed Security Behaviors in Code-Backed LLM Skills Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis

Reference 27

Resolution: verified exact; arxiv_id, observed 2026-05-14T19:07:51.298705Z

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 757ff7a8-10b9-4d80-b84b-b6c5d6728723 · 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 Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis

Reference 30

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 201b0d23-30c6-45c7-b320-3d3768794dfd · 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 Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis

Reference 8

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.