Paper Citation Record · LEDGER

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques

As of 20 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 0 inbound Pith citation observations for arXiv:2607.09979.

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

pith.paper-citation-record.v1
2607.09979 v1

Coverage vector

measured 34 of 34 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-14T01:18:31.914413Z

measured 34 of 34 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

34 of 34 outbound references displayed

verified exact1
verified fuzzy0
unresolved32
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation cb78edc4-9a90-489e-a178-15975786ffe9 · outbound

This paper cites Assisting static analysis with large language models: A ChatGPT experiment.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques Assisting static analysis with large language models: A ChatGPT experiment

Reference 1

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 ce3b5e1f-8679-4216-a152-fd68ae96e2b7 · outbound

This paper cites Automatically inspecting thousands of static bug warnings with large language model: How far are we?ACM Trans.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques Automatically inspecting thousands of static bug warnings with large language model: How far are we?ACM Trans

Reference 2

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 8ae05431-7d4e-47fd-8310-6d1931c28a12 · outbound

This paper cites Reducing false positives in static bug detection with LLMs: An empirical study in indus- try, 2026.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques Reducing false positives in static bug detection with LLMs: An empirical study in indus- try, 2026

Reference 3

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 be0afe3f-b5e0-49ce-b7e7-3613d6974dba · outbound

This paper cites Common weakness enumeration (CWE).

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques Common weakness enumeration (CWE)

Reference 4

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 51966429-c632-4872-95f7-108fcef63777 · outbound

This paper cites Static analysis alert audits: Lexicon & rules.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques Static analysis alert audits: Lexicon & rules

Reference 5

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 d47e2428-a5ab-49b1-882a-a8f6faf242b0 · outbound

This paper cites Twitter, Feb 9, 2026.https://x.com/ WishinElarion/status/2020766452782157950.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques Twitter, Feb 9, 2026.https://x.com/ WishinElarion/status/2020766452782157950

Reference 6

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 bf048435-7da4-454f-97c4-6600672d7ef3 · outbound

This paper cites Twitter, Feb 10, 2026.https://x.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques Twitter, Feb 10, 2026.https://x

Reference 7

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 3cb63b8f-59bd-476f-a023-f61179db1f0e · outbound

This paper cites car-wash-evals.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques car-wash-evals

Reference 8

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 69baa8ec-aea6-43c0-8da1-454110fd823e · outbound

This paper cites Universal Self-Consistency for Large Language Model Generation.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques Universal Self-Consistency for Large Language Model Generation

Reference 9

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 495be5f2-dac4-47fc-825b-0d78bb8a52c2 · outbound

This paper cites Auditing multi-agent LLM reasoning trees outperforms majority vote and LLM-as-judge, 2026.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques Auditing multi-agent LLM reasoning trees outperforms majority vote and LLM-as-judge, 2026

Reference 10

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 12f4fe47-634d-4dba-9901-402eeb11021b · outbound

This paper cites Judging LLM-as-a-Judge with MT-Bench and Chatbot Arena.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques Judging LLM-as-a-Judge with MT-Bench and Chatbot Arena

Reference 11

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 01b84f63-ec71-494b-96c3-381b852f11bb · outbound

This paper cites A survey on LLM-as-a-Judge,.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques A survey on LLM-as-a-Judge,

Reference 12

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 da70a5d2-331a-4b89-a976-945a8da7ef6e · outbound

This paper cites A Survey on LLM-as-a-Judge.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques A Survey on LLM-as-a-Judge

Reference 13

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 75a9bbeb-de97-4289-9c28-93a7e43a6b45 · outbound

This paper cites Self-Consistency Improves Chain of Thought Reasoning in Language Models.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques Self-Consistency Improves Chain of Thought Reasoning in Language Models

Reference 14

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 a867c62c-c34c-4039-b64c-6050286e24eb · outbound

This paper cites LLM Evaluators Recognize and Favor Their Own Generations.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques LLM Evaluators Recognize and Favor Their Own Generations

Reference 15

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 eabaff7a-e85d-43fe-a794-bd4cc50b629b · outbound

