Paper Citation Record · LEDGER

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness

As of 8 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 1 inbound Pith citation observation for arXiv:2508.14419.

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

pith.paper-citation-record.v1
2508.14419 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-05T18:40:07.595236Z

measured 36 of 36 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-10T15:06:56.616089Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-11T11:11:05.019022Z

Reference resolution

35 of 35 outbound references displayed

verified exact0
verified fuzzy24
unresolved10
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 558d4fa4-4551-42f9-9bdb-88ea89ff5e72 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Evaluating Large Language Models Trained on Code

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-05T18:40:04.570741Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 144398f3-cbb1-4905-8515-61143045613c · outbound

This paper cites GPT-4 Technical Report.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness GPT-4 Technical Report

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-05T18:40:04.623264Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c138b983-b000-4be8-81ed-2063e45bdb1a · outbound

This paper cites Gemini: A Family of Highly Capable Multimodal Models.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Gemini: A Family of Highly Capable Multimodal Models

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-05T18:40:04.747331Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99c25215-c2bc-4ce3-b2c5-18697e0a1f86 · outbound

This paper cites ISO/IEC 25010.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness ISO/IEC 25010

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:40:12.899327Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3c188586-295b-453f-9730-2a2ce6fd6812 · outbound

This paper cites How have views on software quality differed over time? research and practice viewpoints,.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness How have views on software quality differed over time? research and practice viewpoints,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:40:12.684510Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation cd6cc1be-9e22-454b-9b31-c496b28dae67 · outbound

This paper cites Can LLMs Patch Security Issues?.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Can LLMs Patch Security Issues?

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-05T18:40:05.080660Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d7f56fb4-681e-4e49-b7d8-a475a3daa53b · outbound

This paper cites Lost at c: A user study on the security implications of large language model code assistants,.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Lost at c: A user study on the security implications of large language model code assistants,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:40:12.474718Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3bcc6ebd-b626-458b-a833-6e5a8c0fc78e · outbound

This paper cites Do users write more insecure code with ai assistants?.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Do users write more insecure code with ai assistants?

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:40:12.278659Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation c8c2894d-3ccc-4609-a3e2-f98a7d5354e0 · outbound

This paper cites Can llm replace stack overflow? a study on robustness and reliability of large language model code generation,.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Can llm replace stack overflow? a study on robustness and reliability of large language model code generation,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:40:11.998670Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e031d502-458c-4d91-bdb1-dc320af3c388 · outbound

This paper cites Beyond Correctness: Benchmarking Multi-dimensional Code Generation for Large Language Models.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Beyond Correctness: Benchmarking Multi-dimensional Code Generation for Large Language Models

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-05T18:40:05.431137Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c08fd3af-0fad-4d0d-89a0-e792e9bf16c2 · outbound

This paper cites Understanding stack overflow code quality: A recommendation of caution,.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Understanding stack overflow code quality: A recommendation of caution,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:40:11.716160Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 8e5ebd0a-627b-443e-b3f7-d7a1885d8177 · outbound

This paper cites Common weakness enumeration.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Common weakness enumeration

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:40:11.328401Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f5ee6666-9f37-46e1-a914-ed438125c404 · outbound

This paper cites Large Language Models for Software Engineering: A Systematic Literature Review.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Large Language Models for Software Engineering: A Systematic Literature Review

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-05T18:40:05.627097Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99f93eff-9138-4c5a-9ded-2155ee118256 · outbound

This paper cites Introducing the next generation of claude,.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Introducing the next generation of claude,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:40:10.950565Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 1c3bf3b8-6a65-442c-b6e3-60748b38b37d · outbound

This paper cites Available: https://huggingface.co/datasets/ google-research-datasets/mbpp.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Available: https://huggingface.co/datasets/ google-research-datasets/mbpp

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:40:10.727873Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d54ddb30-5de9-4e90-96f4-4a8142fb3ff8 · outbound

This paper cites Claude 3.5 sonnet model card addendum.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Claude 3.5 sonnet model card addendum

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:40:10.564504Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 40aa4eef-52a4-440d-a8e8-ab69b9ad8817 · outbound

This paper cites A Survey on In-context Learning.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness A Survey on In-context Learning

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-05T18:40:06.019859Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 112b83bc-65f2-488b-96e7-ed69ef0a1550 · outbound

