{"as_of":"2026-08-09T11:59:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6ec49c033db27dc21667fc9c1c9ca23b98deb074b5835324ec77318717feedbe","coverage":[{"denominator":182,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-09T05:32:24.276006Z","state":"measured"},{"denominator":108,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":108,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":8,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":8,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T11:21:38.174929Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-07-09T00:45:49.140822Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.18474","snapshot_observed_at":"2026-08-06T11:21:38.174929Z","title":"A contemporary survey of large language model assisted program analysis,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.22772","last_updated":"2025-07-30T15:35:51Z","snapshot_observed_at":"2026-08-06T19:36:26.365218Z","submitted_at":"2025-07-30T15:35:51Z","title":"Empirical Evaluation of Concept Drift in ML-Based Android Malware Detection","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T11:21:38.174929Z"},"links":{"cited_paper":"/paper/2502.18474","citing_paper":"/paper/2507.22772"},"observation_digest":"sha256:e534f3cfb2f926a9bb5135bbc208cda6006b3371d82781d45d908005845bdb82","observation_id":"2cf6fce8-d3dd-4291-b963-e28dc87af75f","resolution":{"observed_at":"2026-08-06T11:21:38.174929Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.18474","snapshot_observed_at":"2026-08-05T16:20:46.964121Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.18721","last_updated":"2025-09-03T14:34:30Z","snapshot_observed_at":"2026-08-08T04:52:35.687709Z","submitted_at":"2025-08-26T06:38:38Z","title":"LLM as an Execution Estimator: Recovering Missing Dependency for Practical Time-travelling Debugging","version":5},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:46.964121Z"},"links":{"cited_paper":"/paper/2502.18474","citing_paper":"/paper/2508.18721"},"observation_digest":"sha256:9e746fa8a9d157f7b2cebe16b99de7efa303e8c204e20d2ff6bd40576e6d02e0","observation_id":"5fb83f76-c932-4c18-b4b0-95b646a4152b","resolution":{"observed_at":"2026-08-05T16:20:46.964121Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.18474","snapshot_observed_at":"2026-08-03T16:42:14.026126Z","title":"$ ( pwd ) :/ work","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.12507","last_updated":"2026-07-26T21:30:50Z","snapshot_observed_at":"2026-08-06T19:36:27.056447Z","submitted_at":"2025-12-14T01:11:11Z","title":"ATLAS: Multi-View Code Representation Tool for C and C++ Source Programs","version":5},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-03T16:42:14.026126Z"},"links":{"cited_paper":"/paper/2502.18474","citing_paper":"/paper/2512.12507"},"observation_digest":"sha256:851cb58ac983948cd9c18afb5377b7758285e0bd99756039ff993dc21c8bd30f","observation_id":"3060c0d0-fd5e-436a-8627-5b9ed847f0cf","resolution":{"observed_at":"2026-08-03T16:42:14.026126Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"cited_work":{"arxiv_id":"2502.18474","doi":null,"metadata_source":"pith","pith_arxiv_id":"2502.18474","snapshot_observed_at":"2026-07-09T00:45:49.140822Z","title":"arXiv preprint arXiv:2502.18474 (2025)","venue":"cs.SE","work_id":"4a1b7bf5-44b3-440b-8e98-2aa12e92f2a1","year":2025},"citing_paper":{"arxiv_id":"2604.27283","last_updated":"2026-04-30T00:32:53Z","snapshot_observed_at":"2026-07-06T23:12:47.745700Z","submitted_at":"2026-04-30T00:32:53Z","title":"Learning When to Remember: Risk-Sensitive Contextual Bandits for Abstention-Aware Memory Retrieval in LLM-Based Coding Agents","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-07T08:03:11.421470Z"},"links":{"cited_paper":"/paper/2502.18474","citing_paper":"/paper/2604.27283"},"observation_digest":"sha256:7a977df3d1466015af7865ae6e229e67b417dc29760602cea0cef0382c87d408","observation_id":"e66ee93b-bbe2-4223-91bb-90aad6cccaa6","resolution":{"observed_at":"2026-05-12T10:06:27.233490Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"cited_work":{"arxiv_id":"2502.18474","doi":null,"metadata_source":"pith","pith_arxiv_id":"2502.18474","snapshot_observed_at":"2026-07-09T00:45:49.140822Z","title":"arXiv preprint arXiv:2502.18474 (2025)","venue":"cs.SE","work_id":"4a1b7bf5-44b3-440b-8e98-2aa12e92f2a1","year":2025},"citing_paper":{"arxiv_id":"2605.28602","last_updated":"2026-05-27T15:18:45Z","snapshot_observed_at":"2026-07-06T23:38:09.179597Z","submitted_at":"2026-05-27T15:18:45Z","title":"Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-06-29T11:50:10.442661Z"},"links":{"cited_paper":"/paper/2502.18474","citing_paper":"/paper/2605.28602"},"observation_digest":"sha256:1e4898dca2995849941afc68676b993cbf359a9218754bc526e40218a89f317a","observation_id":"4ce2aa37-7f7f-49a9-a54d-f3e5c2a2fc5c","resolution":{"observed_at":"2026-06-29T11:53:23.728771Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"cited_work":{"arxiv_id":"2502.18474","doi":null,"metadata_source":"pith","pith_arxiv_id":"2502.18474","snapshot_observed_at":"2026-07-09T00:45:49.140822Z","title":"arXiv preprint arXiv:2502.18474 (2025)","venue":"cs.SE","work_id":"4a1b7bf5-44b3-440b-8e98-2aa12e92f2a1","year":2025},"citing_paper":{"arxiv_id":"2607.05772","last_updated":"2026-07-07T02:54:46Z","snapshot_observed_at":"2026-08-07T06:45:34.017192Z","submitted_at":"2026-07-07T02:54:46Z","title":"Detecting Vulnerability-Inducing Commits via Multi-Stage Reasoning with LLM-Based Agents","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-09T00:44:40.966801Z"},"links":{"cited_paper":"/paper/2502.18474","citing_paper":"/paper/2607.05772"},"observation_digest":"sha256:57c92587e07d15b65484e51d01d689209e991d50073403d3446f2250298a4897","observation_id":"06eb42ff-2a7c-4b34-af2f-3c89b0daf26d","resolution":{"observed_at":"2026-07-09T00:45:49.142012Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.18474","snapshot_observed_at":"2026-08-02T06:39:54.630323Z","title":"A contemporary survey of large language model assisted program analysis,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.12308","last_updated":"2026-07-15T01:34:32Z","snapshot_observed_at":"2026-08-09T09:58:49.390687Z","submitted_at":"2026-07-14T03:31:14Z","title":"Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-02T06:39:54.630323Z"},"links":{"cited_paper":"/paper/2502.18474","citing_paper":"/paper/2607.12308"},"observation_digest":"sha256:10dc4379a744e6a8f19cfd66cfa3b933dd1a4fa42c836d6884d71d6762312f84","observation_id":"aac4879f-db81-4372-8ca2-23371fe3ec05","resolution":{"observed_at":"2026-08-02T06:39:54.630323Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.18474","snapshot_observed_at":"2026-07-31T23:55:34.759326Z","title":"arXiv preprint arXiv:2502.18474 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23292","last_updated":"2026-07-25T17:03:33Z","snapshot_observed_at":"2026-08-08T22:08:57.724761Z","submitted_at":"2026-07-25T17:03:33Z","title":"Hiding in Plain Sight: An Effective Physical Adversarial Patch Attack against Visual-Infrared Fused Face Detection","version":1},"reference_index":106,"source":"arxiv_source","source_observed_at":"2026-07-31T23:55:34.759326Z"},"links":{"cited_paper":"/paper/2502.18474","citing_paper":"/paper/2607.23292"},"observation_digest":"sha256:cd09daba4e503df6d6162785edc99194d290af2dd8c3fa16128d3f6326382551","observation_id":"eaecbda1-1226-428c-8a67-3a46b130ca3c","resolution":{"observed_at":"2026-07-31T23:55:34.759326Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2502.18474/citation-record","integrity":"/paper/2502.18474/integrity","json":"/paper/2502.18474/citation-record.json","paper":"/paper/2502.18474"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T05:32:22.978588Z","title":"Challenges in software evolution,","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:22.978588Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:7370af3274f8729c83864863fe71c9f0a4d76eed039969ed950f5848bf8b61bd","observation_id":"f9a1f11e-afe2-4a24-a763-81709e1d983e","resolution":{"observed_at":"2026-08-09T05:32:22.978588Z","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-09T05:32:22.984754Z","title":"Clorifi: software vulnerability discovery using code clone verification,","venue":null,"work_id":null,"year":1900},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:22.984754Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:8767ca028dd540b52d3ee97e3652180844f4b9062846aac351498d9d132bd40b","observation_id":"9c8dce4a-757d-4a31-8416-503b1f4865fb","resolution":{"observed_at":"2026-08-09T05:32:22.984754Z","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-09T05:32:22.990283Z","title":"Integrating static and dynamic analysis for detecting vulnerabilities,","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:22.990283Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:19274de5ccba81097f5d4973f237a9bd7d47b3a634b3a1cc4461eb87468919c6","observation_id":"8cbec5b8-cb79-4f90-b51d-8447d0a1248c","resolution":{"observed_at":"2026-08-09T05:32:22.990283Z","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-09T05:32:22.996010Z","title":"On the capability of static code analysis to detect security vulnerabilities,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:22.996010Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:dbd953387a4604dc5c5f9f74d3f59af84a656e5480da11cbe235c3370aa59698","observation_id":"ddcca004-2381-4fab-8c79-ad97b81561c3","resolution":{"observed_at":"2026-08-09T05:32:22.996010Z","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-09T05:32:23.001854Z","title":"Towards multi- language static code analysis,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.001854Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:dfd2fc836d4e02eb7a2f600712d4e1fd1ffaf9b77fe940dd9fc9d2cf262c76e4","observation_id":"c2ecb64f-2373-4f76-b0fe-884ad52a5889","resolution":{"observed_at":"2026-08-09T05:32:23.001854Z","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-09T05:32:23.007421Z","title":"Static analysis of source code vulnerability using machine learning techniques: A survey,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.007421Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:873ae80eded39ccc5f91dd42a13bada9314e2fd4fe958e2944dd71878f89f11f","observation_id":"7d87814e-c4db-428f-91f0-7c32c6f9e317","resolution":{"observed_at":"2026-08-09T05:32:23.007421Z","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-09T05:32:23.013626Z","title":"Machine learning methods for software vulnerability detection,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.013626Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:bd6b80ebb9b3b93b0fbdd16fae69d981ca11363b9049ded14fecf516c2c1f98e","observation_id":"ec913034-fb04-449f-ab9b-dc487d9778fd","resolution":{"observed_at":"2026-08-09T05:32:23.013626Z","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-09T05:32:23.040497Z","title":"Deepbugs: A learning approach to name-based bug detection,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.040497Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:3d40e1d6e16b1b123704872cff735831cd73c6d73343b8559d788c888c31f421","observation_id":"15786bc3-d3e9-4212-afbb-268b5d1b87bd","resolution":{"observed_at":"2026-08-09T05:32:23.040497Z","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-09T05:32:23.054349Z","title":"Interpreting deep learning-based vulnerability detector predictions based on heuristic searching,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.054349Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:baf8299e490bbe1bcf6eb01df499ae762aaef0d75a1091e40497665abd202850","observation_id":"ce877ee7-03ac-4728-84c1-857706948d55","resolution":{"observed_at":"2026-08-09T05:32:23.054349Z","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-09T05:32:23.089056Z","title":"Deep program structure modeling through multi-relational graph-based learning,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.089056Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:01acc705e8fb37db2124ffa011c52cbf41a91438f0c42c31bbff111e2d4701f8","observation_id":"d2f40be2-c46d-4de3-83ab-fb21f2f2fabf","resolution":{"observed_at":"2026-08-09T05:32:23.089056Z","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-09T05:32:23.123936Z","title":"Few-shot training llms for project-specific code-summarization,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.123936Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:3fffc2a8b792e5e93c22b00456e7f9a7bd924a1bd695b47d948fe565b9b2ec5c","observation_id":"cf0f4a8e-0d19-4eaf-8a1e-d00a361effa3","resolution":{"observed_at":"2026-08-09T05:32:23.123936Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.08165","last_updated":"2025-01-14T14:46:19Z","snapshot_observed_at":"2026-08-07T05:58:04.089167Z","submitted_at":"2025-01-14T14:46:19Z","title":"I Can Find You in Seconds! Leveraging Large Language Models for Code Authorship Attribution","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.08165","snapshot_observed_at":"2026-08-09T05:32:23.154659Z","title":"I can find you in sec- onds! leveraging large language models for code authorship attribution,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.154659Z"},"links":{"cited_paper":"/paper/2501.08165","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:3fdd5a3dbe05ebd0c43a6d2cdcca717845066810e3576419cba4fdc5e620dfeb","observation_id":"a4056e45-a1f4-4bde-b8da-65e1cb31400a","resolution":{"observed_at":"2026-08-09T05:32:23.154659Z","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-09T05:32:23.200367Z","title":"Attributing chatgpt-generated source codes,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.200367Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:9acc431d5bc237de66ef14b5cfd1da45fbe0e79550310bd308f5e589d86ba6f8","observation_id":"f5ca84f2-2fe3-4f9b-afd2-33d9b0f4e34d","resolution":{"observed_at":"2026-08-09T05:32:23.200367Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.16739","last_updated":"2025-06-04T07:22:47Z","snapshot_observed_at":"2026-08-03T22:38:00.596602Z","submitted_at":"2023-09-28T06:22:59Z","title":"Pushing Large Language Models to the 6G Edge: Vision, Challenges, and Opportunities","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.16739","snapshot_observed_at":"2026-08-09T05:32:23.231023Z","title":"Pushing large language models to the 6g edge: Vision, chal- lenges, and opportunities,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.231023Z"},"links":{"cited_paper":"/paper/2309.16739","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:19ed8f908f080c36c162bbed7f6534c8b6f42c6ad8d1a6d457083fcca9de8c5a","observation_id":"72614043-420f-43b5-af07-f046fc3bcc18","resolution":{"observed_at":"2026-08-09T05:32:23.231023Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.00952","last_updated":"2024-07-01T04:13:25Z","snapshot_observed_at":"2026-08-09T00:00:59.056808Z","submitted_at":"2024-07-01T04:13:25Z","title":"SplitLoRA: A Split Parameter-Efficient Fine-Tuning Framework for Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.00952","snapshot_observed_at":"2026-08-09T05:32:23.245736Z","title":"Splitlora: A split parameter- efficient fine-tuning framework for large language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.245736Z"},"links":{"cited_paper":"/paper/2407.00952","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:5d54202ae3e23bf66663f0f1f673e86874f4d0598c1e7847c13bf006d563cb8f","observation_id":"8aa9cf7b-160f-40e2-943d-db0463c18fa5","resolution":{"observed_at":"2026-08-09T05:32:23.245736Z","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-09T05:32:23.258959Z","title":"Impact of big data analytics and chat- gpt on cybersecurity,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.258959Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:f921e29b1dccc5645518e8d58a1159d8bfa580448b30dfac76b8b3f1fbc408d9","observation_id":"9b1a8f4a-863e-4168-90c1-c6ac3b959523","resolution":{"observed_at":"2026-08-09T05:32:23.258959Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.14815","last_updated":"2024-12-19T13:09:46Z","snapshot_observed_at":"2026-07-06T20:10:04.155304Z","submitted_at":"2024-12-19T13:09:46Z","title":"Non-intrusive and Unconstrained Keystroke Inference in VR Platforms via Infrared Side Channel","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.14815","snapshot_observed_at":"2026-08-09T05:32:23.265319Z","title":"Non-intrusive and unconstrained keystroke inference in vr platforms via infrared side channel,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.265319Z"},"links":{"cited_paper":"/paper/2412.14815","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:e616d614d2bbe0ee29cf9b63f9eb22a6fe18fff86c207c38c8f3b18c71dd76fd","observation_id":"9595634f-fdef-49f8-aae7-4dc2e5661a4c","resolution":{"observed_at":"2026-08-09T05:32:23.265319Z","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-09T05:32:23.273774Z","title":"Recovering fingerprints from in-display fingerprint sensors via electromagnetic side chan- nel,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.273774Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:155d1d4b2c55bde2995e16169e7b748cf26773ca291e6fb6a5d34c94656babeb","observation_id":"209f26fe-668d-4a4f-b6b7-7da2a0338559","resolution":{"observed_at":"2026-08-09T05:32:23.273774Z","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-09T05:32:23.279415Z","title":"Uncovering user interactions on smartphones via contactless wireless charging side channels,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.279415Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:2aba9bd3fffc047dfbc67882561392c6ce677d4a64fa3522883aad0ee070c5f6","observation_id":"35f1bea7-3831-4b40-8a7c-d4f63bc94270","resolution":{"observed_at":"2026-08-09T05:32:23.279415Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.06448","last_updated":"2024-12-06T07:10:30Z","snapshot_observed_at":"2026-07-06T17:57:52.364338Z","submitted_at":"2024-04-09T16:50:30Z","title":"Automated Federated Pipeline for Parameter-Efficient Fine-Tuning of Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.06448","snapshot_observed_at":"2026-08-09T05:32:23.285294Z","title":"Au- tomated federated pipeline for parameter-efficient fine-tuning of large language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.285294Z"},"links":{"cited_paper":"/paper/2404.06448","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:abd4af472ba72a91d49072adb03cf6e95d76a2e36b57233f7d509682a96b69ce","observation_id":"02289aab-2c12-4a1a-bde4-d2b5360162cd","resolution":{"observed_at":"2026-08-09T05:32:23.285294Z","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-09T05:32:23.290990Z","title":"Nielson, H","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.290990Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:500f392733299e2f8d2ed1aa86bd091c447d34638ba9724a55762605341b5522","observation_id":"69a21c99-4f3a-4662-895d-298254d47690","resolution":{"observed_at":"2026-08-09T05:32:23.290990Z","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-09T05:32:23.295989Z","title":"Automated techniques and tools for program analysis: Survey,","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.295989Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:81ef35507cf53b6950f2f219d9543652a12735444e2bcdeb077eb3a4ee27507d","observation_id":"504c6f0d-ad76-4769-b03d-0e9cbc017840","resolution":{"observed_at":"2026-08-09T05:32:23.295989Z","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-09T05:32:23.301352Z","title":"Instrumentation of java program code for control flow analysis,","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.301352Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:7398d12facff139265a3b3382ccdd442a50a14b5b7a0ac9020f7d57747f6edb1","observation_id":"6fe313fa-a1db-493e-be14-a961f5995639","resolution":{"observed_at":"2026-08-09T05:32:23.301352Z","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-09T05:32:23.306600Z","title":"Attention is all you need,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.306600Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:4a406176ef44d754722684c4f04533ae3c968150f05429cbf38a73a0d3e6c278","observation_id":"458b3d62-2d99-4ce0-a4f7-130eb964e1ab","resolution":{"observed_at":"2026-08-09T05:32:23.306600Z","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-09T05:32:23.311161Z","title":"Large language models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.311161Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:af762e60eda4cafe58dc10cb42d53b647f135f41ddef19c1d2ee513d2c7400e6","observation_id":"96a897b2-e945-4d74-a483-f5bb008b75dc","resolution":{"observed_at":"2026-08-09T05:32:23.311161Z","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-09T05:32:23.326163Z","title":"Codellama: Open code-focused language models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.326163Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:c507756ce32420b6ca79f254f80274ab4aedd2e8e3644dde9a0d8393540ed5b5","observation_id":"236a6ff4-b816-4fed-8b39-9c56e9609ce3","resolution":{"observed_at":"2026-08-09T05:32:23.326163Z","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-09T05:32:23.330806Z","title":"Language models are few-shot learners,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.330806Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:bd37d3fd16d3758db3404b0802b4fe7ba91bd77b539ec5da2f25afc0b66c94f3","observation_id":"82dc1ee6-b0a5-4470-a6a0-f13802486e0a","resolution":{"observed_at":"2026-08-09T05:32:23.330806Z","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-09T05:32:23.335601Z","title":"Gpt-4 technical report,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.335601Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:d1497e9ae4e097c49a57480da5a059a1fe7ab770d4178800a7cd0ef4279f4f64","observation_id":"3e303f8e-07e9-4523-b7cb-58eba7accb78","resolution":{"observed_at":"2026-08-09T05:32:23.335601Z","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-09T05:32:23.340782Z","title":"The hitchhiker’s guide to program analysis: A journey with large language models,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.340782Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:ac1916fd9a8f0f4a3337d50c9a85c7be293f28b1c011b86da2f958e5147af628","observation_id":"bdf98119-e8bc-4390-8149-363aa3f78260","resolution":{"observed_at":"2026-08-09T05:32:23.340782Z","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-09T05:32:23.351350Z","title":"Detecting command injection vulnerabilities in linux-based embedded firmware with llm-based taint analysis of library functions,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.351350Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:cd72c8a1b1c69942157e374e28d88cf734ddbb7b3e3b1be40df4ab2b60bc1a7c","observation_id":"5a4b7cf4-06b7-4d86-bdd1-806e3f0d4ea6","resolution":{"observed_at":"2026-08-09T05:32:23.351350Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.00245","last_updated":"2023-11-15T21:02:47Z","snapshot_observed_at":"2026-07-06T16:01:03.635085Z","submitted_at":"2023-08-01T02:57:43Z","title":"The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.00245","snapshot_observed_at":"2026-08-09T05:32:23.345890Z","title":"Available: https://arxiv.org/abs/2308.00245","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.345890Z"},"links":{"cited_paper":"/paper/2308.00245","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:d3bdd6e9655712abe724ce56625b17422fa4f788c83de56a64254f673cde1fc1","observation_id":"62aebb42-7a0e-49b4-9792-4cd7e0235000","resolution":{"observed_at":"2026-08-09T05:32:23.345890Z","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-09T05:32:23.361102Z","title":"Detecting kernel memory bugs through inconsistent memory management intention inferences,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.361102Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:82a1b85872f813625566a60293730f4b180901fa601b0da7dfebb1a92ae26fab","observation_id":"ce94a86a-e995-47af-af75-220cd008ef33","resolution":{"observed_at":"2026-08-09T05:32:23.361102Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.08275","last_updated":"2025-01-09T02:31:37Z","snapshot_observed_at":"2026-07-06T16:31:52.204065Z","submitted_at":"2023-10-12T12:24:52Z","title":"Harnessing the Power of LLM to Support Binary Taint Analysis","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.08275","snapshot_observed_at":"2026-08-09T05:32:23.356227Z","title":"Harnessing the power of llm to support binary taint analysis,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.356227Z"},"links":{"cited_paper":"/paper/2310.08275","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:2a19d877203c134d5b2c2c3f8b0d944a6401280f14c051c84ce2b0fa6608018c","observation_id":"3d2a2e28-4f30-42d2-8f7b-3c9d7623ca33","resolution":{"observed_at":"2026-08-09T05:32:23.356227Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.17238","last_updated":"2025-04-06T23:46:59Z","snapshot_observed_at":"2026-07-06T18:20:35.626876Z","submitted_at":"2024-05-27T14:53:35Z","title":"IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.17238","snapshot_observed_at":"2026-08-09T05:32:23.402571Z","title":"Llm-assisted static analysis for detecting security vulnerabilities,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.402571Z"},"links":{"cited_paper":"/paper/2405.17238","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:95d5cff8e5de8e50707d72fb498c78a0fbe3cec574f9ce9d91a05dab0629baa1","observation_id":"4402068b-f551-434a-a31a-3183ac2eaf50","resolution":{"observed_at":"2026-08-09T05:32:23.402571Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.07321","last_updated":"2025-08-14T09:00:40Z","snapshot_observed_at":"2026-08-03T15:09:15.047625Z","submitted_at":"2024-08-14T06:43:06Z","title":"VERCATION: Precise Vulnerable Open-source Software Version Identification based on Static Analysis and LLM","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.07321","snapshot_observed_at":"2026-08-09T05:32:23.431236Z","title":"Llm-enhanced static analysis for precise identification of vulnerable oss versions,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.431236Z"},"links":{"cited_paper":"/paper/2408.07321","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:55c5a465e6bf87374187f3d48954ed38057609ad06bcc0d336e23d68f51aebbb","observation_id":"1d8e8eb6-04d5-4d51-990f-6211c563c721","resolution":{"observed_at":"2026-08-09T05:32:23.431236Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.15324","last_updated":"2023-09-27T00:10:29Z","snapshot_observed_at":"2026-08-06T11:36:27.233789Z","submitted_at":"2023-09-27T00:10:29Z","title":"DefectHunter: A Novel LLM-Driven Boosted-Conformer-based Code Vulnerability Detection Mechanism","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.15324","snapshot_observed_at":"2026-08-09T05:32:23.376568Z","title":"Defecthunter: A novel llm-driven boosted-conformer-based code vulnerability detection mechanism,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.376568Z"},"links":{"cited_paper":"/paper/2309.15324","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:538188f68c46153cee3fc222e1a3f7a58d30d2c6c2bb692b94562d3a53d1f78c","observation_id":"2376571a-acfd-4168-b163-8e42c34f6091","resolution":{"observed_at":"2026-08-09T05:32:23.376568Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.05892","last_updated":"2024-06-09T19:18:05Z","snapshot_observed_at":"2026-07-06T18:27:50.189771Z","submitted_at":"2024-06-09T19:18:05Z","title":"Security Vulnerability Detection with Multitask Self-Instructed Fine-Tuning of Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.05892","snapshot_observed_at":"2026-08-09T05:32:23.486285Z","title":"Security vulnerability detection with multitask self-instructed fine-tuning of large language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.486285Z"},"links":{"cited_paper":"/paper/2406.05892","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:ff3c9b2bee6fd16dcf93910892f520364bd920a8cfce8fd52a100530720cb5d9","observation_id":"0270df8f-6280-467f-959a-279fdf56e448","resolution":{"observed_at":"2026-08-09T05:32:23.486285Z","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":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T05:32:29.350648Z","title":"Gptscan: Detecting logic vulnerabilities in smart contracts by combining gpt with program analysis,","venue":null,"work_id":"a2593d4f-4d52-4ee1-884b-87066aafd2cf","year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.501797Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:a185ae2538523d2ceb3585e4ee050d42ff0d54b0dbb0f816b8ad651bee8231a1","observation_id":"c2116195-a8f2-4681-b45a-2a4cdef6bcdd","resolution":{"observed_at":"2026-08-09T05:32:29.355969Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.14274","last_updated":"2024-05-18T14:53:22Z","snapshot_observed_at":"2026-08-03T16:39:42.048852Z","submitted_at":"2024-03-21T10:28:18Z","title":"Multi-role Consensus through LLMs Discussions for Vulnerability Detection","version":4},"cited_work":{"arxiv_id":"2403.14274","doi":null,"metadata_source":"pith","pith_arxiv_id":"2403.14274","snapshot_observed_at":"2026-08-09T05:32:29.390799Z","title":"Multi-role Consensus through LLMs Discussions for Vulnerability Detection","venue":"cs.SE","work_id":"be5c676e-d8c7-4b86-9bf2-1444f1e75837","year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.459693Z"},"links":{"cited_paper":"/paper/2403.14274","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:962bf12d067a892f684f5f94d836bf31f265f2956592c3e2e41ca78bd395a8b1","observation_id":"89a3c5a1-19b2-453a-bd96-730a93f916f6","resolution":{"observed_at":"2026-08-09T05:32:29.396083Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.01269","last_updated":"2024-02-13T17:56:24Z","snapshot_observed_at":"2026-07-06T17:10:52.289224Z","submitted_at":"2024-01-02T16:14:30Z","title":"LLbezpeky: Leveraging Large Language Models for Vulnerability Detection","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.01269","snapshot_observed_at":"2026-08-09T05:32:23.511479Z","title":"Llbezpeky: Leveraging large language models for vulnerability detection,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.511479Z"},"links":{"cited_paper":"/paper/2401.01269","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:c7a5bacc215acce3666a4ece95af0b85a62af477c574232cf5b376357de42848","observation_id":"6c57bc83-78d5-451d-826c-34d49749b39d","resolution":{"observed_at":"2026-08-09T05:32:23.511479Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.18532","last_updated":"2023-12-18T02:23:19Z","snapshot_observed_at":"2026-07-06T16:39:44.572167Z","submitted_at":"2023-10-27T23:17:42Z","title":"SkipAnalyzer: A Tool for Static Code Analysis with Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.18532","snapshot_observed_at":"2026-08-09T05:32:23.516176Z","title":"Skipanalyzer: A tool for static code analysis with large language models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.516176Z"},"links":{"cited_paper":"/paper/2310.18532","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:36ba43d1ebce8ab577cef37e6eae02ae80d517fbc645c5cbd7de8258a0af75b5","observation_id":"4dea4233-334c-482b-ac43-00dedf0a993d","resolution":{"observed_at":"2026-08-09T05:32:23.516176Z","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/978-981-99-7584-6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T05:32:25.390090Z","title":"Iot software vulnerability detection techniques through large language model,","venue":null,"work_id":"d53eaf29-7010-4a2f-9391-2312008932ea","year":2023},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.506727Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:6ae4023a129ecbdc4278347a8143bb083ddba81cedf0162bd8c55551de670535","observation_id":"a4bbc742-f05e-4f9d-a5ce-af24b7a12506","resolution":{"observed_at":"2026-08-09T05:32:25.395664Z","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-09T05:32:23.526600Z","title":"Prompt- enhanced software vulnerability detection using chatgpt,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.526600Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:6f14db33e46765c85008396c1a10080e35f383e58d30616f011b0fcab094c98e","observation_id":"4b91dedd-5688-4ec3-998d-dff71f4f94bd","resolution":{"observed_at":"2026-08-09T05:32:23.526600Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.01152","last_updated":"2023-10-16T19:34:39Z","snapshot_observed_at":"2026-08-05T08:41:06.995575Z","submitted_at":"2023-10-02T12:37:23Z","title":"Large Language Model-Powered Smart Contract Vulnerability Detection: New Perspectives","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.01152","snapshot_observed_at":"2026-08-09T05:32:23.536439Z","title":"Large language model-powered smart contract vulnerability detection: New perspectives,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.536439Z"},"links":{"cited_paper":"/paper/2310.01152","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:39fe1d74fcce5f7719f393495c908f7bc6e3e16dc22612593b69430fa543eae6","observation_id":"de7b023b-b7c3-4138-b261-b6889b1a8e01","resolution":{"observed_at":"2026-08-09T05:32:23.536439Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.06037","last_updated":"2024-08-12T09:59:47Z","snapshot_observed_at":"2026-08-05T18:50:48.291204Z","submitted_at":"2024-08-12T09:59:47Z","title":"Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.06037","snapshot_observed_at":"2026-08-09T05:32:23.521490Z","title":"Hyperion: Unveiling dapp inconsistencies using llm and dataflow-guided symbolic execution,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.521490Z"},"links":{"cited_paper":"/paper/2408.06037","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:a57cb95c6b951855ea53b6bba3a95b481bba3e084d1eb336fe43161727b5c973","observation_id":"3a4cc1da-b995-4a43-b7cf-323576089a20","resolution":{"observed_at":"2026-08-09T05:32:23.521490Z","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-09T05:32:23.546241Z","title":"Attention! your copied data is under monitoring: A systematic study of clipboard usage in android apps,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.546241Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:f9916678884cced42e5d83e6415d51b5d2ea36429aa0272a80a8e928ccbf446b","observation_id":"8cc68071-6ced-4311-b432-36b8452c005c","resolution":{"observed_at":"2026-08-09T05:32:23.546241Z","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-09T05:32:23.550562Z","title":"Detecting and measuring aggressive location harvesting in mobile apps via data-flow path embedding,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.550562Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:81e64df4c03ff643ae5284146a9469edc20fad249a6888a63acf0f34ff159479","observation_id":"f3779da4-bfa9-495d-b1c4-39baf9031b05","resolution":{"observed_at":"2026-08-09T05:32:23.550562Z","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-09T05:32:23.554803Z","title":"Geo-locating drivers: A study of sensitive data leakage in ride-hailing services,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.554803Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:39eaf80c478af28befc8ca5e100340f0cc7d05145d31fb9331685d11cfc2d550","observation_id":"990856c8-d744-4da2-9f87-91f9dd0d26c0","resolution":{"observed_at":"2026-08-09T05:32:23.554803Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.16043","last_updated":"2024-11-04T11:54:04Z","snapshot_observed_at":"2026-07-06T17:35:06.195492Z","submitted_at":"2024-02-25T09:52:02Z","title":"LuaTaint: A Static Analysis System for Web Configuration Interface Vulnerability of Internet of Things Devices","version":2},"cited_work":{"arxiv_id":"2402.16043","doi":null,"metadata_source":"pith","pith_arxiv_id":"2402.16043","snapshot_observed_at":"2026-08-09T05:32:29.003512Z","title":"LuaTaint: A Static Analysis System for Web Configuration Interface Vulnerability of Internet of Things Devices","venue":"cs.CR","work_id":"77a406ec-586f-4337-9277-a6fa01b247eb","year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.541357Z"},"links":{"cited_paper":"/paper/2402.16043","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:19d05876820ef9fe2b233cc0d51bd7979e1486a28e18093b75a4d059553beb2f","observation_id":"bbd19842-f3e3-4860-855f-3313d2052252","resolution":{"observed_at":"2026-08-09T05:32:29.009001Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T05:32:23.563472Z","title":"Eavesdropping mobile app activity via {Radio-Frequency} energy harvest- ing,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.563472Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:d1e82f18f9255ffec70793227129f8f3d978db149a44d739e7a6eaa7386356ae","observation_id":"448ab96b-46a9-4d37-b26e-f85546bd7f48","resolution":{"observed_at":"2026-08-09T05:32:23.563472Z","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-09T05:32:23.568042Z","title":"Exploiting contactless side channels in wireless charging power banks for user privacy inference via few-shot learning,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.568042Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:2d258c001cd5e4b7a31874c06abf756387e1bdfa8bd85eca7c140bd83826fb4f","observation_id":"c6ace4f7-4114-4589-9418-aea4f964eec3","resolution":{"observed_at":"2026-08-09T05:32:23.568042Z","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-09T05:32:23.572450Z","title":"Xporter: A study of the multi-port charger security on privacy leakage and voice injection,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.572450Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:eec48dbe73b81ecb4dab9994eae174674ec94a622931e20f8fd955c7fb2d7b8c","observation_id":"6da69b9c-12bf-4f0c-bc35-c99371116813","resolution":{"observed_at":"2026-08-09T05:32:23.572450Z","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-09T05:32:23.558859Z","title":"On the accuracy of measured proximity of bluetooth-based contact tracing apps,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.558859Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:ef3185c558fb407691de63e589b3355440ce5460b4eb70310c2b780cbd0c0b6e","observation_id":"273c00e2-0045-41e5-b821-4e4186587f9e","resolution":{"observed_at":"2026-08-09T05:32:23.558859Z","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-09T05:32:23.581810Z","title":"Automatic uncovering of hidden behaviors from input vali- dation in mobile apps,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.581810Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:a4be7ce60179f58503136a0ed37a186992cca192b7f992292b6f38d1a5d38ab0","observation_id":"774ef0b8-f9ff-436d-be29-bcf898c9dc75","resolution":{"observed_at":"2026-08-09T05:32:23.581810Z","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-09T05:32:23.586344Z","title":"Llama: Open and efficient foundation language models,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.586344Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:72392d8b349f2a6dcd4bac4fe559bfd0e5687e0ab873236471157e36ad0fac54","observation_id":"81fc4814-d2d7-4a0c-b506-b1d115d0d5d0","resolution":{"observed_at":"2026-08-09T05:32:23.586344Z","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-09T05:32:23.594793Z","title":"Itpatch: An invisible and triggered physical adver- sarial patch against traffic sign recognition,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.594793Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:c451126af15ae2278e24fc8dbcd9f4b6a48b1fc8e6a0132a660b5db2a3af7e8e","observation_id":"36e948b5-71cb-431f-b07a-2c6cf341dbc2","resolution":{"observed_at":"2026-08-09T05:32:23.594793Z","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-09T05:32:23.576971Z","title":"Sensor security in virtual reality: Exploration and mitigation,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.576971Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:24aae6fbb3d9f5eb1ee9536442a17164a0b4dff16b6b3529a09a1ce01e94b984","observation_id":"b5612471-5c11-4b85-8f47-8f88cee602e8","resolution":{"observed_at":"2026-08-09T05:32:23.576971Z","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-09T05:32:23.604205Z","title":"Periscope: Compre- hensive vulnerability analysis of mobile app-defined bluetooth peripherals,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.604205Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:490aaacadc88335af37cbac33f0ac7111c2ccd9bd62f6fdf18787b870ab1d3f9","observation_id":"d395689c-bf59-40d4-ae17-a49b17a08438","resolution":{"observed_at":"2026-08-09T05:32:23.604205Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2203.03850","last_updated":"2022-03-08T04:48:07Z","snapshot_observed_at":"2026-08-02T05:58:04.510079Z","submitted_at":"2022-03-08T04:48:07Z","title":"UniXcoder: Unified Cross-Modal Pre-training for Code Representation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2203.03850","snapshot_observed_at":"2026-08-09T05:32:23.609065Z","title":"Unixcoder: Unified cross-modal pre-training for code representation,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.609065Z"},"links":{"cited_paper":"/paper/2203.03850","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:1b75b60d0efecac16e96410a2e3e0d77d2833ccbf919002a8aa99ba2a3061b0b","observation_id":"904467e6-dff5-477a-81bd-825fa2235ece","resolution":{"observed_at":"2026-08-09T05:32:23.609065Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.13971","last_updated":"2023-02-27T17:11:15Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-02-27T17:11:15Z","title":"LLaMA: Open and Efficient Foundation Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.13971","snapshot_observed_at":"2026-08-09T05:32:23.590599Z","title":"Available: https://arxiv.org/abs/2302.13971","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.590599Z"},"links":{"cited_paper":"/paper/2302.13971","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:99d1b9c6ab28323b8454dd76bdeaeec7c208de7480f551c96e8ac7a31610df28","observation_id":"b56e882a-924c-48d8-86f7-330a7df2b658","resolution":{"observed_at":"2026-08-09T05:32:23.590599Z","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-09T05:32:23.662128Z","title":"A comprehensive review on malware detection approaches,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.662128Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:b51bb653f0c65e8d8ce731d47885176a3b717c5ef37c59115464542bfb35353f","observation_id":"25179f21-24b7-464f-a412-9d16bcb59a20","resolution":{"observed_at":"2026-08-09T05:32:23.662128Z","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-09T05:32:23.599604Z","title":"Swipepass: Acoustic- based second-factor user authentication for smartphones,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.599604Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:af75a0d62f1add47674d206204d777fde15c4e6d66793ac8c6052394e44af87e","observation_id":"9c74adf0-d4fe-475b-889b-8fe5ac3c49b4","resolution":{"observed_at":"2026-08-09T05:32:23.599604Z","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-09T05:32:23.737009Z","title":"Android malware detection using complex-flows,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.737009Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:6ad08a14c656b47717fc39dcab0993d12ee38837a2d98430a853c8441a854133","observation_id":"0bea848c-1e62-45ea-a9e6-3be65888b8a3","resolution":{"observed_at":"2026-08-09T05:32:23.737009Z","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-09T05:32:23.778999Z","title":"An- alyzing and detecting emerging internet of things malware: A graph-based approach,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.778999Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:a737719a881325f29fafeea5549d9b705f162bee25c27635187ea5fa8a4aa284","observation_id":"625dc343-ae60-4628-8410-7a0ac1ff866f","resolution":{"observed_at":"2026-08-09T05:32:23.778999Z","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-09T05:32:23.624325Z","title":"Code llama: Open foundation models for code,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.624325Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:caead4397be9f710e9353635b30a20ab385e1d5ea9c956ee7bb49f9314d97546","observation_id":"38b9f1e3-a53a-4ddf-91ff-4c126aea612e","resolution":{"observed_at":"2026-08-09T05:32:23.624325Z","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-09T05:32:23.829669Z","title":"Amal: high- fidelity, behavior-based automated malware analysis and clas- sification,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.829669Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:38f2ec289aaba19866ad20e1ca0c5aba857a7aace4e27382e21dd98c8708b9bd","observation_id":"ad46a5ce-57ab-4e7b-ac96-d77e9ad4b3db","resolution":{"observed_at":"2026-08-09T05:32:23.829669Z","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-09T05:32:23.691660Z","title":"Graph-based comparison of iot and android malware,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.691660Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:1f3a0e76a4d073484cf6df92e028797eac54c0e6f2b20138b974d19f1b664f6c","observation_id":"27f81d2a-d7e0-4b58-8f4c-8e89a925b2c8","resolution":{"observed_at":"2026-08-09T05:32:23.691660Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1804.08771","last_updated":"2018-09-12T14:13:33Z","snapshot_observed_at":"2026-08-07T04:27:10.754173Z","submitted_at":"2018-04-23T22:54:55Z","title":"A Call for Clarity in Reporting BLEU Scores","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1804.08771","snapshot_observed_at":"2026-08-09T05:32:23.893158Z","title":"A call for clarity in reporting bleu scores,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.893158Z"},"links":{"cited_paper":"/paper/1804.08771","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:961a014d9d424a2f53f3b973967e0dd706f8ee1150a83113131a92ec4bcbe6ca","observation_id":"146c7f1e-524c-488d-b6d2-067474519df6","resolution":{"observed_at":"2026-08-09T05:32:23.893158Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1803.01937","last_updated":"2018-03-05T21:35:04Z","snapshot_observed_at":"2026-08-01T11:54:25.770314Z","submitted_at":"2018-03-05T21:35:04Z","title":"ROUGE 2.0: Updated and Improved Measures for Evaluation of Summarization Tasks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1803.01937","snapshot_observed_at":"2026-08-09T05:32:23.929958Z","title":"Rouge 2.0: Updated and improved measures for evaluation of summarization tasks,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.929958Z"},"links":{"cited_paper":"/paper/1803.01937","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:7d999e91f827b5a12a4dc8906c09f9039aec25e9575b46adc9b9b0ed12848c66","observation_id":"813421dd-a5a9-48e3-b367-0d99fe6fae80","resolution":{"observed_at":"2026-08-09T05:32:23.929958Z","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-09T05:32:23.812388Z","title":"De- tecting and classifying android malware using static analysis along with creator information,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.812388Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:8608282de450ce4a99d0a0ea98223fa09b3a01df6ba499cabc67cf4eceda67d2","observation_id":"1cf183f3-8771-4545-b470-8955119aa60f","resolution":{"observed_at":"2026-08-09T05:32:23.812388Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.06825","last_updated":"2023-10-10T17:54:58Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-10-10T17:54:58Z","title":"Mistral 7B","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.06825","snapshot_observed_at":"2026-08-09T05:32:23.940741Z","title":"Mistral 7b,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.940741Z"},"links":{"cited_paper":"/paper/2310.06825","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:54a5d12d3364ed4b38b1afa1202c3ff515ed1cbc472a9649d278885ae86411a1","observation_id":"642cd72d-8cbf-433c-9680-874cd0b5eb2f","resolution":{"observed_at":"2026-08-09T05:32:23.940741Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.14905","last_updated":"2024-11-22T13:03:07Z","snapshot_observed_at":"2026-08-08T12:03:57.668476Z","submitted_at":"2024-11-22T13:03:07Z","title":"Feasibility Study for Supporting Static Malware Analysis Using LLM","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.14905","snapshot_observed_at":"2026-08-09T05:32:23.868310Z","title":"Feasibility study for supporting static malware analysis using llm,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.868310Z"},"links":{"cited_paper":"/paper/2411.14905","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:a413e8ad58c6133602b4eff0adb0286d895fb541dfa788ad4102b9000b2729ff","observation_id":"496fb5c1-8d8a-46d1-875c-ce1a9d65c208","resolution":{"observed_at":"2026-08-09T05:32:23.868310Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.12196","last_updated":"2025-01-06T16:29:32Z","snapshot_observed_at":"2026-07-06T17:46:38.027974Z","submitted_at":"2024-03-18T19:10:12Z","title":"Leveraging Large Language Models to Detect npm Malicious Packages","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.12196","snapshot_observed_at":"2026-08-09T05:32:23.957301Z","title":"Shifting the lens: Detecting malicious npm packages using large language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.957301Z"},"links":{"cited_paper":"/paper/2403.12196","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:c2110bb5f02dfcafb582a57cba1a003e6afa6f989b6c426db61219d83f8872ab","observation_id":"b27b13f9-64c3-429d-b857-30245588fecc","resolution":{"observed_at":"2026-08-09T05:32:23.957301Z","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-09T05:32:23.962770Z","title":"Codeql: Github’s static analysis engine for code vulnerabilities,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.962770Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:4cc663f508dee4f9a598dbccfeff1d2826ed832ab8e107fbbc2b0dbb34c72b62","observation_id":"82af6d38-99ed-4d85-ba4b-cb0d0900c702","resolution":{"observed_at":"2026-08-09T05:32:23.962770Z","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-09T05:32:23.935503Z","title":"Benchmarking out of the box open-source llms for malware detection based on api calls sequences,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.935503Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:f5f2eb42d79af55a12235263f9c54b7b1eead6f22b791eaac7f269bddbf7f532","observation_id":"69a0050c-a8e2-471a-95a2-b1bb3713425a","resolution":{"observed_at":"2026-08-09T05:32:23.935503Z","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-09T05:32:23.972398Z","title":"Codebert: A pre-trained model for programming and natural languages,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.972398Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:2a209e819066b39e3d7cfbcdc26d96a2454d67b4763318c7dfd7c8a0ec66feac","observation_id":"6e84bba1-a24b-4d60-9ae8-0d1a08d0d940","resolution":{"observed_at":"2026-08-09T05:32:23.972398Z","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-09T05:32:23.946603Z","title":"Mixtral of experts,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.946603Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:b6c291f1837498cdff01dc388717fc0b18fa9c5ccbfd55d75448e1c4a41bb16a","observation_id":"dbdfe2a3-c4a5-4177-b2a8-83d631d4cb3e","resolution":{"observed_at":"2026-08-09T05:32:23.946603Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.04088","last_updated":"2024-01-08T18:47:34Z","snapshot_observed_at":"2026-08-08T06:16:25.839566Z","submitted_at":"2024-01-08T18:47:34Z","title":"Mixtral of Experts","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.04088","snapshot_observed_at":"2026-08-09T05:32:23.951864Z","title":"Available: https://arxiv.org/abs/2401.04088","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.951864Z"},"links":{"cited_paper":"/paper/2401.04088","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:9f7d6fe4db711d68ada15d6f9e9eefeaeb3c0970a7fea2f6272894d604e81edf","observation_id":"5164811c-ede0-4673-9a07-ee671fe075fb","resolution":{"observed_at":"2026-08-09T05:32:23.951864Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.07663","last_updated":"2024-06-05T08:16:12Z","snapshot_observed_at":"2026-07-06T17:15:38.182240Z","submitted_at":"2024-01-15T13:08:38Z","title":"Selene: Pioneering Automated Proof in Software Verification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.07663","snapshot_observed_at":"2026-08-09T05:32:23.992990Z","title":"Selene: Pioneering automated proof in software verification,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.992990Z"},"links":{"cited_paper":"/paper/2401.07663","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:f1c1a0d9413b44f27ba4058e1c287eafede5e5be0974f8af9e1dd06814828fed","observation_id":"fe349a44-96cf-4125-95a9-005d5206b0c5","resolution":{"observed_at":"2026-08-09T05:32:23.992990Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.09342","last_updated":"2024-02-12T20:25:31Z","snapshot_observed_at":"2026-08-08T03:04:53.489832Z","submitted_at":"2023-10-13T18:13:52Z","title":"Ranking LLM-Generated Loop Invariants for Program Verification","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.09342","snapshot_observed_at":"2026-08-09T05:32:23.998205Z","title":"Ranking llm-generated loop invariants for program verification,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.998205Z"},"links":{"cited_paper":"/paper/2310.09342","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:f55d1914fd833268a46d24a05465b1b78f433108fe055b9ce986ce2825e796ba","observation_id":"c74f8f00-67fc-4f70-b73c-c89c6057ea24","resolution":{"observed_at":"2026-08-09T05:32:23.998205Z","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-09T05:32:23.967859Z","title":"A structural-semantic approach integrating graph-based and large language models represen- tation to detect android malware,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.967859Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:4aa0e5f6f325ea4bb89c9337e43f3409962409e68fbdcb605c6214a65946d95c","observation_id":"7078482b-f493-4156-90f1-b1a5944e10cd","resolution":{"observed_at":"2026-08-09T05:32:23.967859Z","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":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T05:32:28.407122Z","title":"Llm-generated invariants for bounded model checking without loop unrolling,","venue":null,"work_id":"373ed114-6956-4610-8b3e-622c0d6d40da","year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:24.007994Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:13f29dec46ca93c24c62fda5e32f095401f2650ed168280c774ed2d765f23495","observation_id":"ff92dd56-9226-43ad-953b-82a432d206d4","resolution":{"observed_at":"2026-08-09T05:32:28.413073Z","resolver_source":"arxiv_id_nonexistent","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":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T05:32:28.250239Z","title":"Llm meets bounded model checking: Neuro- symbolic loop invariant inference,","venue":null,"work_id":"3ee14eff-d565-43e1-a11e-84ec3f48faa5","year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:24.012824Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:3d0e768d433a3633cf503cf7f4a106d880166b18c59dc47d277982d8fc82b48b","observation_id":"fba1c2b0-7e24-4319-ab3f-8317ec64f756","resolution":{"observed_at":"2026-08-09T05:32:28.255431Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.18816","last_updated":"2024-10-22T15:12:37Z","snapshot_observed_at":"2026-08-05T23:13:58.677796Z","submitted_at":"2024-04-29T15:52:45Z","title":"AppPoet: Large Language Model based Android malware detection via multi-view prompt engineering","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.18816","snapshot_observed_at":"2026-08-09T05:32:23.982567Z","title":"Apppoet: Large language model based android malware detection via multi-view prompt engineering,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.982567Z"},"links":{"cited_paper":"/paper/2404.18816","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:4f23e909317d82250fc0b2aec24a517c68f93a092e6b5268c648cddcef6c4566","observation_id":"a9d9195d-8430-42be-ab70-c30b9b05aafd","resolution":{"observed_at":"2026-08-09T05:32:23.982567Z","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-09T05:32:23.987605Z","title":"Coqpilot, a plugin for llm-based generation of proofs,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:23.987605Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:9975374c9039394b02f909ce25af4533eb596d24518bdd578776da445bb18d4a","observation_id":"d69ac153-f664-461a-b9c4-6b30bb674a8b","resolution":{"observed_at":"2026-08-09T05:32:23.987605Z","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-09T05:32:24.037249Z","title":"Lemur: Integrating large language models in automated program verification,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:24.037249Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:f7e5a0f39fae08e92330827ad6c43a2cb111f933bfce83660541dba7187b228f","observation_id":"96d2615d-b9a1-4454-a633-6eee2a161e49","resolution":{"observed_at":"2026-08-09T05:32:24.037249Z","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-09T05:32:24.105586Z","title":"Towards automated verification of llm-synthesized c programs,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:24.105586Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:0a656854d5797e4c78de769facbe0cf944950588f572148e3dd311046f7e4ef5","observation_id":"ab5d24bf-d9d9-4894-b888-4060440d74b9","resolution":{"observed_at":"2026-08-09T05:32:24.105586Z","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-09T05:32:24.003519Z","title":"Can chatgpt support software verification?","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:24.003519Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:81f70eda666330459a23006bc59f7362de7de17261d0b3707cf40cfc5de4bd70","observation_id":"b4009241-f3bc-418c-bb4a-9b52b5b95736","resolution":{"observed_at":"2026-08-09T05:32:24.003519Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.09271","last_updated":"2024-09-14T02:43:20Z","snapshot_observed_at":"2026-08-07T06:17:08.942013Z","submitted_at":"2024-09-14T02:43:20Z","title":"Python Symbolic Execution with LLM-powered Code Generation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.09271","snapshot_observed_at":"2026-08-09T05:32:24.190024Z","title":"Python symbolic execution with llm-powered code generation,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:24.190024Z"},"links":{"cited_paper":"/paper/2409.09271","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:21599ec8a7fac59ef7353500167e0ad78ce812ab35d1692017d5b440d0afc824","observation_id":"cdc3fd9c-bde4-4a69-9dff-47532bd72e59","resolution":{"observed_at":"2026-08-09T05:32:24.190024Z","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/978-3-031-64626-3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T05:32:25.361760Z","title":"Cfstra: Enhancing configurable program analysis through llm-driven strategy selection based on code features,","venue":null,"work_id":"fbfb1d8e-c3d0-4caa-bff8-bf50bca029d6","year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:24.217335Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:c749c058e195afdd467d0b4e5c516d198ef57d2b1b6ec01af1c7295239a4d180","observation_id":"4e5e5baf-b4ac-4a7e-a884-70428fa58fc9","resolution":{"observed_at":"2026-08-09T05:32:25.368323Z","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-09T05:32:24.017740Z","title":"Can large language models reason about program invariants?","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:24.017740Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:f8407ab041facbba083f0dcac0cb7c26ee80d6f2b93765fdc8b3963f4a4d5394","observation_id":"92da25d9-6492-48da-bfc1-9db48c739ca6","resolution":{"observed_at":"2026-08-09T05:32:24.017740Z","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-09T05:32:24.022490Z","title":"Enchanting program specification synthesis by large language models using static analysis and program verification,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:24.022490Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:046031de4617e4bbdeb054116c6edf8e79abb2e50fda842411b078fe814cc684","observation_id":"bcb5e584-17a3-4117-a06c-94d552527ccf","resolution":{"observed_at":"2026-08-09T05:32:24.022490Z","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-09T05:32:24.245049Z","title":"Hammer for coq: Automation for dependent type theory,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:24.245049Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:834f26786a33d2df13e2ef239b0c2e4c4dfd04857e8bdaead4b2fc4dc3832f6d","observation_id":"77f9bb28-29da-4cc9-8c65-a00c7a10ee20","resolution":{"observed_at":"2026-08-09T05:32:24.245049Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04870","last_updated":"2024-04-25T01:16:21Z","snapshot_observed_at":"2026-07-06T16:29:11.973128Z","submitted_at":"2023-10-07T16:44:53Z","title":"Lemur: Integrating Large Language Models in Automated Program Verification","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.04870","snapshot_observed_at":"2026-08-09T05:32:24.074471Z","title":"Available: https://arxiv.org/abs/2310.04870","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:24.074471Z"},"links":{"cited_paper":"/paper/2310.04870","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:b29b3bc4f828176604cd9d3eb1395e0e555cc6de88939a34de4995b359c51305","observation_id":"e430268f-f299-4602-8b29-f2060742701e","resolution":{"observed_at":"2026-08-09T05:32:24.074471Z","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-09T05:32:24.255024Z","title":"Comprehensive formal verification of an os microkernel,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:24.255024Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:1eb62c5f65ef29de23fc849b1d494f3ebd19df4ded1355a03f0d7f66f6a5335c","observation_id":"e72e29c1-d8a4-424c-ad67-6086fe1f8448","resolution":{"observed_at":"2026-08-09T05:32:24.255024Z","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-09T05:32:24.133073Z","title":"Propertygpt: Llm-driven formal verification of smart contracts through retrieval-augmented property generation,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:24.133073Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:7fa2d95da7480344b8e2eb77defb81f9c68da4a70b9dd1b046edb3e9827064f3","observation_id":"291be9d8-f334-4f7f-ab92-ac40b80961a3","resolution":{"observed_at":"2026-08-09T05:32:24.133073Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.02580","last_updated":"2024-12-06T08:41:01Z","snapshot_observed_at":"2026-08-06T17:26:59.575505Z","submitted_at":"2024-05-04T06:28:27Z","title":"PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.02580","snapshot_observed_at":"2026-08-09T05:32:24.163759Z","title":"Available: https://arxiv.org/abs/2405.02580","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:24.163759Z"},"links":{"cited_paper":"/paper/2405.02580","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:1cf5515cae5fb9279a479a5abc70f5f8c79952a3f4301ff8872f52c94da0f1ac","observation_id":"34ec73fd-8c98-42e7-b8dd-cce10c4b0df0","resolution":{"observed_at":"2026-08-09T05:32:24.163759Z","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-09T05:32:24.270856Z","title":"Baudin, J.-C","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:24.270856Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:5cc43d805219e31436cae2d908b62eeba733652f74adcae2aaf78b9352d7194f","observation_id":"39e521e7-02ef-4679-8520-4e645878f417","resolution":{"observed_at":"2026-08-09T05:32:24.270856Z","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-09T05:32:24.276006Z","title":"The dogged pursuit of bug-free c programs: the frama-c software analysis platform,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:24.276006Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:9cad7b0dd12f32f262a9ebe9a16a65ef97fe4b1a708fb0a9e6d66890d14e94af","observation_id":"5cb7222b-34be-41ae-96a2-e0c1e532a626","resolution":{"observed_at":"2026-08-09T05:32:24.276006Z","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":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T05:32:27.832611Z","title":"Interleaving static analysis and llm prompting,","venue":null,"work_id":"14dbc8b1-56f1-48d5-9ba9-e68008004b9e","year":2024},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":101,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:24.232703Z"},"links":{"citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:4a57e26050f3504e572b619eb205cc72db845ef8afe82579a2e0135380d7f848","observation_id":"d67ca60c-c0f5-45ea-b945-3b8ed8e054f2","resolution":{"observed_at":"2026-08-09T05:32:27.858045Z","resolver_source":"arxiv_id_nonexistent","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"}}],"paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":91,"verified_exact":8,"verified_fuzzy":0},"total_outbound_references":182},"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 100 of 182 outbound references and 8 inbound Pith citation observations for arXiv:2502.18474."}