This paper cites AddressSanitizer and UndefinedBehav- iorSanitizer.https://clang.llvm.org/docs/, 2024.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques AddressSanitizer and UndefinedBehav- iorSanitizer.https://clang.llvm.org/docs/, 2024

Reference 16

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 72d5cdbe-cf2e-4266-94e9-c9e5ac3e5aef · outbound

This paper cites Juliet C/C++ test suite, software assurance reference dataset (SARD).https://samate.nist.gov/SARD/, 2017.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques Juliet C/C++ test suite, software assurance reference dataset (SARD).https://samate.nist.gov/SARD/, 2017

Reference 17

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 da6243ea-7158-4c69-bd82-1875ecbd30d0 · outbound

This paper cites Cordeiro, and Vasileios Mavroeidis.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques Cordeiro, and Vasileios Mavroeidis

Reference 18

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 76413093-03dd-4069-bf12-1cbe478afbfb · outbound

This paper cites Cordeiro.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques Cordeiro

Reference 19

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 b4039d3e-59f3-4d28-b616-e21621b174ca · outbound

This paper cites SMT-based bounded model checking for embed- ded ANSI-C software.IEEE Transactions on Software Engineering, 38(4):957–974, 2012.doi:10.1109/TSE.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques SMT-based bounded model checking for embed- ded ANSI-C software.IEEE Transactions on Software Engineering, 38(4):957–974, 2012.doi:10.1109/TSE

Reference 20

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fdb15ddd-d54e-43ee-b424-3a1a4da00773 · outbound

This paper cites an unresolved cited work.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques Unresolved cited work

Reference 21

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 1ba29423-138d-4b06-8272-3630883d326b · outbound

This paper cites ESBMC v7.4: Harnessing the power of intervals: (competition contribution).

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques ESBMC v7.4: Harnessing the power of intervals: (competition contribution)

Reference 22

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 31fe408b-d6ea-4163-ab73-e21bcb0378dc · outbound

This paper cites State of the art in software verification and witness validation: SV-COMP 2024.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques State of the art in software verification and witness validation: SV-COMP 2024

Reference 23

Resolution: verified exact; doi, observed 2026-07-14T01:20:11.144310Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 89ba8868-c3f7-4811-aceb-4d85a061a0c2 · outbound

This paper cites The security risk of lacking compiler protec- tion in WebAssembly.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques The security risk of lacking compiler protec- tion in WebAssembly

Reference 24

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 9ac07b5f-9c27-43b2-b0fa-df68572992c9 · outbound

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

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models

Reference 25

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 7ab14729-1b41-413b-b44c-1961bf080ccb · outbound

This paper cites En- hancing static analysis for practical bug detection: An LLM-integrated approach.Proc.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques En- hancing static analysis for practical bug detection: An LLM-integrated approach.Proc

Reference 26

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 51c3b413-c6d4-437c-b427-692555b10111 · outbound

This paper cites The Hitchhiker's Guide to Program Analysis, Part II: Deep Thoughts by LLMs.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques The Hitchhiker's Guide to Program Analysis, Part II: Deep Thoughts by LLMs

Reference 27

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 13aa6655-14c2-4a3e-bd97-26a11e299240 · outbound

This paper cites ZeroFalse: Improving preci- sion in static analysis with LLMs, 2025.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques ZeroFalse: Improving preci- sion in static analysis with LLMs, 2025

Reference 28

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 80e54d5b-d432-4bb8-890c-09fe48f818ff · outbound

This paper cites Towards Effective Complementary Security Analysis using Large Language Models.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques Towards Effective Complementary Security Analysis using Large Language Models

Reference 29

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 757ff7a8-10b9-4d80-b84b-b6c5d6728723 · outbound

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

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 08250964-79d7-4cb4-a0ef-e6310b0e73aa · outbound

This paper cites Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation.

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation

Reference 31

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 8fce2182-3477-4774-8ea9-091eba846627 · outbound

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

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

Reference 32

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33f2b23a-ab86-4c11-9342-34998091ca1d · outbound

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

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques CodeCureAgent: Automatic Classification and Repair of Static Analysis Warnings

Reference 33

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 69059d6e-8f4e-4388-84be-119fac560350 · outbound

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

Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques Lemur: Integrating Large Language Models in Automated Program Verification

Reference 34

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.