{"as_of":"2026-08-10T14:18:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2a29355e483162762bf89c9083d927ef797c5f7a404d76622e579d8480c8ebbb","coverage":[{"denominator":51,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":51,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-28T18:38:42.922884Z","state":"measured"},{"denominator":51,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":51,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2606.00669/citation-record","integrity":"/paper/2606.00669/integrity","json":"/paper/2606.00669/citation-record.json","paper":"/paper/2606.00669"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T18:38:42.922884Z","title":"Program analysis and specialization for the C programming language","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:3a4066975d19ff28b7e58f1a3f7fab3fc01fcead3d450ed5c65729bdd9502aea","observation_id":"4bf2107b-8c8c-4b27-aeb3-0d57b0d0c863","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"cpio reader: record_hardlink() UAF/double-free regression —free(le) leaves dangling pointer in cpio->links_head","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:eb7e330d4116e97ab4a8c99997bd0f330c0ca3ce3b289475738c72497bdbfeac","observation_id":"6a443be6-ab13-40a0-9551-39008d8566f4","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"7zip writer: file_new() leaks file->utf16name on symlink utf-8 conversion failure","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:133e37fe7cfb902e731ac012dd8f1414d56b6cf1f1062c0148960240ef702545","observation_id":"02deb69a-54ae-419d-aa4e-42a3a0ab28b7","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"warcwriter: _warc_header()leaks archive_stringon _popul_ehdroverflow","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:caa33d1f09579441349e0be795bf3bacc865e45fe8fd9d100985434c8bc69d80","observation_id":"24d61095-a162-483a-a7d9-e3c6596a9c75","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"xar reader: file_free() misses archive_string_free for fflags_text (heap leak)","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:a5782c86ddb71d34cfa5798d2ee87ee215f17188753e5675eb841474c59ef651","observation_id":"f5ec3fa0-d746-4790-aa12-e0c912866ce9","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"xar writer: make_fflags_entry() oob read into .rodata past string- literal null terminator","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:186e9dda148b90af3cb7a151ca3c33f2ee8dc0800d0fc62aac0a02e502bb8c92","observation_id":"c48af957-bb30-48b1-a34d-84bec9a0d84e","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:2b39d6811777480d306efae8c9a8dde1323f0ecb3d5a0781c37ff65d74aa6ea5","observation_id":"2713a41f-e695-4bce-a474-33fe51320176","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"QL: Object- oriented queries on relational data","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:51ae7a775d85c2d070958bdbc90a2987e4e8facd61878f8eda041840debf455b","observation_id":"42f36b26-75a8-46f6-a0c7-e1b396790dae","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"stb single-file public-domain libraries for C/C++.https://github.com/ nothings/stb, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:c2656b786d1090a49e4fd58b8841d16a1a107f51ce7c1666c21e09f07bf5b783","observation_id":"180eeaf0-6d06-46f8-9a47-4d4ceae3b853","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2009.08361","last_updated":"2020-10-16T16:34:49Z","snapshot_observed_at":"2026-08-10T10:42:07.880058Z","submitted_at":"2020-09-17T15:17:40Z","title":"Formulog: Datalog for SMT-Based Static Analysis (Extended Version)","version":2},"cited_work":{"arxiv_id":"2009.08361","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2009.08361","snapshot_observed_at":"2026-06-28T20:32:37.466212Z","title":"Formulog: Datalog for SMT- based static analysis.Proceedings of the ACM on Programming Languages (PACMPL), OOPSLA, 4(OOPSLA), 2020","venue":null,"work_id":"ba6a7be0-c77e-4c74-b00d-4d007b65c5d1","year":2020},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"cited_paper":"/paper/2009.08361","citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:062cfeae1478ee91bf4ae12b8ad9634afc4f2970c8ea4237dd236ca6e6a6db5e","observation_id":"42d32b7c-d84b-40d5-ab03-74d9099695cf","resolution":{"observed_at":"2026-06-28T20:32:37.468417Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.14017","last_updated":"2024-09-26T07:47:32Z","snapshot_observed_at":"2026-08-04T14:30:16.858997Z","submitted_at":"2024-08-26T05:03:32Z","title":"Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (Extended Version)","version":3},"cited_work":{"arxiv_id":"2408.14017","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2408.14017","snapshot_observed_at":"2026-06-28T18:42:29.618797Z","title":"Making Formulog fast: An argument for unconventional Datalog evaluation.Proceedings of the ACM on Programming Languages (PACMPL), OOPSLA2, 8(OOPSLA2), 2024","venue":null,"work_id":"21c6e483-6421-4498-a343-c2b687a710a3","year":2024},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"cited_paper":"/paper/2408.14017","citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:12de147d44141fa41e6f53b6c333db361cfdfb40efcd95b5a5e1c5ba7fa3eab7","observation_id":"160379a5-a345-4139-b230-2ff0e3b504d7","resolution":{"observed_at":"2026-06-28T18:42:29.620546Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06-28T18:38:42.922884Z","title":"Strictly declarative specification of sophis- ticated points-to analyses","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:e50e90b4196f98a4c08f28ccf4b05f5c5331028857ae419dfedc8b7a9b2cc54d","observation_id":"ea81cb71-0a7e-48a4-b6d2-c94994c6e5d3","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"Tree-sitter: An incremental parsing system for programming tools","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:e1919ec82bd16de2fc1f49cb172d0315f3fd7c5367e83d326137d72a274304d4","observation_id":"bd91bcd4-a10b-444b-9c5e-663cf0185148","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:da2c2e9bb1cab7405c1e477d75dde8019e505afc3bedeab545af4b8db4d0a41f","observation_id":"9f7b0d40-e74f-4f83-a0e7-30833f153e6f","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"Fink, and Manu Sridharan","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:293a9bb7f097fa6ae655ab06583f1bc4f2301301657a8d28c921e263c4dfca23","observation_id":"36a40357-c393-4594-8918-4d22119d148c","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"SOCKS4a long-username/hostname heap overflow (strcpy joint-bound check), hackerone disclosure","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:590e1b99aeaf134c3b8669084075ad66f94ae788e89baa9f1d4ea298e4377d02","observation_id":"eddcb6fd-5f08-4d60-8ae3-be5f26742360","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"Z3: An efficient SMT solver","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:9c2cf137da3d42da3ae34d211079d0e0fc7aa37bd2541c445cc24c6d668e0019","observation_id":"5a4be152-5467-4ff2-9cc5-64507913368a","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"Ernst, Jeff H","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:cb9e0e11c9cde3bdb41761d2d34e14bfa3e6de00a1e6a462b5b9dfdc76344ee1","observation_id":"5a794b63-9ce4-4370-8986-8241b3185f4c","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"cJSON: An ultralightweight JSON parser in ANSI C","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:c7a2e52da11886111adfeca5caf3a46711e19cd3c78dde58d8ef91b7db356861","observation_id":"d8f91eb9-374a-4b17-8749-bd42beab86cb","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"CVE-2023-45676: Integer overflow leading to heap-based buffer overflow in stb_vorbis comment-parsing path (GHSL-2023-166).https://nvd.nist.gov/ vuln/detail/CVE-2023-45676, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:2e06f5bdac2580f75e6eff44742431d9a92212da4f574c39585bdd91d7027c2a","observation_id":"c3484134-919e-4b93-a418-2c82f6175bf2","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"CVE-2023-45681: Integer overflow in stb_vorbis comment-list alloca- tion (GHSL-2023-171).https://nvd.nist.gov/vuln/detail/CVE-2023-45681, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:3e5adbf0b4c6bb53ed01bd8ab8845dd6a88b8b8fd362c546fe144025cb43c26a","observation_id":"a0e274de-7753-4294-b34a-a83222ac7549","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"Levin, and David Molnar","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:75c559ad84bcef50ef7095e6291dfc91bbacef05e3a42f91b85d6f09e1d0e235","observation_id":"59fa52f6-ff75-478b-b87d-0ed8a3388c1a","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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":"10.1145/3428334","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Magma: A Ground-Truth Fuzzing Benchmark,","venue":"Proceedings of the ACM on Measurement and Analysis of Computing Systems","work_id":"dcc19093-f959-4cc7-b3fd-143dd238a7dd","year":2020},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:8b6935c6fe27375ea8a7f45b885ca1fe561dda922abe6ed3ed1b9dd2481a347e","observation_id":"acefad19-bd0c-4419-8a4f-c123ddf7a48b","resolution":{"observed_at":"2026-06-28T18:42:28.433548Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06-28T18:38:42.922884Z","title":"Soufflé: On synthesis of pro- gram analyzers","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:d4b6e14b71ba871c0452e5ba6a0f9391b022b556fe59c98eb2feb798f4b73766","observation_id":"6754948a-bf60-40d1-84a3-d090ababf413","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"Failure sketching: A technique for automated root cause diagnosis of in-production failures","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:7766bba55b8a74e1f53ee6763343f07141b7e26a9ae328a4281c5ccac3f10f38","observation_id":"d15f074c-8fa3-4179-a37c-2a1f4c817890","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"libarchive: Multi-format archive and compression library","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:10da7f944e7d45fedc2d35eddadf14ed736f7527010ad04958ff93d55f9dbd8e","observation_id":"7b23fa70-8728-42f5-b090-03a26ec8be94","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-08-10T13:10:32.820257Z","submitted_at":"2024-05-27T14:53:35Z","title":"IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities","version":3},"cited_work":{"arxiv_id":"2405.17238","doi":"10.48550/arxiv.2405.17238","metadata_source":"arxiv_reference","pith_arxiv_id":"2405.17238","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Llm-assisted static analysis for detecting security vulnerabilities","venue":"arXiv (Cornell University)","work_id":"c34bc8bb-26cb-4827-a680-8bcb6d7d3b20","year":2024},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"cited_paper":"/paper/2405.17238","citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:0a709c2b3deb2c7883325c6970a72d81c398a68e64de02b8b2082396e4d67ed3","observation_id":"8d22ccb9-f1d1-459f-8a10-b1ed93dc43f5","resolution":{"observed_at":"2026-06-28T18:42:29.623484Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-07-13T11:50:03.621348+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-13T11:50:03.621348+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+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-06-28T18:38:42.922884Z","title":"libFuzzer: A library for coverage-guided fuzz testing.https://llvm.org/ docs/LibFuzzer.html, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:cc8797f54944e61fcbc6a8897d050689ff9d98bf6b55462d32b9bd2ea2772ee2","observation_id":"a5c4e648-2e83-4ba3-8fa8-61ea6be7945e","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"CVE-2023-38545: SOCKS5 heap buffer overflow in curl.https://nvd.nist.gov/ vuln/detail/CVE-2023-38545, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:56679230c7bd19d44f6b30ea6368c2c67e8e169ee2f41f285f597139f14ecfac","observation_id":"e1e74c5e-9bc5-40cb-8d93-f73afa60c200","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"CVE-2023-53154: Heap buffer over-read in cJSON string parsing.https://nvd","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:f3d8953fb9269bb72897d3bafcb785a2b6d27e3529c95734f84882fbaf4f452e","observation_id":"b29cf75c-9187-40d4-b823-8f45cba83491","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"CVE-2025-10148: Predictable per-connection mask key in curl WebSocket.https: //nvd.nist.gov/vuln/detail/CVE-2025-10148, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:3508082fc4dc7c5e082f5b5652c15594d50adf326762b113f527375ce2d6b174","observation_id":"be022e63-1561-4c50-bbfa-994c4f2d24ce","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"CVE-2025-57052: Out-of-bounds access in cJSON json-pointer handling.https: //nvd.nist.gov/vuln/detail/CVE-2025-57052, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:309e1f5cde15be6656b0a79980ab1186f5394c2d821c8ec5f22e76a65d9a9df1","observation_id":"88838baf-5fd4-4f77-8a64-6dbb9bbf8363","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"CVE-2025-6021: Integer overflow in libxml2xmlBuildQName","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:214d822193d960107af05497e8c3148fe2152c9956c1ef3f708a9fe5e97ea2f9","observation_id":"14176202-f97a-453e-9bbd-a9d1f9f21a6d","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"Precise interprocedural dataflow analysis via graph reachability","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:880f740b945b22ceb14ae7f9cf6aac2fa4894dfd2ccd6ebf8e38db549c0927b3","observation_id":"9e14dddb-1082-4468-b162-5146b5a9de27","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"Top score on the wrong exam: On benchmarking in machine learning for vulnerability detection.Proc","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:5c4bb8750edef5a1dd7fdc42842fb3ab2523263c85f39f726e2b29564b401453","observation_id":"a7209127-1d5e-4178-8c3d-27896b770d39","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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":"10.1145/3728887","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv:2408.12986","venue":"Proceedings of the ACM on software engineering.","work_id":"4a4c1bae-bb28-4933-b80c-1d56b899b267","year":2025},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:a177abaf271604cfa11f9b014c021aea6aa935558bf11fdf4424f2997c567978","observation_id":"610c6737-a1a1-41a9-9ff4-66a068c4e245","resolution":{"observed_at":"2026-06-28T18:42:28.431246Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06-28T18:38:42.922884Z","title":"Using likely invari- ants for automated software fault localization","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:e788b53cc75280602c19f7d877011ff922abf9f808b5fabffef98c3626973c62","observation_id":"874acfef-9158-437c-8d61-b0f009968575","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"Ad- dressSanitizer: A fast address sanity checker","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:b60381effd254259e516700050ce440880e37240d859ead4be0e270f1e412607","observation_id":"067582fe-4cef-437f-844d-229aa1bbb342","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"Pinpoint: Fast and precise sparse value flow analysis for million lines of code","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:c288974c1ddbac893f2c550e25e879d399efd73e288bd46a08e37ed93903bfb9","observation_id":"ff1b8ba3-474d-41a8-a771-9fbfde3f9dfe","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"and the Joern community","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:94ffe77bec553ee8e51463546d65fc49f74d6264d1169e50016965c2549f5930","observation_id":"647c7060-52b0-4ea8-a870-195f4a5e15ca","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"SoK: (state of) the art of war: Offensive techniques in binary analysis","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:7809be1b868a6f659b857f8f6b2c49ab6dcc4609a3325eb13ad395a62e805acc","observation_id":"d7ca5614-44fe-4001-9893-803872b771d7","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"xar: Fix writer oob accesses with fflags (resolves GHSA-wfvr-54j8-47r9)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:6167765e2b19cc3a01aeb0cbecb87d2492a824f03458eb4b1939d91064a2b241","observation_id":"27bf03ad-19c9-4d06-910a-299fbf391720","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:bd67f86b60d903f7ec24f1ca015d08db382214f8330fb80fd1f49d37536a9814","observation_id":"0878c726-8794-403f-997f-481bf2f2b437","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"SVF: Interprocedural static value-flow analysis in LLVM","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:cdc900213abf5bc4cae8655daa4f0f60e8a3d56c0aa6d7b2fd6e485965334b8f","observation_id":"95dcf803-9a2d-487d-9fc5-7e44bb501870","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"FFmpeg: A complete, cross-platform solution to record, convert and stream audio and video.https://ffmpeg.org/, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:fe9be9164fbe074ad633e58617817e987d23414af6c6e6774fe3de982b0f08a8","observation_id":"45661cca-53e1-4806-96df-b97bf122f7a8","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"Cottontail: Large language model-driven concolic execution for highly structured test input generation","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:8461d4a13ed6b7d1eb786c1627abb46e08444483b713c84d623ce2c40f8164f2","observation_id":"8bc831fc-0a30-45c7-bb45-d9bdffe96a3d","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"libxml2: The XML C parser and toolkit of Gnome","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:d19894cedef0ee67e643f66bc62fdaba4b457fb9b41afa4b2cd11cc46a0684cd","observation_id":"f69641b6-ef71-455c-80cf-d64067e739a8","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:d61d3d891cd42d17fc1394a721e5c712b13e678fe2e43e1eabc48f971beeb9c9","observation_id":"01659d96-1387-48a9-afdb-18b7a73feb08","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"Saturn: A SAT-based tool for bug detection","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:f1fdfd1648f3e31ef15bbe65f54259196b90bd13958350bf35c70d3910b911d7","observation_id":"96ef1448-2055-402d-bce1-e9e6aaf964b2","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"Saturn: A scalable framework for error detection using Boolean satisfiability.ACM Transactions on Programming Languages and Systems (TOPLAS), 29 (3), 2007","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:84b1c22799186e3ac8ce814613d6ce283bb68183c12400480168d5c845b2d51d","observation_id":"1082e5d5-a709-44e9-a3ac-fe400b335bfe","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","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-06-28T18:38:42.922884Z","title":"f/i” is feasible/infeasible. “B flips","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-06-28T18:38:42.922884Z"},"links":{"citing_paper":"/paper/2606.00669"},"observation_digest":"sha256:b469baf935d6fa6a8fb4ae9eca3719213ba1053f679418b9939de55f5f04881c","observation_id":"8f100da8-830e-47f0-a983-0a537a944aa0","resolution":{"observed_at":"2026-06-28T18:38:42.922884Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.00669","last_updated":"2026-05-30T10:50:06Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-07T08:14:30.897794Z","submitted_at":"2026-05-30T10:50:06Z","title":"NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT"},"reference_resolution":{"displayed":51,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":46,"verified_exact":5,"verified_fuzzy":0},"total_outbound_references":51},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 51 of 51 outbound references and 0 inbound Pith citation observations for arXiv:2606.00669."}