This paper cites Chain-of-thought prompting elicits reasoning in large language models,.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Chain-of-thought prompting elicits reasoning in large language models,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-05T18:40:06.089312Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1b0039e-c183-443d-b81f-8c8b5c1358d6 · outbound

This paper cites Debug like a human: A large language model debugger via verifying runtime execution step by step,.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Debug like a human: A large language model debugger via verifying runtime execution step by step,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:40:10.368940Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation c4fbfb36-38d6-4c34-ae72-dae310088a93 · outbound

This paper cites [Online].

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness [Online]

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:40:10.212274Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0069eb1d-92a4-47fc-8f5f-8921b2cbe2fe · outbound

This paper cites Optimizing Large Language Model Hyperparameters for Code Generation.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Optimizing Large Language Model Hyperparameters for Code Generation

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-05T18:40:06.378538Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e085ac9e-e421-43a3-87e2-36da80f8d21d · outbound

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

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness On the capability of static code analysis to detect security vulnerabilities,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:40:09.965106Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 38b6e224-c329-4767-a053-a09c8689364e · outbound

This paper cites [Online].

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness [Online]

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:40:09.783083Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 4083e6c8-6ac2-46ec-9c32-972d02762eb8 · outbound

This paper cites Using static analysis to find bugs,.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Using static analysis to find bugs,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:40:09.592597Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 22508dc9-34b4-481f-b4a0-8125b9832a48 · outbound

This paper cites How developers engage with static analysis tools in different contexts,.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness How developers engage with static analysis tools in different contexts,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:40:09.419980Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation da3efd65-4f15-4f1e-9d02-8f4641dcc1e2 · outbound

This paper cites Analyzing false positive source code vulnerabilities using static analysis tools,.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Analyzing false positive source code vulnerabilities using static analysis tools,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:40:09.237039Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation ffb6f50c-3c89-49e4-8826-426c69266daa · outbound

This paper cites Identifying and documenting false positive patterns generated by static code analysis tools,.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Identifying and documenting false positive patterns generated by static code analysis tools,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:40:09.091729Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation a754f5a0-d0a4-4f35-9874-31e0d1e18c57 · outbound

This paper cites Frustrated with Code Quality Issues? LLMs can Help!.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Frustrated with Code Quality Issues? LLMs can Help!

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-05T18:40:07.002163Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35255074-c4f8-46cd-b750-d9e9dd7f227f · outbound

This paper cites Securityeval dataset: mining vulnerabil- ity examples to evaluate machine learning-based code generation tech- niques,.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Securityeval dataset: mining vulnerabil- ity examples to evaluate machine learning-based code generation tech- niques,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:40:08.955324Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 9aa60fd5-fa3d-495d-a38e-f76850c6bcb3 · outbound

This paper cites Using metrics to evaluate software system maintainability,.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Using metrics to evaluate software system maintainability,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:40:08.800553Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f30f49be-7df1-4ad5-b691-3cf61ad2eb5e · outbound

This paper cites Boswell and T.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Boswell and T

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:40:08.675358Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 73c91ce2-d6ae-4bc8-bb93-3723d184c8c1 · outbound

This paper cites Available: https://bandit.readthedocs.io/en/latest/man/bandit.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Available: https://bandit.readthedocs.io/en/latest/man/bandit

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:40:08.536661Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5ab5b9db-ab0a-4a89-8f25-9f7641d7c3e0 · outbound

This paper cites [Online].

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness [Online]

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:40:08.366168Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation bf7e9940-477f-4aac-98fc-c737fdb3d975 · outbound

This paper cites Identifying test-suite-overfitted patches through test case generation,.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Identifying test-suite-overfitted patches through test case generation,

Reference 34

Resolution: metadata mismatch; raw_fallback, observed 2026-08-05T18:40:07.857595Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d86913b8-6d52-4d43-85b3-0136c40f5523 · outbound

This paper cites Program transformation landscapes for automated program modification using gin,.

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Program transformation landscapes for automated program modification using gin,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:40:08.179110Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Pith citing papers

Observation bc30a9f7-4ef5-45f0-a2d8-3e40203eb0be · inbound

Learning Project-wise Subsequent Code Edits via Interleaving Neural-based Induction and Tool-based Deduction cites this paper.

Learning Project-wise Subsequent Code Edits via Interleaving Neural-based Induction and Tool-based Deduction Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness

Reference 68

Resolution: verified exact; arxiv_id, observed 2026-05-11T11:11:05.023668Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.