{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:AQDJLM2OUNLE553ELFYT7A5M53","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":"0a872ad0b1c45ec586151da1321e117828e00e1607e1dcdcc05cba45e78ff1ae","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2023-10-24T14:20:39Z","title_canon_sha256":"9776a92b97a77c8a62ec0c1ca340aeb24ab9e8c33adf2aec4451f6b0e92d4cf6"},"schema_version":"1.0","source":{"id":"2310.16853","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.16853","created_at":"2026-07-05T07:05:15Z"},{"alias_kind":"arxiv_version","alias_value":"2310.16853v1","created_at":"2026-07-05T07:05:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.16853","created_at":"2026-07-05T07:05:15Z"},{"alias_kind":"pith_short_12","alias_value":"AQDJLM2OUNLE","created_at":"2026-07-05T07:05:15Z"},{"alias_kind":"pith_short_16","alias_value":"AQDJLM2OUNLE553E","created_at":"2026-07-05T07:05:15Z"},{"alias_kind":"pith_short_8","alias_value":"AQDJLM2O","created_at":"2026-07-05T07:05:15Z"}],"graph_snapshots":[{"event_id":"sha256:2f188da29be6a932a9df9dda26df26c524d2da51c68e23013d59882520f23276","target":"graph","created_at":"2026-07-05T07:05:15Z","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/2310.16853/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Automatically generating function summaries for binaries is an extremely valuable but challenging task, since it involves translating the execution behavior and semantics of the low-level language (assembly code) into human-readable natural language. However, most current works on understanding assembly code are oriented towards generating function names, which involve numerous abbreviations that make them still confusing. To bridge this gap, we focus on generating complete summaries for binary functions, especially for stripped binary (no symbol table and debug information in reality). To ful","authors_text":"Lingfei Wu, Peiyu Liu, Shouling Ji, Tengfei Ma, Tong Ye, Wenhai Wang, Xuhong Zhang, Yangkai Du","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2023-10-24T14:20:39Z","title":"CP-BCS: Binary Code Summarization Guided by Control Flow Graph and Pseudo Code"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.16853","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:6dd0b5d684439a9ea0c0de46c431e4ed1809f11d462bd6d2ebf0410eb511b9f5","target":"record","created_at":"2026-07-05T07:05:15Z","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":"0a872ad0b1c45ec586151da1321e117828e00e1607e1dcdcc05cba45e78ff1ae","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2023-10-24T14:20:39Z","title_canon_sha256":"9776a92b97a77c8a62ec0c1ca340aeb24ab9e8c33adf2aec4451f6b0e92d4cf6"},"schema_version":"1.0","source":{"id":"2310.16853","kind":"arxiv","version":1}},"canonical_sha256":"040695b34ea3564ef76459713f83aceece724e761db75a0f8868f1e3067e96ff","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"040695b34ea3564ef76459713f83aceece724e761db75a0f8868f1e3067e96ff","first_computed_at":"2026-07-05T07:05:15.052927Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:05:15.052927Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NVN6YLv9umcHQpMMIZkyW2v++Of1/w/sPh7V4bM7WnxzXUrCwGBIPkY3+G72wjntK+CZa306PdKI38PnD/4DDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T07:05:15.053560Z","signed_message":"canonical_sha256_bytes"},"source_id":"2310.16853","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6dd0b5d684439a9ea0c0de46c431e4ed1809f11d462bd6d2ebf0410eb511b9f5","sha256:2f188da29be6a932a9df9dda26df26c524d2da51c68e23013d59882520f23276"],"state_sha256":"0cbafda06a785d5a93dd88384b4063bf9f27ac83e1bc9d717ca0bad439162e57"}