{"as_of":"2026-08-09T13:08:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:52a35f5c401ef99e00efb8d85b4355c5330a6001e1643839595f2ed6de811f06","coverage":[{"denominator":91,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":91,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T08:19:04.490316Z","state":"measured"},{"denominator":91,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":91,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+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/2607.21676/citation-record","integrity":"/paper/2607.21676/integrity","json":"/paper/2607.21676/citation-record.json","paper":"/paper/2607.21676"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:18:52.921245Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:52.921245Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:66cf0a3ee4f9f293960e7fd8c97fbe013b5d93c8a8a6124869f200bb42aea538","observation_id":"49251dea-38ce-4b47-80c4-c60f5ca3951c","resolution":{"observed_at":"2026-08-01T08:18:52.921245Z","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-01T08:18:53.014403Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:53.014403Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:db2e725d6edb35020f8c0c58122024605d012be30c5ae282647319e5303c1786","observation_id":"c4b6d351-7f37-4f37-90d0-5dd1033d6472","resolution":{"observed_at":"2026-08-01T08:18:53.014403Z","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-01T08:18:53.146011Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:53.146011Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:6d3e4bf861a8a25e2642c659e01866ff9421fed4c9f25c0548db6064f9340596","observation_id":"42dbacf2-4322-4be2-9f53-76364304a4bf","resolution":{"observed_at":"2026-08-01T08:18:53.146011Z","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-01T08:18:53.381910Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:53.381910Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:c372d915cd02c9aff47d63590d6bd6aca2b9a7bee166348986c96d73f9ab0ae7","observation_id":"91696240-595c-44b3-9645-ba0b873debf3","resolution":{"observed_at":"2026-08-01T08:18:53.381910Z","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-01T08:18:53.469628Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:53.469628Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:692a34de84caddadd183bbeb6a714e5fa61ff415d7c5c81f5fb10b980518ad2e","observation_id":"7ef2828e-b5d8-45fc-8ab1-9ba386e350f9","resolution":{"observed_at":"2026-08-01T08:18:53.469628Z","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-01T08:18:53.609975Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:53.609975Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:dde391b5a997e3d21a201b38757a1554338e4fc2f21589c52d7dd3af542ae1d1","observation_id":"fa98a512-3f7f-4e21-a85c-795c8c1dd0d6","resolution":{"observed_at":"2026-08-01T08:18:53.609975Z","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-01T08:18:53.742653Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:53.742653Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:d0a940c1cf06467d5b3db41ed8322201d8c618b9d058a48602ca4763ace99c2e","observation_id":"8954bccb-e590-4e89-b746-f2bfd123f981","resolution":{"observed_at":"2026-08-01T08:18:53.742653Z","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-01T08:18:53.946186Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:53.946186Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:1f8351155f5342ec9557c0f4a132bbf9b0dc17e34a4c9057af58045284375f3b","observation_id":"2aecf385-4e9c-4016-8124-7fde1b6b5eee","resolution":{"observed_at":"2026-08-01T08:18:53.946186Z","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-01T08:18:54.109833Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:54.109833Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:7b3d5cf5edd51dd45031db875c5eb7c909f58ec2fd539fd26b78ab04966edd7e","observation_id":"301d5b87-803c-4c2f-a21e-c4bc1676f8e6","resolution":{"observed_at":"2026-08-01T08:18:54.109833Z","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-01T08:18:54.292200Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:54.292200Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:9a1f0b367e02d74acd647aa55a26d7929c81a421e93c5e19b841ef32d390ff55","observation_id":"12dafb54-2e71-4281-80a8-a9283eea90e9","resolution":{"observed_at":"2026-08-01T08:18:54.292200Z","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-01T08:18:54.443324Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:54.443324Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:a4ff00449aa352202c8b8ef8001bc35f644b9b47fc8d43969bfeb285c4c12de1","observation_id":"e52deb3f-6e7b-45dc-80a9-4ed087c08d53","resolution":{"observed_at":"2026-08-01T08:18:54.443324Z","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-01T08:18:54.555141Z","title":"Donaldson","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:54.555141Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:194b9109ef9d0997add37ab626de7a8c49fdda7088672926431aada9994b1300","observation_id":"8fec2291-077f-492f-bd9d-a8fd4ca5b676","resolution":{"observed_at":"2026-08-01T08:18:54.555141Z","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-01T08:18:54.689472Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:54.689472Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:d01883f8742e739a5073887531b4837dbcfa6c094d12ab504831a9233e180b5f","observation_id":"da19305c-7c14-43e9-a8b6-de6277791374","resolution":{"observed_at":"2026-08-01T08:18:54.689472Z","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-01T08:18:54.868971Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:54.868971Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:595566857940a1da930a2d00e8eb42f02843ae5eb61186f2cfae04a6afdd069f","observation_id":"a8f5c813-f2aa-46e5-ac9d-9a01dfdb4e43","resolution":{"observed_at":"2026-08-01T08:18:54.868971Z","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-01T08:18:54.994517Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:54.994517Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:3c789316b9256aadb35c0ac0cf30ce1a2b3b636a6e773ad5691f6feaf574eeb4","observation_id":"5847d400-cbd8-4996-a70a-03d6da4a5a0b","resolution":{"observed_at":"2026-08-01T08:18:54.994517Z","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-01T08:18:55.204916Z","title":"Păsăreanu, Koushik Sen, Nikolai Tillmann, and Willem Visser","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:55.204916Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:78098f3ac5b6236b6eb5de4e4d20e30fc6437aedbc0c464e904f1c9812ee0bdf","observation_id":"693d1bbf-548b-4467-b922-f39a9371c22e","resolution":{"observed_at":"2026-08-01T08:18:55.204916Z","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.1007/s10009-020-00570-3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"International Journal on Software Tools for Technology Transfer","work_id":"8693cbb9-d667-471c-8efb-780fa7c315e1","year":2021},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:55.319428Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:493d5d5062e293ddfd8846630e07caa2cd141b1fdd0b6c9b43ea51c01cd9c0a5","observation_id":"f222ddd6-cfd0-4c6d-823c-eb058add7e4a","resolution":{"observed_at":"2026-08-01T08:24:15.365330Z","resolver_source":"doi","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:18:55.454574Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:55.454574Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:6730ece1ff0163e813cec4fb55c0d2c0af4a5b00c9b04d25df78078b445ac21a","observation_id":"75bc33ea-8122-4e4e-aa6d-7acb02f74d4a","resolution":{"observed_at":"2026-08-01T08:18:55.454574Z","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-01T08:18:55.661134Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:55.661134Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:487825a815e863c42eed84f5537f3298cc35dfe7450d8a8387037463365883f1","observation_id":"42685088-8692-4363-8c7a-6014dfdd42b5","resolution":{"observed_at":"2026-08-01T08:18:55.661134Z","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-01T08:18:55.816138Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:55.816138Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:5cc028a955020584bb238c2eb74fcb195a40328e8c27dea6886c88cd2ea43107","observation_id":"5784086e-b717-4703-9b68-463e8d53536c","resolution":{"observed_at":"2026-08-01T08:18:55.816138Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.03079","last_updated":"2025-05-31T15:52:17Z","snapshot_observed_at":"2026-08-02T08:18:52.069410Z","submitted_at":"2024-11-05T13:24:56Z","title":"Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.03079","snapshot_observed_at":"2026-08-01T08:18:55.922536Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:55.922536Z"},"links":{"cited_paper":"/paper/2411.03079","citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:390f8d911a19a2b8988947341530491c0b3a01426328335495b25dba5c47a929","observation_id":"b6d71618-8132-464c-9a4f-7854aa716397","resolution":{"observed_at":"2026-08-01T08:18:55.922536Z","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.5281/zenodo.21507662","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:24:14.808873Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","venue":null,"work_id":"a11f80fb-9d57-432c-9950-ce9ff8daf558","year":2026},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:56.038967Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:765e1bde0e706d3a3b26a401258e1d0d52b0edb5d688cf08a7eaf50d997db44e","observation_id":"f13621ce-b6f0-4ac1-a342-62c0153ca620","resolution":{"observed_at":"2026-08-01T08:24:14.955539Z","resolver_source":"doi","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:18:56.188894Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:56.188894Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:6bebce1ad4b7f960cce67af8ac95d5a07e142e55b5e911fc9e0edc93b11b5826","observation_id":"2e11976e-c9c4-433c-a05b-0618022c3622","resolution":{"observed_at":"2026-08-01T08:18:56.188894Z","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-01T08:18:56.392471Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:56.392471Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:03b630051be759607030754af9276c52a18cc4959e8037c0e13408a7b1c4e994","observation_id":"f94f47eb-5dba-4535-92ba-e8410474542b","resolution":{"observed_at":"2026-08-01T08:18:56.392471Z","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-01T08:18:56.625568Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:56.625568Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:fe4b563972b80f3f436a4e2f14ef004d750dfe4dfa8545d799c3b96d70ad992f","observation_id":"7d44f969-20ef-42be-b2e6-c6b5a3a0a87a","resolution":{"observed_at":"2026-08-01T08:18:56.625568Z","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-01T08:18:56.755515Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:56.755515Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:cdcb015e3024cf4cbb1c5137f59ccb200a60c5c804b977aff5da6ed2e68cc3f9","observation_id":"a13c4d59-fbf7-4cbc-9724-c384ab8cbb58","resolution":{"observed_at":"2026-08-01T08:18:56.755515Z","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-01T08:18:56.840389Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:56.840389Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:bcea60566bb75d1f259b333082c2f354b1f6dc55d01288fb1e4b1809c4217e90","observation_id":"4a83a67a-1c65-4ef7-8900-347f9eda9413","resolution":{"observed_at":"2026-08-01T08:18:56.840389Z","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-01T08:18:56.940523Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:56.940523Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:27673be7aa4d90efd8c752a608cc515610c319c29c9ecd7a54b3b255b4e89e22","observation_id":"33fdef69-f86e-4e99-a81f-4e4d33c49114","resolution":{"observed_at":"2026-08-01T08:18:56.940523Z","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-01T08:18:57.075706Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:57.075706Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:c2774367d01a13a2c478c94a5ba47b1d7b1ff71076df1b1163affc703e2ef662","observation_id":"31d012de-9ebf-4adf-96e7-57392bab90fe","resolution":{"observed_at":"2026-08-01T08:18:57.075706Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.14196","last_updated":"2024-01-26T09:23:11Z","snapshot_observed_at":"2026-08-06T22:40:28.707813Z","submitted_at":"2024-01-25T14:17:53Z","title":"DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.14196","snapshot_observed_at":"2026-08-01T08:18:57.220994Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:57.220994Z"},"links":{"cited_paper":"/paper/2401.14196","citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:e398642b763954dd1f9b938efb0fef645b540ff0ccc03d94bf5fd306ccd09a19","observation_id":"c1fdc9c8-1b74-4230-aed3-299b110e48f6","resolution":{"observed_at":"2026-08-01T08:18:57.220994Z","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-01T08:18:57.306516Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:57.306516Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:b5a11f9a3304cfd76320280d49cf0a4c899b79f0a0a7ac7f8f6f79dfd16901a6","observation_id":"21df1b55-4b29-4357-8055-f24b1cae14e8","resolution":{"observed_at":"2026-08-01T08:18:57.306516Z","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-01T08:18:57.406272Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:57.406272Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:5d7b4fcfa470e3bdb538d3331241458f899f115d0cc3f4a1e14aee95d148bace","observation_id":"6a1289b7-778c-4761-94dc-9dd0ab2c2d9f","resolution":{"observed_at":"2026-08-01T08:18:57.406272Z","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-01T08:18:57.468303Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:57.468303Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:9f989777401cc2fd2923e4c10e4e970ef3ee3ea6934429a4de576256b4478026","observation_id":"cfa9d0ae-8200-4857-ab2d-3a33216fe670","resolution":{"observed_at":"2026-08-01T08:18:57.468303Z","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/3324884","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"bf8db765-2151-4bbe-8da1-6ad166b3ea1d","year":2021},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:57.555353Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:7a64c07d9cb543eb825dcbef6d3190fc073db832cee10b51344638c8040527f7","observation_id":"e883f872-e692-41df-9789-80b6d7fecafe","resolution":{"observed_at":"2026-08-01T08:24:14.575424Z","resolver_source":"doi","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-04T01:38:08.776274+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-04T01:38:08.776274+00:00","source":"openalex_status_cache"},{"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-01T08:18:57.743284Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:57.743284Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:8c40e7c33d58a192fa32153129d13af0c39bf73eb7b025b527d5c51ade890536","observation_id":"c1820b96-97d7-489c-bc2c-160e42c1ac5f","resolution":{"observed_at":"2026-08-01T08:18:57.743284Z","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-01T08:18:57.955069Z","title":null,"venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:57.955069Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:e493863ecdfb7c77a36473ab86891f5b528a6fbf58ecae40cce5a5b06ccfb5a2","observation_id":"a0364b93-7741-4fcd-9d41-c760468761c7","resolution":{"observed_at":"2026-08-01T08:18:57.955069Z","resolver_source":null,"status":"malformed_identifier"},"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-01T08:18:58.086263Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:58.086263Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:cbe41a1a3396049b1ca9a4ec6ea3b0900935b7776df8b13e20b6434a617b1f3f","observation_id":"f9732356-ee78-4235-b54c-5b9c6e206ab7","resolution":{"observed_at":"2026-08-01T08:18:58.086263Z","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-01T08:18:58.190883Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:58.190883Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:111ec00a08fd17bec2019050c405964d0e2aa763ba867c817a416125a93ddf1f","observation_id":"c079c6fa-34d9-482f-8607-8114913c17e2","resolution":{"observed_at":"2026-08-01T08:18:58.190883Z","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-01T08:18:58.307423Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:58.307423Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:1b7e10bae90e82821e83a9eccff89a2572d50600174ee7eab9af6e5e073b8bc8","observation_id":"a56eb0d1-ea6b-44df-8131-e3dabb8c409b","resolution":{"observed_at":"2026-08-01T08:18:58.307423Z","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-01T08:18:58.368379Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:58.368379Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:07f9528639941a426a0faa19994999d0a1e392ff2b5c49e90cb3a09d431ce4d1","observation_id":"65bb3be4-4a47-4412-aafc-1c24613b19a6","resolution":{"observed_at":"2026-08-01T08:18:58.368379Z","resolver_source":null,"status":"malformed_identifier"},"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-01T08:18:58.518883Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:58.518883Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:94ced5a6fdbf1171064ae4d0e588534a2f2d2b047f6582b20c7964bf09eea247","observation_id":"fbd2db89-3a46-4d02-a943-95fc2ec79d1e","resolution":{"observed_at":"2026-08-01T08:18:58.518883Z","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-01T08:18:58.646697Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:58.646697Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:9041179284e66b88b3db076c16aa4b30769925909a01967891d0f1b420e0f8ef","observation_id":"de1a77a8-2ed3-41b3-933d-56a6db5b3926","resolution":{"observed_at":"2026-08-01T08:18:58.646697Z","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-01T08:18:58.819715Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:58.819715Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:4bba54e7117f16d444874fa847750a14a8c43a260810173f009733105ee3784c","observation_id":"b0ed8cb0-76c9-4d74-8bb6-34c84d17c01f","resolution":{"observed_at":"2026-08-01T08:18:58.819715Z","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-01T08:18:58.999273Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:58.999273Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:1e6b9c310b2e1b67cb20ab5035a59ec57d3d003d07842bee64446d5b004f76c1","observation_id":"d4193ac2-c630-4104-8591-5152194e9901","resolution":{"observed_at":"2026-08-01T08:18:58.999273Z","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-01T08:18:59.133226Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:59.133226Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:63571f475133e1d1d82eb3e1c0193d354559e55d1ba477d7ce5a9af95289e015","observation_id":"e863d7fd-5d1c-409c-a057-19710c210be6","resolution":{"observed_at":"2026-08-01T08:18:59.133226Z","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-01T08:18:59.247434Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:59.247434Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:ea4877872c6203b900fe6172ae34b749812de8d916be34f820d345eee0e52635","observation_id":"e8d8331f-c47f-4d22-824b-771a9cd0d41f","resolution":{"observed_at":"2026-08-01T08:18:59.247434Z","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-01T08:18:59.467605Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:59.467605Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:8cc0991b4ed76fa0f80aed03026ca23687d2d9a5e8ce6a94c8e08dddbf3b9426","observation_id":"575e5791-a26c-426b-827e-89043ac2ba3d","resolution":{"observed_at":"2026-08-01T08:18:59.467605Z","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-01T08:18:59.593036Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:59.593036Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:286e03244435dd6b001e59e01cdf48ab7deed215497ddecfbd9bfe2ace27e7f2","observation_id":"0d52b390-8d91-4f6e-bb47-dc7801a0f3cf","resolution":{"observed_at":"2026-08-01T08:18:59.593036Z","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-01T08:18:59.677051Z","title":"Foster, and Michael Hicks","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:59.677051Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:a9e5dedf48ef1d747ff3afb93b61bdb7b2e681c1582fd7d763f22986888407af","observation_id":"cb25d270-1fb9-4694-94f7-c065e2670afc","resolution":{"observed_at":"2026-08-01T08:18:59.677051Z","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-01T08:18:59.750078Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:59.750078Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:42633b9e2e81ac3a8c6845a3fdeae81eeeadd9f1e0b532c0838b963b9665b395","observation_id":"4c5eb9fc-a50f-4116-9fe1-272e401c19e2","resolution":{"observed_at":"2026-08-01T08:18:59.750078Z","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-01T08:18:59.811741Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:59.811741Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:466078aeff19e12c45d5c74ebfee2aaa55a0beb680c5d981a9b094905002153d","observation_id":"c7665834-d500-4240-8ba1-dac2e0691c61","resolution":{"observed_at":"2026-08-01T08:18:59.811741Z","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-01T08:18:59.904897Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:59.904897Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:9b94a6332a6ee436e1a95fa8a389b865d441aeed69875e5456e73f680990dd9f","observation_id":"c7b2e31e-3ff3-4e52-ad7e-ccf25ba07684","resolution":{"observed_at":"2026-08-01T08:18:59.904897Z","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-01T08:18:59.988302Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-01T08:18:59.988302Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:b72a6d4acbb99094a0db79241d044441831fd416cd39233ce96c43ddc65cf0d5","observation_id":"e5259d97-4f82-40e8-b049-889b52961c1e","resolution":{"observed_at":"2026-08-01T08:18:59.988302Z","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-01T08:19:00.054560Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:00.054560Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:1da3f393b836a96605217a6e65ef1840096d5e937c043fc02104cf5899ae9dcf","observation_id":"63e3c48d-f260-4c40-9068-2f90a908fe6f","resolution":{"observed_at":"2026-08-01T08:19:00.054560Z","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-01T08:19:00.144296Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:00.144296Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:778505d155501a55b8e641dd652cee65d1099d1eaee862e88a8fb9080ac66222","observation_id":"322e70c0-5e7d-46c5-972c-bacbb642f585","resolution":{"observed_at":"2026-08-01T08:19:00.144296Z","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-01T08:19:00.307378Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:00.307378Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:c231043237d201f3857e71134cd6c64e888ad48be00074df72a3773696756fad","observation_id":"9562c989-730a-4ff3-8e17-ff5bd477af85","resolution":{"observed_at":"2026-08-01T08:19:00.307378Z","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-01T08:19:00.434528Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:00.434528Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:81e52b8cc53fd09d67c8c99cd72cd79a8ca863c9d3f0ba6c37404401cbbdf9c7","observation_id":"289a81de-0d43-456d-812f-288ccb3840f4","resolution":{"observed_at":"2026-08-01T08:19:00.434528Z","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-01T08:19:00.581865Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:00.581865Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:e69c3b2532d1f31bcab3deaaa1eadb337415c088eb07319c8c40f2574a92f874","observation_id":"4f5a5bcc-0805-4894-bbfd-7b3cab09bc81","resolution":{"observed_at":"2026-08-01T08:19:00.581865Z","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/3731557","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"ACM Transactions on Software Engineering and Methodology","work_id":"03c04e88-ddb2-4a12-b781-21fe4b36aa2b","year":2026},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:00.752368Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:c4d9181a9dd2c2dbe4d7581df26e6fab36dfefde3bc0aa637e571e993e6a85b2","observation_id":"223713fd-8c3c-48b0-8ac6-2be14c71fa79","resolution":{"observed_at":"2026-08-01T08:24:14.211305Z","resolver_source":"doi","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":"10.1007/s10664-025-10734-x","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Empirical Software Engineering","work_id":"dcac6a5c-da0a-4bdb-add0-7a868f488b0a","year":2025},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:00.871284Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:50d2d4d0617361f85a012404acf52d16c5b3b6c8fc8aa64b4568248b07ec42c7","observation_id":"52037c18-b705-45c5-aab0-a3308e6b62b9","resolution":{"observed_at":"2026-08-01T08:24:14.038082Z","resolver_source":"doi","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:19:01.051422Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:01.051422Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:3d9c03ef7b7733a1dfccc7f4f5a8826fe3519873261af1c38746933d93fb27d3","observation_id":"03111bf4-8877-47e3-90a7-ed1761e4f646","resolution":{"observed_at":"2026-08-01T08:19:01.051422Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.10164","last_updated":"2024-12-13T14:27:51Z","snapshot_observed_at":"2026-07-06T20:06:35.280407Z","submitted_at":"2024-12-13T14:27:51Z","title":"Keep It Simple: Towards Accurate Vulnerability Detection for Large Code Graphs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.10164","snapshot_observed_at":"2026-08-01T08:19:01.240236Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:01.240236Z"},"links":{"cited_paper":"/paper/2412.10164","citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:1f570be4b7843e7b9d8003aef36a70b19eae312313846b74e6ba680376236ab6","observation_id":"2a584d46-ff35-4a1b-b73b-0b0328fef5fe","resolution":{"observed_at":"2026-08-01T08:19:01.240236Z","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.3390/app15126651","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Applied Sciences","work_id":"ce123b27-a979-4394-964d-797486088183","year":2025},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:01.393040Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:b24e8ed9a848f84da024425bcdfd74bc3af02f01793189d4869878abbbf948f5","observation_id":"7312acc2-9126-4016-b7f5-751c07789c71","resolution":{"observed_at":"2026-08-01T08:24:13.929498Z","resolver_source":"doi","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":"10.1145/199448","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"147cec22-b50e-4211-ae9d-e7247467d994","year":1995},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:01.496669Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:3d4187a02dd58778a2d71d7274399c79115b3db6793b6c98902b6e117b09cf74","observation_id":"0dafaf23-74a1-459e-b257-c019931ee9ad","resolution":{"observed_at":"2026-08-01T08:24:13.762484Z","resolver_source":"doi","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:19:01.625179Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:01.625179Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:e4987a0d33fbc4825e1cf4438e6596751e13e40571a98796ef0c3a2761a2da20","observation_id":"b3dd4797-c20e-4400-8542-877a7dadec54","resolution":{"observed_at":"2026-08-01T08:19:01.625179Z","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-01T08:19:01.750795Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:01.750795Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:3fc0ded61e50e6159d84dc400015813e6ab80e6db473344b52f8d89a130ab2cd","observation_id":"80f9620a-cff3-4df7-b004-8b42e6669fac","resolution":{"observed_at":"2026-08-01T08:19:01.750795Z","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-01T08:19:01.847690Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:01.847690Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:a377f76ea551c9027ab7b1e67c8f277e4b678deb46dacefec3f5253114200085","observation_id":"3dddd843-0198-45ca-83b6-ff7b3a04db4b","resolution":{"observed_at":"2026-08-01T08:19:01.847690Z","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-01T08:19:01.954267Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:01.954267Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:6328f77e127e2113f9ab0e0d33207be72bf1c8ec98907d71ad2bf7a8c6e2efb5","observation_id":"63e735c2-5225-4c99-bb42-722250a713af","resolution":{"observed_at":"2026-08-01T08:19:01.954267Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.16185","last_updated":"2025-06-07T17:03:11Z","snapshot_observed_at":"2026-08-04T22:35:18.426928Z","submitted_at":"2024-01-29T14:32:27Z","title":"LLM4Vuln: A Unified Evaluation Framework for Decoupling and Enhancing LLMs' Vulnerability Reasoning","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.16185","snapshot_observed_at":"2026-08-01T08:19:02.194716Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:02.194716Z"},"links":{"cited_paper":"/paper/2401.16185","citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:8f273f66908f713a22e5fb9dbf463d192545579858ddc784e5caa09a9ff25e0b","observation_id":"4915af55-0c06-42ca-91e3-c176a5ed32a9","resolution":{"observed_at":"2026-08-01T08:19:02.194716Z","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-01T08:19:02.291097Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:02.291097Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:00f38b3eae12683d3e2b23e1d5b03dc3cf81eac8d2f22fe337097e011dd19a20","observation_id":"e4120ced-7f98-4dde-84b0-4f0dbbbbb3d1","resolution":{"observed_at":"2026-08-01T08:19:02.291097Z","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-01T08:19:02.381298Z","title":null,"venue":null,"work_id":null,"year":1972},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:02.381298Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:4ae5442ca78fd4911bd1c780262cbe8ccb1254d8dcdb75863cec84b10da44058","observation_id":"7c85af79-fe79-4555-b79a-db4c192b08ac","resolution":{"observed_at":"2026-08-01T08:19:02.381298Z","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-01T08:19:02.497961Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:02.497961Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:6399420b272ffd93ad2f59a55dce8503c90f1e3f217818579db0431c66f15253","observation_id":"75dac01f-53c6-42e9-bf75-d5ffda196db0","resolution":{"observed_at":"2026-08-01T08:19:02.497961Z","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-01T08:19:02.607573Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:02.607573Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:dbe86a03139a859e66a8306e204db84a1883489d5cd81bfd79a019acca673e6b","observation_id":"d22df12f-de46-4b1a-a473-cf9a7eec39c4","resolution":{"observed_at":"2026-08-01T08:19:02.607573Z","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/3786795","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"ACM Transactions on Software Engineering and Methodology","work_id":"d2048082-e5c3-417f-9a0e-594c8bad8a2c","year":2026},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:02.757830Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:be3912dcf518dc1a16a76492fc6d7012862bfc3077fcc764b5278f60ffc5497f","observation_id":"9c23fb78-a3c9-4441-ba62-2953afc9993d","resolution":{"observed_at":"2026-08-01T08:24:13.574546Z","resolver_source":"doi","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:19:02.873274Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:02.873274Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:4394c1cdaccb7c0a1cc9174838889090e432ff11adde4d0da656c53e9ebb47d3","observation_id":"b57ba9a8-4bda-4368-a23d-615929a8a357","resolution":{"observed_at":"2026-08-01T08:19:02.873274Z","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.1007/s10515-025-00529-1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Automated Software Engineering","work_id":"80e950de-f7b6-44c7-b99f-5164961a5e1a","year":2025},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:02.998216Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:b61fee51d5c5047a3481d74eaf8ebcbf1cc2b64210be793df75ddbac9771dfe0","observation_id":"a80be65e-95cb-4f82-8220-99caccc01276","resolution":{"observed_at":"2026-08-01T08:24:13.464307Z","resolver_source":"doi","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:19:03.114278Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:03.114278Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:86819296e3be7f0ab8774be3fb76c262e21324622e16fde6d872774cbad4f64e","observation_id":"10074e51-560d-4f7f-a1b1-db7854982c24","resolution":{"observed_at":"2026-08-01T08:19:03.114278Z","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-01T08:19:03.282315Z","title":"Chi, Quoc V","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:03.282315Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:05aa404b298f38c377ff54a65ab6c4efcd440d56d2ab46df10c5d74eee1bde3c","observation_id":"927b8ca4-8a67-4ed3-9896-5b2397d5a815","resolution":{"observed_at":"2026-08-01T08:19:03.282315Z","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-01T08:19:03.395046Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:03.395046Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:5fe61f7c7d246752c1afcac19d473ec637e9d8d548bcde094dfe55beafee5ab5","observation_id":"081ada4f-6066-42fd-933b-29a4a7f3ff72","resolution":{"observed_at":"2026-08-01T08:19:03.395046Z","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/3728918","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on software engineering.","work_id":"7a4b228f-6ff6-4765-ae3a-3a309b7fdf9f","year":2025},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:03.506012Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:2372b1c58cfb2416bd3b655ebd83dc5c78d14f35bd83664d1cf5d4c86be5f074","observation_id":"97eb6f29-0ee5-4fa4-9f4f-518dbdcaf5c1","resolution":{"observed_at":"2026-08-01T08:24:13.323401Z","resolver_source":"doi","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:19:03.626211Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:03.626211Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:4ebcf3f20b3bbf8dc921e3d2e516ec1b5018a783af707a2b03655a46c1996879","observation_id":"58dc01cd-6388-4726-af6d-9c94bf840f9d","resolution":{"observed_at":"2026-08-01T08:19:03.626211Z","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-01T08:19:03.773657Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:03.773657Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:4beb19d3a15c67506f853cf0955e69d317b9a87880061f7bd4e10bcda9d4c609","observation_id":"3d0ea128-0f31-43eb-8f86-e130dcf40b10","resolution":{"observed_at":"2026-08-01T08:19:03.773657Z","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-01T08:19:03.906324Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:03.906324Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:447762515a21e414063a019bb77eb1dd2dc810ef0d8de7611567601bdf717749","observation_id":"dd2b2c9c-4798-413e-9815-28f2d8df92d0","resolution":{"observed_at":"2026-08-01T08:19:03.906324Z","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/2629536","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"ACM Transactions on Software Engineering and Methodology","work_id":"788223d8-423b-4db9-93a4-edddfe384f49","year":2014},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:04.045446Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:7c34853449567ee1ffbbe71978d9be84837784c7b51fb268d2d1913697f0c47c","observation_id":"dd72c8be-b9a8-4e43-9258-f13e43cc0d54","resolution":{"observed_at":"2026-08-01T08:24:13.199625Z","resolver_source":"doi","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":"10.1109/dsn.2017.57","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"3956be3c-c13f-4fed-a733-1d9b908c0a88","year":2017},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:04.114769Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:7cc8e9ea8df1c70a0013eadd7a6a06ea02d623c366eb5f3752ac9716d53cf070","observation_id":"cb17ed32-703c-4f1c-a676-769be911bd6e","resolution":{"observed_at":"2026-08-01T08:24:13.071046Z","resolver_source":"doi","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:19:04.201578Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:04.201578Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:16e07acb439d6c8568b79a60ff50aa7ba06ae490d83863b0bfce0d678b4ec3d8","observation_id":"32e93f47-784a-4a5e-8018-e3b3ea7058bd","resolution":{"observed_at":"2026-08-01T08:19:04.201578Z","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.1007/s10958-024-07424-2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Yegorov, E","venue":"Journal of Mathematical Sciences","work_id":"637cdbc6-6dab-49c0-b1ea-9c4867c3fdaa","year":2024},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:04.307827Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:de52cc68bfab5cfa6d1c846e47c22cac49f0216757a76d906827f58f39db4379","observation_id":"fd894895-8dc7-413e-92bf-48e73d486e2f","resolution":{"observed_at":"2026-08-01T08:24:12.913183Z","resolver_source":"doi","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":"10.1145/3656443","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"5f72123c-d019-4d88-82cb-2d833ced055c","year":2024},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:04.379664Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:87210b56e98d0a6a0adf30b734d2cc6cc7e2c2983d17427d52bb011a4daf532f","observation_id":"d3dc7416-63e1-44f4-a3c6-b5409d99e063","resolution":{"observed_at":"2026-08-01T08:24:12.754074Z","resolver_source":"doi","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:19:04.409752Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:04.409752Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:b1beb15a15d15a67b697d8f95e66bf35f2b32ff982ee56372e7175903654e62c","observation_id":"0161344a-76ca-48dc-835c-b7ff7739c189","resolution":{"observed_at":"2026-08-01T08:19:04.409752Z","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-01T08:19:04.490316Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:04.490316Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:15b061b7418c4b34fb1b3894cc97909b25670aeb9e061e2ddfbf748378333ddb","observation_id":"e5ca5639-2dc2-4c54-8a5c-ab18e2a2b07f","resolution":{"observed_at":"2026-08-01T08:19:04.490316Z","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-01T08:19:02.077658Z","title":"arXiv:2512.21238 [cs.SE] https: ACM Trans","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:02.077658Z"},"links":{"citing_paper":"/paper/2607.21676"},"observation_digest":"sha256:84b4771eacbe337166d37480fb1842ecebfb6bc8ba366444e3f88010459fbeed","observation_id":"ff86defb-cf5e-4b47-ae88-e368098e5db9","resolution":{"observed_at":"2026-08-01T08:19:02.077658Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.21676","last_updated":"2026-07-23T10:54:56Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-01T08:18:50.421834Z","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE"},"reference_resolution":{"displayed":91,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":75,"verified_exact":14,"verified_fuzzy":0},"total_outbound_references":91},"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 9 August 2026, this Paper Citation Record lists 91 of 91 outbound references and 0 inbound Pith citation observations for arXiv:2607.21676."}