{"as_of":"2026-08-10T00:00:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:496f04250aac4ad9fb7c05e6a5b6c8b56339f517ac3f703cca670a5fb86160f8","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-09T06:31:02.800959+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:276e3a8c19164192d5376ca495c63c0205b0ef670ffb4b9f4a7936f0772b544d","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:f9a138cb8d3eefcf14c7dc24d137d09d184ce742b90f0187feebdaf209628577","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:2ae2a7fda1300632254c2c4492444dc569e0b0d7d3ec67638e2aa23fc5af17d0","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:2d3e57d5388d9dadb545695a93c410c722ab37eec6e91fe283fa7977b443e99c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:a3f4bedff10bb211fe729649007f7ba7484e42f448b0ad516a86f309d8609281","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:69ff2da6357c4822c46ba965ae68d4c75e8f94bd15568a16d9ac0a45de4cba44","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:c7ce1e34e046b852bcd9af010b39939c0f8254cb462297bfe786f472528ad572","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:11b8ae29691597186b8fd18cb6bdb24030855068e938636e40987c50411d91cb","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:167581fc7fce8d87b8cbdb8e674095543b556ebe54b36cc85e6532c3752e52f2","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:6749033194c73d7bcb711fe0142428a118fba73bc863ba46ff98e32f89d09ff4","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:772d028fefb072f358e3e76284d5986d383b43fb2fab74f9f02216ae1e56eba7","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:ba84f81373c6008a1e4400ce1c008106bc9be6158e4a0ab50a6fb1bb7430469e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:4277ada1b842a01b683b5d404c6d4489e8fb80649e81226e4f092b77d5dd01af","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:aa903e16b0af4d1a88f9b240443bad0a993d21deaa51db8a2138e41b3a87b795","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:530954a89f808a91afce64f3216bad89d4bb547a36b6df4b8765706b0340609f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:f7d965d57b7cf5059fbf135178d2729e8ab1c7e085ac7aff4a64883cd063ab9a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:1657c1c708bf5910acd3f8bcacfca088a0ad6b42bea5a34af6dd62d9844f2713","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:71c5f14500d6838945c60d70e9fc791d8fd8877337d46b43c7e1045f7ffa3026","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:379bfb7ef5275235f0b94cc5182d0be562438909e80b6422e26e66d1ecbf0c7d","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:7513a643bd31c86fd34bfcb059975edabf4d76f61d06b1fb3d0b0f2a82df3584","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:aea3e1de0b7b9d623bf8d64abd24f546eb321e39403f19bcde5e1dcc51ad82ba","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:98a3627e8513e901f97583e38c29a207df03f3e670c4b4e67a680f7282f3a868","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08-09T15:03:00.207307Z","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:42f3a6808d14343fb93bdb27d81cba3db94c09bb264321a069ab66f563c9d76f","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:45657d8face1fc362bb5898bc24fadce74c60b75943606fdc3aff62f3cbb5979","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:667581d3c0a3158a19f6f8554665418ce0d91b7e0b89e621eda802ecbf09564a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 4 inbound Pith citation observations for arXiv:2506.10322."}