{"as_of":"2026-08-08T22:39:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b61edb58605168df23f6466d4f2f8fc7319185f17839aa0b803b443de03029b0","coverage":[{"denominator":35,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":35,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T04:35:15.056129Z","state":"measured"},{"denominator":39,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":39,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":4,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":4,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T06:21:10.928532Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-14T19:07:51.295006Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.10322","snapshot_observed_at":"2026-08-03T06:21:10.928532Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2601.22952","last_updated":"2026-07-23T08:49:38Z","snapshot_observed_at":"2026-08-08T15:12:15.536520Z","submitted_at":"2026-01-30T13:14:55Z","title":"Sifting the Noise: A Comparative Study of LLM Agents in Vulnerability False Positive Filtering","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-03T06:21:10.928532Z"},"links":{"cited_paper":"/paper/2506.10322","citing_paper":"/paper/2601.22952"},"observation_digest":"sha256:4a1e8edd117bd63caf9ad4546f83f901c410e27a43e66e498e62ec20ae9a7c25","observation_id":"64f40aa0-a7f2-4199-945f-a8697394344d","resolution":{"observed_at":"2026-08-03T06:21:10.928532Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"cited_work":{"arxiv_id":"2506.10322","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2506.10322","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Minimizing false positives in static bug detection via llm- enhanced path feasibility analysis","venue":null,"work_id":"63ba3d22-2af1-491a-8de1-dbcf5d44fd27","year":2025},"citing_paper":{"arxiv_id":"2605.12875","last_updated":"2026-05-13T01:44:10Z","snapshot_observed_at":"2026-07-06T23:24:32.412966Z","submitted_at":"2026-05-13T01:44:10Z","title":"Do Skill Descriptions Tell the Truth? Detecting Undisclosed Security Behaviors in Code-Backed LLM Skills","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-14T19:06:00.332789Z"},"links":{"cited_paper":"/paper/2506.10322","citing_paper":"/paper/2605.12875"},"observation_digest":"sha256:a5cc7ea42a774d5d2684f65542273acf691db116fdfdb5b54a72646561c889d7","observation_id":"96731b9e-69e7-4d6b-a73f-7ded4205bd35","resolution":{"observed_at":"2026-05-14T19:07:51.298705Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.10322","snapshot_observed_at":"2026-07-14T01:18:31.914413Z","title":"Minimizing false positives in static bug detection via LLM-enhanced path feasibility analy- sis, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-02T17:00:05.156928Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"cited_paper":"/paper/2506.10322","citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:9a6bd986ece45e4b0bbfa07e9748955d341f7f970af69c385546eca4746017dd","observation_id":"757ff7a8-10b9-4d80-b84b-b6c5d6728723","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.10322","snapshot_observed_at":"2026-07-31T04:54:36.024104Z","title":"Minimizing false positives in static bug detection via LLM-enhanced path feasibility analysis, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.24964","last_updated":"2026-07-27T18:13:28Z","snapshot_observed_at":"2026-08-07T06:05:15.080571Z","submitted_at":"2026-07-27T18:13:28Z","title":"ALIBI: Adaptive Agentic Attacks on LLM-Based Vulnerability Detectors via Adversarial Code Comments","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-31T04:54:36.024104Z"},"links":{"cited_paper":"/paper/2506.10322","citing_paper":"/paper/2607.24964"},"observation_digest":"sha256:f6f2ac7ef2f923f76dc8e298c3db1290cd4e18ec5631718587ee6cdce5c756bc","observation_id":"201b0d23-30c6-45c7-b320-3d3768794dfd","resolution":{"observed_at":"2026-07-31T04:54:36.024104Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2506.10322/citation-record","integrity":"/paper/2506.10322/integrity","json":"/paper/2506.10322/citation-record.json","paper":"/paper/2506.10322"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:11.959592Z","title":"URL: \" 'urlintro :=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:11.959592Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:e037637f403ac50eadb2baf29ec049b3da07ce66f4e5c6cf2f027f714200112f","observation_id":"d6c8fc24-1ff2-4837-8ed1-61ed6f081c38","resolution":{"observed_at":"2026-08-07T04:35:11.959592Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:12.019466Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:12.019466Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:af496aa6187daac0f8532396b1e87be8149bf88cbee661280597a4cdb62deae2","observation_id":"ae8d6cd4-c550-4407-b5ef-a322abcb2853","resolution":{"observed_at":"2026-08-07T04:35:12.019466Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:12.086988Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:12.086988Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:ff7ddd6de0b70277be45d72deecac66899fbd217c1b693be4e6e76827a1d9f39","observation_id":"2aaff3eb-2d6d-43ac-bf46-5274113498e8","resolution":{"observed_at":"2026-08-07T04:35:12.086988Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:16.401375Z","title":"https://www.anthropic.com/news/claude-3-family Claude sonnet 3.5","venue":null,"work_id":"3bbaceec-3b08-49de-a6fc-60f0cd315d82","year":2024},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:12.166040Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:ff0690a8b4733f67b8194aba07d79d4a59b95cb32d016243dbd4bcfe447b7448","observation_id":"fd30b73a-83b7-46d4-8c60-ce0144ba7a48","resolution":{"observed_at":"2026-08-07T04:35:16.404251Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:16.392463Z","title":"http://cppcheck.net/ Cppcheck","venue":null,"work_id":"16307b1b-e67a-400f-8dda-4bc822811cb3","year":2024},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:12.234688Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:de984dd43557a04bf076d179d360e527aa5f4906a985dd522841eb1081f2cd98","observation_id":"24b5c52d-0c9d-44cf-bf54-8f3b96483524","resolution":{"observed_at":"2026-08-07T04:35:16.395508Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:16.383236Z","title":"https://huggingface.co/deepseek-ai/DeepSeek-Coder-V2-Instruct Deepseek-coder-v2-instruct","venue":null,"work_id":"c11c4f96-355e-47a2-91f3-fc5894971d44","year":2024},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:12.355618Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:9e09428e21c78250e76a3648ae6517010641cd0034f68354cb9ccd7646a39b06","observation_id":"60609c2b-2bdf-401f-9880-814c7bd39d85","resolution":{"observed_at":"2026-08-07T04:35:16.386267Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:16.373970Z","title":"https://platform.openai.com/docs/models/gpt-4-and-gpt-4-turbo Gpt-4-turbo","venue":null,"work_id":"cb8a85bb-0295-4ac6-8239-d2acf264c073","year":2024},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:12.520419Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:ba17a1512a0426e28323943a677b804fc6ea9df78fdf7942f8fc5513eb474d35","observation_id":"c5d3cfc8-f5ac-4341-9b1d-acb973ec737b","resolution":{"observed_at":"2026-08-07T04:35:16.377390Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:16.364979Z","title":"https://huggingface.co/Qwen/Qwen2.5-Coder-32B-Instruct Qwen2.5-coder-32b- 256 instruct","venue":null,"work_id":"16e64421-dee0-402c-9629-db621493a116","year":2024},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:12.686376Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:cb780af4479c345f33f5b8f89cc2bddb95f2ee40f785e4899d52dc1c35af9a50","observation_id":"afc19a7f-8c0a-41d3-ab41-1111e0fb7239","resolution":{"observed_at":"2026-08-07T04:35:16.367907Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:16.356096Z","title":"https://codeql.github.com/ Codeql","venue":null,"work_id":"b86dfc44-0c8d-4fc7-83d0-c855bd0d341d","year":2025},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:12.851540Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:dcd758d00ad6f5f77e34a2509ec18b48d3f946932c7f42db38d0d777224fd99f","observation_id":"f474a2c0-9ee3-4849-a177-a9b4d74d39cf","resolution":{"observed_at":"2026-08-07T04:35:16.358947Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:16.347149Z","title":"https://fbinfer.com/ Infer","venue":null,"work_id":"e571c682-8f03-4dcf-8e34-bcfe51fbae9f","year":2025},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:12.946950Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:6a2257e0a436cee197fb215fa0a8f553215524872fee03b9fd2a51a9a30a4c14","observation_id":"4e069340-cfeb-40b9-a1ac-8ff56d6e290d","resolution":{"observed_at":"2026-08-07T04:35:16.349947Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:16.338160Z","title":"https://github.com/libav/libav/tree/master Libav","venue":null,"work_id":"d2365cf7-d235-4a4c-8726-dd7270c72312","year":2025},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:13.020292Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:a9f98bfa2378d9c0d093c0e7479a931977996bbdb6319bc4ea94d118ddce52ae","observation_id":"debf1a75-d41f-4eb3-9701-bc38a56e8475","resolution":{"observed_at":"2026-08-07T04:35:16.341006Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:16.328608Z","title":"https://elixir.bootlin.com/linux/v6.9.6/source Linux-kernel 6.9.6","venue":null,"work_id":"4c0de853-c84f-4a50-baec-3968036c396a","year":2025},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:13.069173Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:dc2fbc53c34a19515992e922b596e2f4316f4b7ed3b20c61a617717d4d99d942","observation_id":"3a260352-f1ed-4c8d-8f53-47bcdaf0ec93","resolution":{"observed_at":"2026-08-07T04:35:16.331850Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:16.319186Z","title":"https://github.com/openssl/openssl/tree/master Openssl","venue":null,"work_id":"bc1fd506-7dc6-4b0e-95bb-c0540f9566d4","year":2025},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:13.138297Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:401cfbff9168a279d64ada92bdc3b5d82caf89eb28756fd7d323aa7d31b75e5d","observation_id":"e6f2d955-04fa-4095-80d0-eecb566ed170","resolution":{"observed_at":"2026-08-07T04:35:16.322428Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:13.224216Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:13.224216Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:6333fb2d8ec439592830ff5fdddec8b12265f96ca6e564887b5e2aa7b2d498ef","observation_id":"f8845a6f-350c-499c-9871-fed23863e304","resolution":{"observed_at":"2026-08-07T04:35:13.224216Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:16.309424Z","title":null,"venue":null,"work_id":"8d24190d-4a7b-4ce9-92a7-719e363fc957","year":2023},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:13.309940Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:2544cbad1d1d5daabbe3c929b739e8fb01aec8c817c5cad0d4024148e3e703a8","observation_id":"b6740904-5b07-43fe-abb6-4a7e9bfa75b6","resolution":{"observed_at":"2026-08-07T04:35:16.313037Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:16.300310Z","title":null,"venue":null,"work_id":"859279d4-c6d5-4316-b02d-eb9ab85d1ba4","year":2021},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:13.399443Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:3589aa80ae13eb2c76b3b395788e83b151a9bfc3f09ae63d8c547d784f73e1a5","observation_id":"17a96883-7b77-49d8-bbef-8b78f54b684c","resolution":{"observed_at":"2026-08-07T04:35:16.303249Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:16.290644Z","title":null,"venue":null,"work_id":"26e806d2-4144-43a7-9847-450e6fd74b6a","year":2022},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:13.485143Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:8698b3b80d05224ad695fad7d7d0466fadd808c582918c08cdb370b2eb4d8cbc","observation_id":"de2e6b91-276d-4dba-9fd7-e21ddcf8b0aa","resolution":{"observed_at":"2026-08-07T04:35:16.293612Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:16.281180Z","title":null,"venue":null,"work_id":"a5e3a83c-bd45-4f79-9183-cab5bad983cf","year":2024},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:13.572967Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:5e1f2a8853711900892c08d428a1e86cb3ffde3a57d5b1410b20a0bdc35696a6","observation_id":"8127c30e-485e-4661-b2bd-293b79628767","resolution":{"observed_at":"2026-08-07T04:35:16.284068Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.11147","last_updated":"2025-06-17T15:07:17Z","snapshot_observed_at":"2026-07-06T18:31:53.591578Z","submitted_at":"2024-06-17T02:25:45Z","title":"Vul-RAG: Enhancing LLM-based Vulnerability Detection via Knowledge-level RAG","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.11147","snapshot_observed_at":"2026-08-07T04:35:13.639770Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:13.639770Z"},"links":{"cited_paper":"/paper/2406.11147","citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:6e4522220cf049d83c5632a0ca37cbff8a4eb97e0b2b92818fd98d488a11eaea","observation_id":"0a6675b1-0cbb-4c29-af18-eb1b8399ae1e","resolution":{"observed_at":"2026-08-07T04:35:13.639770Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.00245","last_updated":"2023-11-15T21:02:47Z","snapshot_observed_at":"2026-07-06T16:01:03.635085Z","submitted_at":"2023-08-01T02:57:43Z","title":"The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.00245","snapshot_observed_at":"2026-08-07T04:35:13.717585Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:13.717585Z"},"links":{"cited_paper":"/paper/2308.00245","citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:271f2c48bedd6b28e10ca373c4a0979fe14eb8cc29d436e6b1744551efb6c146","observation_id":"5e880639-0547-4794-9d37-04471fce7499","resolution":{"observed_at":"2026-08-07T04:35:13.717585Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2311.04939","last_updated":"2024-09-06T05:06:51Z","snapshot_observed_at":"2026-08-08T11:14:21.904860Z","submitted_at":"2023-11-08T01:45:37Z","title":"LooGLE: Can Long-Context Language Models Understand Long Contexts?","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.04939","snapshot_observed_at":"2026-08-07T04:35:13.807586Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:13.807586Z"},"links":{"cited_paper":"/paper/2311.04939","citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:9fafc2b05501f7d4a48b23441e293b83d76efab8f911df710ae6052aaab53094","observation_id":"4d23e3b7-e1cd-4d13-98d1-9b1cec73fe40","resolution":{"observed_at":"2026-08-07T04:35:13.807586Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.17238","last_updated":"2025-04-06T23:46:59Z","snapshot_observed_at":"2026-07-06T18:20:35.626876Z","submitted_at":"2024-05-27T14:53:35Z","title":"IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.17238","snapshot_observed_at":"2026-08-07T04:35:13.929291Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:13.929291Z"},"links":{"cited_paper":"/paper/2405.17238","citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:ec7a930685222d2850cc59bd0d265d8a5e2f36f04cc9e473cec70a5111d559f7","observation_id":"cf1ecf2b-cba6-4339-9f30-49753ff3d3d1","resolution":{"observed_at":"2026-08-07T04:35:13.929291Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.02977","last_updated":"2025-12-03T03:33:35Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-09-04T15:59:41Z","title":"Large Language Model-Based Agents for Software Engineering: A Survey","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.02977","snapshot_observed_at":"2026-08-07T04:35:14.049149Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:14.049149Z"},"links":{"cited_paper":"/paper/2409.02977","citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:e565470f940b0b9e3f5fb6619dd1bf79a9223bfa56579514b40743ec0916ad96","observation_id":"bdfc0d36-bb38-42fa-8d0c-33a646ce13db","resolution":{"observed_at":"2026-08-07T04:35:14.049149Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:14.142468Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:14.142468Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:dd74a3e6455ea208785a37f8f7f6f72c849a7156090cc7ce312f19def7bc45c6","observation_id":"961d03c0-559d-4a25-8709-1f0c39e5bc5d","resolution":{"observed_at":"2026-08-07T04:35:14.142468Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.12369","last_updated":"2024-09-19T00:07:56Z","snapshot_observed_at":"2026-08-02T10:46:06.301144Z","submitted_at":"2024-09-19T00:07:56Z","title":"Program Slicing in the Era of Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.12369","snapshot_observed_at":"2026-08-07T04:35:14.223802Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:14.223802Z"},"links":{"cited_paper":"/paper/2409.12369","citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:c383b8885d84523fb39ec8169931a74cf38812fe35d64a2a2599285971eb933e","observation_id":"c54c9998-b24a-4c51-b41d-72db5141af04","resolution":{"observed_at":"2026-08-07T04:35:14.223802Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:16.265349Z","title":null,"venue":null,"work_id":"9c3219e6-e411-4c22-9270-0f7528e8dd0a","year":2020},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:14.314062Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:5de52d65e3f1e3674a0fac8e5085d64bf1cd3e8642d7403ce225e7675232a101","observation_id":"182a43a5-8b04-4332-9b6b-c4009dbd2c82","resolution":{"observed_at":"2026-08-07T04:35:16.268973Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:16.254184Z","title":null,"venue":null,"work_id":"8f1e0041-329a-4707-b46a-14ad68c9dc65","year":2018},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:14.375370Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:d4049f7227e2e501fb1d8cb74a6cc66b8556e8e59b323efdd0c0a752857f8e29","observation_id":"af55d7b6-c229-4512-a5e9-4d20a7990c74","resolution":{"observed_at":"2026-08-07T04:35:16.258191Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:16.234429Z","title":null,"venue":null,"work_id":"0754df83-8228-4293-aa80-0b6c3324d5d2","year":2012},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:14.467348Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:2ad0df07c6856b82fe01bb8e0451f9c4a44e3c300115de99fcf9268cc9e72382","observation_id":"dc7990fa-6ff1-4883-a52f-f07484f1e712","resolution":{"observed_at":"2026-08-07T04:35:16.246513Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.03314","last_updated":"2024-05-06T09:00:43Z","snapshot_observed_at":"2026-07-06T16:03:14.694457Z","submitted_at":"2023-08-07T05:48:53Z","title":"GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis","version":3},"cited_work":{"arxiv_id":"2308.03314","doi":null,"metadata_source":"pith","pith_arxiv_id":"2308.03314","snapshot_observed_at":"2026-08-07T04:35:15.173925Z","title":"GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis","venue":"cs.CR","work_id":"7e6c7ace-6281-4077-988a-46393c7c2c38","year":2023},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:14.590391Z"},"links":{"cited_paper":"/paper/2308.03314","citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:9a0a898e3cf1af230e7972aced4fd7ed6f81eaa02130dae43d784cc0a6d01a70","observation_id":"8e70451f-9bea-4979-8f8a-1f4836ff50d3","resolution":{"observed_at":"2026-08-07T04:35:15.245873Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:16.196389Z","title":null,"venue":null,"work_id":"b51a5151-3c99-46e8-97f1-2dd50f9bf9a0","year":2020},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:14.681100Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:974e1e5b666d908b29b1fdc9f66478d675a33d3caf0e49d1d55253bd9bb56385","observation_id":"974ccf55-0ca2-455e-8a2d-545ae3e850ba","resolution":{"observed_at":"2026-08-07T04:35:16.227227Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:16.036541Z","title":null,"venue":null,"work_id":"f54f1aca-7ca6-4958-9cc5-fd78ba2c1b79","year":2024},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:14.754558Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:66948f43a28747c71449cc6c74a7811c501597c0938675055c8a46c7434620c2","observation_id":"f5b5f884-2f7a-45d1-bf39-acf5e1ed3010","resolution":{"observed_at":"2026-08-07T04:35:16.110484Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:16.020895Z","title":null,"venue":null,"work_id":"e0855084-3f01-4199-82f7-0c1cf7a8defa","year":2024},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:14.839013Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:e8074fa42f39b6614995ef69f88269e9d03a83bb367e0fd8ae6cba573c8b66ff","observation_id":"5b33a32b-49c7-40dd-afb4-5200154e7f86","resolution":{"observed_at":"2026-08-07T04:35:16.028658Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2311.04448","last_updated":"2024-12-12T12:57:59Z","snapshot_observed_at":"2026-07-30T22:51:04.120105Z","submitted_at":"2023-11-08T04:19:28Z","title":"Boosting Static Resource Leak Detection via LLM-based Resource-Oriented Intention Inference","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.04448","snapshot_observed_at":"2026-08-07T04:35:14.927357Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:14.927357Z"},"links":{"cited_paper":"/paper/2311.04448","citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:e1c90bdbd9ebdbf6597990f3a34bf490ea564bf87d08b87deee5b2d14ce691ed","observation_id":"95698a89-440b-45d4-9b9a-1abdb8c3aa62","resolution":{"observed_at":"2026-08-07T04:35:14.927357Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:15.736629Z","title":null,"venue":null,"work_id":"ad19f912-af3b-48dd-8775-ae774e9e466e","year":2024},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:14.995377Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:22b79c3fb6de0539c6c2fff6a6f89ed6205fc361a88d2037991311182b26067b","observation_id":"0fe7271c-e7eb-4bd6-af9a-482f8ad8ef44","resolution":{"observed_at":"2026-08-07T04:35:15.851950Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:35:15.464129Z","title":null,"venue":null,"work_id":"2414ecfc-fcdd-44ca-8749-62a486edcd13","year":2018},"citing_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-07T04:35:15.056129Z"},"links":{"citing_paper":"/paper/2506.10322"},"observation_digest":"sha256:c2eb7eff162bcd726b7a60f32c559387fd31e46d61a08b4e3407ce6ec42c4857","observation_id":"e1a4edd5-04c1-4d15-b77e-e700714cf086","resolution":{"observed_at":"2026-08-07T04:35:15.559582Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-08T00:51:13.611345Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis"},"reference_resolution":{"displayed":35,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":24,"verified_exact":1,"verified_fuzzy":10},"total_outbound_references":35},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 4 inbound Pith citation observations for arXiv:2506.10322."}