{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:RYVRK4JJRHTBKWQOQABLAPAISD","short_pith_number":"pith:RYVRK4JJ","canonical_record":{"source":{"id":"2502.18474","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-02-05T14:27:17Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"2c745bf118d330763504a59672ed30d605e92725974b89188d9e92769a7bfe8d","abstract_canon_sha256":"79372b25e89826e0642744870671928a4f21f185c74665fd05c42eba81d07250"},"schema_version":"1.0"},"canonical_sha256":"8e2b15712989e6155a0e8002b03c0890ee186695e88f46f06d935415f7bafc61","source":{"kind":"arxiv","id":"2502.18474","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.18474","created_at":"2026-07-05T10:19:58Z"},{"alias_kind":"arxiv_version","alias_value":"2502.18474v1","created_at":"2026-07-05T10:19:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.18474","created_at":"2026-07-05T10:19:58Z"},{"alias_kind":"pith_short_12","alias_value":"RYVRK4JJRHTB","created_at":"2026-07-05T10:19:58Z"},{"alias_kind":"pith_short_16","alias_value":"RYVRK4JJRHTBKWQO","created_at":"2026-07-05T10:19:58Z"},{"alias_kind":"pith_short_8","alias_value":"RYVRK4JJ","created_at":"2026-07-05T10:19:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:RYVRK4JJRHTBKWQOQABLAPAISD","target":"record","payload":{"canonical_record":{"source":{"id":"2502.18474","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-02-05T14:27:17Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"2c745bf118d330763504a59672ed30d605e92725974b89188d9e92769a7bfe8d","abstract_canon_sha256":"79372b25e89826e0642744870671928a4f21f185c74665fd05c42eba81d07250"},"schema_version":"1.0"},"canonical_sha256":"8e2b15712989e6155a0e8002b03c0890ee186695e88f46f06d935415f7bafc61","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:19:58.407237Z","signature_b64":"fbAg9L/FwgSlpr/LXpLGGv7CWq5roUx5mlOtlv4vpywJQbsyPktONIvMRsEf9ikKyC3MM+E1tti0UroFRLTZCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8e2b15712989e6155a0e8002b03c0890ee186695e88f46f06d935415f7bafc61","last_reissued_at":"2026-07-05T10:19:58.406774Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:19:58.406774Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.18474","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T10:19:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tACnTjo+ia3wgwavGLoJehArawJYFIGbKE0lH50fhkq4nqJ51EHkVCtP77JrCeLbtXetC0QFavDxH8cyusmRBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-11T13:27:19.706307Z"},"content_sha256":"40723fd2b68e49f9cb2650b6157b9a28fc0ea270414be01ccfc2f27629b1d45e","schema_version":"1.0","event_id":"sha256:40723fd2b68e49f9cb2650b6157b9a28fc0ea270414be01ccfc2f27629b1d45e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:RYVRK4JJRHTBKWQOQABLAPAISD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Jiayimei Wang, Qingchuan Zhao, Tao Ni, Wei-Bin Lee","submitted_at":"2025-02-05T14:27:17Z","abstract_excerpt":"The increasing complexity of software systems has driven significant advancements in program analysis, as traditional methods unable to meet the demands of modern software development. To address these limitations, deep learning techniques, particularly Large Language Models (LLMs), have gained attention due to their context-aware capabilities in code comprehension. Recognizing the potential of LLMs, researchers have extensively explored their application in program analysis since their introduction. Despite existing surveys on LLM applications in cybersecurity, comprehensive reviews specifica"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.18474","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2502.18474/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T10:19:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"J2D+t3TP6O+WtoO07HaolBhBKXlaB+PVRvQWtIuHcNp1ZbRPzUM+F4MQUFWYFxvVd7m/6YzUQBMgRcxrdhIAAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-11T13:27:19.706701Z"},"content_sha256":"d5ec430116aabc61dbb347882ec69709e6e2ad9910f7807fdd7261b0989b7704","schema_version":"1.0","event_id":"sha256:d5ec430116aabc61dbb347882ec69709e6e2ad9910f7807fdd7261b0989b7704"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RYVRK4JJRHTBKWQOQABLAPAISD/bundle.json","state_url":"https://pith.science/pith/RYVRK4JJRHTBKWQOQABLAPAISD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RYVRK4JJRHTBKWQOQABLAPAISD/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-07-11T13:27:19Z","links":{"resolver":"https://pith.science/pith/RYVRK4JJRHTBKWQOQABLAPAISD","bundle":"https://pith.science/pith/RYVRK4JJRHTBKWQOQABLAPAISD/bundle.json","state":"https://pith.science/pith/RYVRK4JJRHTBKWQOQABLAPAISD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RYVRK4JJRHTBKWQOQABLAPAISD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:RYVRK4JJRHTBKWQOQABLAPAISD","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"79372b25e89826e0642744870671928a4f21f185c74665fd05c42eba81d07250","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-02-05T14:27:17Z","title_canon_sha256":"2c745bf118d330763504a59672ed30d605e92725974b89188d9e92769a7bfe8d"},"schema_version":"1.0","source":{"id":"2502.18474","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.18474","created_at":"2026-07-05T10:19:58Z"},{"alias_kind":"arxiv_version","alias_value":"2502.18474v1","created_at":"2026-07-05T10:19:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.18474","created_at":"2026-07-05T10:19:58Z"},{"alias_kind":"pith_short_12","alias_value":"RYVRK4JJRHTB","created_at":"2026-07-05T10:19:58Z"},{"alias_kind":"pith_short_16","alias_value":"RYVRK4JJRHTBKWQO","created_at":"2026-07-05T10:19:58Z"},{"alias_kind":"pith_short_8","alias_value":"RYVRK4JJ","created_at":"2026-07-05T10:19:58Z"}],"graph_snapshots":[{"event_id":"sha256:d5ec430116aabc61dbb347882ec69709e6e2ad9910f7807fdd7261b0989b7704","target":"graph","created_at":"2026-07-05T10:19:58Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2502.18474/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The increasing complexity of software systems has driven significant advancements in program analysis, as traditional methods unable to meet the demands of modern software development. To address these limitations, deep learning techniques, particularly Large Language Models (LLMs), have gained attention due to their context-aware capabilities in code comprehension. Recognizing the potential of LLMs, researchers have extensively explored their application in program analysis since their introduction. Despite existing surveys on LLM applications in cybersecurity, comprehensive reviews specifica","authors_text":"Jiayimei Wang, Qingchuan Zhao, Tao Ni, Wei-Bin Lee","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.18474","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:40723fd2b68e49f9cb2650b6157b9a28fc0ea270414be01ccfc2f27629b1d45e","target":"record","created_at":"2026-07-05T10:19:58Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"79372b25e89826e0642744870671928a4f21f185c74665fd05c42eba81d07250","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-02-05T14:27:17Z","title_canon_sha256":"2c745bf118d330763504a59672ed30d605e92725974b89188d9e92769a7bfe8d"},"schema_version":"1.0","source":{"id":"2502.18474","kind":"arxiv","version":1}},"canonical_sha256":"8e2b15712989e6155a0e8002b03c0890ee186695e88f46f06d935415f7bafc61","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8e2b15712989e6155a0e8002b03c0890ee186695e88f46f06d935415f7bafc61","first_computed_at":"2026-07-05T10:19:58.406774Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:19:58.406774Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fbAg9L/FwgSlpr/LXpLGGv7CWq5roUx5mlOtlv4vpywJQbsyPktONIvMRsEf9ikKyC3MM+E1tti0UroFRLTZCw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:19:58.407237Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.18474","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:40723fd2b68e49f9cb2650b6157b9a28fc0ea270414be01ccfc2f27629b1d45e","sha256:d5ec430116aabc61dbb347882ec69709e6e2ad9910f7807fdd7261b0989b7704"],"state_sha256":"320c693713a882ce5a2fdec09d837b3e8fad9fabfecef7dc9603eb093d5aa35c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"foo3c3m8oFt0qiQMeqjGr0RJebfM3I1RBtfwSYNRmMTUCWYGRdxPT2Hkh8zWWrA+f1fRhTnd53H/9p2Lyrz6DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-11T13:27:19.708904Z","bundle_sha256":"8d141f02bc41d3b124bbf0f1706f95283e9b02e33c3f5281e386585d318bb154"}}