{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:KFGPKGT6J4X4V3HAQZXWKAWSJX","short_pith_number":"pith:KFGPKGT6","canonical_record":{"source":{"id":"1403.4910","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-03-19T18:59:56Z","cross_cats_sorted":[],"title_canon_sha256":"d287073b0e796881f358770090898cefa6e0226de04e47f2aadc7a53f4c1294b","abstract_canon_sha256":"ea6a68f0a96c5b9aab9b4cab88cc1dbef8afc0a208ddd0988917cd6b6eb03c36"},"schema_version":"1.0"},"canonical_sha256":"514cf51a7e4f2fcaece0866f6502d24dfb758a6d8e252c11f4c9b9bd57038b9c","source":{"kind":"arxiv","id":"1403.4910","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.4910","created_at":"2026-05-18T01:11:37Z"},{"alias_kind":"arxiv_version","alias_value":"1403.4910v5","created_at":"2026-05-18T01:11:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.4910","created_at":"2026-05-18T01:11:37Z"},{"alias_kind":"pith_short_12","alias_value":"KFGPKGT6J4X4","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"KFGPKGT6J4X4V3HA","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"KFGPKGT6","created_at":"2026-05-18T12:28:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:KFGPKGT6J4X4V3HAQZXWKAWSJX","target":"record","payload":{"canonical_record":{"source":{"id":"1403.4910","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-03-19T18:59:56Z","cross_cats_sorted":[],"title_canon_sha256":"d287073b0e796881f358770090898cefa6e0226de04e47f2aadc7a53f4c1294b","abstract_canon_sha256":"ea6a68f0a96c5b9aab9b4cab88cc1dbef8afc0a208ddd0988917cd6b6eb03c36"},"schema_version":"1.0"},"canonical_sha256":"514cf51a7e4f2fcaece0866f6502d24dfb758a6d8e252c11f4c9b9bd57038b9c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:11:37.534396Z","signature_b64":"Fm42e8q8pku5MBV8fozXBDYMYEu9ygcmaNpDRn09qpjeOEvkI/W168eBHpYZ7Em7lvsHE7FrxMbgJlrQBfEFDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"514cf51a7e4f2fcaece0866f6502d24dfb758a6d8e252c11f4c9b9bd57038b9c","last_reissued_at":"2026-05-18T01:11:37.533875Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:11:37.533875Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1403.4910","source_version":5,"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-05-18T01:11:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aPYRWSfsYHODdHf/essm69FTVfNHELGNj0Tsubpl0bLzgCilb8rpTy8WOI71qIbXdSV4wMfmaQyMnGjCwA0vAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-18T19:46:50.795283Z"},"content_sha256":"438c3025578cfb4051ee3c92a01f81605208f4ec329bb023f5a9315f37cc4c80","schema_version":"1.0","event_id":"sha256:438c3025578cfb4051ee3c92a01f81605208f4ec329bb023f5a9315f37cc4c80"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:KFGPKGT6J4X4V3HAQZXWKAWSJX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Heap Abstractions for Static Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Uday P. Khedker, Vini Kanvar","submitted_at":"2014-03-19T18:59:56Z","abstract_excerpt":"Heap data is potentially unbounded and seemingly arbitrary. As a consequence, unlike stack and static memory, heap memory cannot be abstracted directly in terms of a fixed set of source variable names appearing in the program being analysed. This makes it an interesting topic of study and there is an abundance of literature employing heap abstractions. Although most studies have addressed similar concerns, their formulations and formalisms often seem dissimilar and some times even unrelated. Thus, the insights gained in one description of heap abstraction may not directly carry over to some ot"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.4910","kind":"arxiv","version":5},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-18T01:11:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0hhZ+S2Fld1jBw9mc12Gyqd1lPEKnOMCi7nZw3U4aj1Tr1JdQv7V7Cah+T0tCmxRzlHr28v8D1ta2b7EXzM6Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-18T19:46:50.795904Z"},"content_sha256":"8d6000bcb9f05d1c6f26fca33ece2f694875d541dfd290b4fe026d227e36f661","schema_version":"1.0","event_id":"sha256:8d6000bcb9f05d1c6f26fca33ece2f694875d541dfd290b4fe026d227e36f661"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KFGPKGT6J4X4V3HAQZXWKAWSJX/bundle.json","state_url":"https://pith.science/pith/KFGPKGT6J4X4V3HAQZXWKAWSJX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KFGPKGT6J4X4V3HAQZXWKAWSJX/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-05-18T19:46:50Z","links":{"resolver":"https://pith.science/pith/KFGPKGT6J4X4V3HAQZXWKAWSJX","bundle":"https://pith.science/pith/KFGPKGT6J4X4V3HAQZXWKAWSJX/bundle.json","state":"https://pith.science/pith/KFGPKGT6J4X4V3HAQZXWKAWSJX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KFGPKGT6J4X4V3HAQZXWKAWSJX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:KFGPKGT6J4X4V3HAQZXWKAWSJX","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":"ea6a68f0a96c5b9aab9b4cab88cc1dbef8afc0a208ddd0988917cd6b6eb03c36","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-03-19T18:59:56Z","title_canon_sha256":"d287073b0e796881f358770090898cefa6e0226de04e47f2aadc7a53f4c1294b"},"schema_version":"1.0","source":{"id":"1403.4910","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.4910","created_at":"2026-05-18T01:11:37Z"},{"alias_kind":"arxiv_version","alias_value":"1403.4910v5","created_at":"2026-05-18T01:11:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.4910","created_at":"2026-05-18T01:11:37Z"},{"alias_kind":"pith_short_12","alias_value":"KFGPKGT6J4X4","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"KFGPKGT6J4X4V3HA","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"KFGPKGT6","created_at":"2026-05-18T12:28:35Z"}],"graph_snapshots":[{"event_id":"sha256:8d6000bcb9f05d1c6f26fca33ece2f694875d541dfd290b4fe026d227e36f661","target":"graph","created_at":"2026-05-18T01:11:37Z","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"},"paper":{"abstract_excerpt":"Heap data is potentially unbounded and seemingly arbitrary. As a consequence, unlike stack and static memory, heap memory cannot be abstracted directly in terms of a fixed set of source variable names appearing in the program being analysed. This makes it an interesting topic of study and there is an abundance of literature employing heap abstractions. Although most studies have addressed similar concerns, their formulations and formalisms often seem dissimilar and some times even unrelated. Thus, the insights gained in one description of heap abstraction may not directly carry over to some ot","authors_text":"Uday P. Khedker, Vini Kanvar","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-03-19T18:59:56Z","title":"Heap Abstractions for Static Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.4910","kind":"arxiv","version":5},"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:438c3025578cfb4051ee3c92a01f81605208f4ec329bb023f5a9315f37cc4c80","target":"record","created_at":"2026-05-18T01:11:37Z","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":"ea6a68f0a96c5b9aab9b4cab88cc1dbef8afc0a208ddd0988917cd6b6eb03c36","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-03-19T18:59:56Z","title_canon_sha256":"d287073b0e796881f358770090898cefa6e0226de04e47f2aadc7a53f4c1294b"},"schema_version":"1.0","source":{"id":"1403.4910","kind":"arxiv","version":5}},"canonical_sha256":"514cf51a7e4f2fcaece0866f6502d24dfb758a6d8e252c11f4c9b9bd57038b9c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"514cf51a7e4f2fcaece0866f6502d24dfb758a6d8e252c11f4c9b9bd57038b9c","first_computed_at":"2026-05-18T01:11:37.533875Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:11:37.533875Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Fm42e8q8pku5MBV8fozXBDYMYEu9ygcmaNpDRn09qpjeOEvkI/W168eBHpYZ7Em7lvsHE7FrxMbgJlrQBfEFDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:11:37.534396Z","signed_message":"canonical_sha256_bytes"},"source_id":"1403.4910","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:438c3025578cfb4051ee3c92a01f81605208f4ec329bb023f5a9315f37cc4c80","sha256:8d6000bcb9f05d1c6f26fca33ece2f694875d541dfd290b4fe026d227e36f661"],"state_sha256":"dad598367fa1cdedb7ff59c515c759caea0d426db979f2afd4eadd78e95321f9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ndxMh1U5v9pnLxuAaFryXk84jCkYkoErSMv2tB6k8pV22EV74rDpISbcEJwyxLLmKp18K2Tfed9nur2fYH1/DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-18T19:46:50.797711Z","bundle_sha256":"8185ba2d6b98f03edd25923167abc1456042c194e7006d017c2edb6715525f41"}}