{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2006:H5SQHOPLZNLXBWOLQUVWCU3ELQ","short_pith_number":"pith:H5SQHOPL","canonical_record":{"source":{"id":"cs/0608104","kind":"arxiv","version":3},"metadata":{"license":"","primary_cat":"cs.PL","submitted_at":"2006-08-28T11:15:00Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"0870c57bb4ad4d41bc4e6fbfb96a925e4f999dd40c64837bb09ed895668f32d1","abstract_canon_sha256":"7d1744bee4e90499da2cccf7ae767eb84c057fa770b62bf0323c76d1c7df2075"},"schema_version":"1.0"},"canonical_sha256":"3f6503b9ebcb5770d9cb852b6153645c09d535c3abc582f3e8c437524369a98e","source":{"kind":"arxiv","id":"cs/0608104","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0608104","created_at":"2026-05-18T03:27:12Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0608104v3","created_at":"2026-05-18T03:27:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0608104","created_at":"2026-05-18T03:27:12Z"},{"alias_kind":"pith_short_12","alias_value":"H5SQHOPLZNLX","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"H5SQHOPLZNLXBWOL","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"H5SQHOPL","created_at":"2026-05-18T12:25:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2006:H5SQHOPLZNLXBWOLQUVWCU3ELQ","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0608104","kind":"arxiv","version":3},"metadata":{"license":"","primary_cat":"cs.PL","submitted_at":"2006-08-28T11:15:00Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"0870c57bb4ad4d41bc4e6fbfb96a925e4f999dd40c64837bb09ed895668f32d1","abstract_canon_sha256":"7d1744bee4e90499da2cccf7ae767eb84c057fa770b62bf0323c76d1c7df2075"},"schema_version":"1.0"},"canonical_sha256":"3f6503b9ebcb5770d9cb852b6153645c09d535c3abc582f3e8c437524369a98e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:27:12.290940Z","signature_b64":"NIWxqY66Geq9s2EGRgNmRxQoS8wTNyyPp+7PoiQ9BpFYQ6y5n97z/mWXErdwIPDCNXakiP2uhatiw+YkY4WSCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3f6503b9ebcb5770d9cb852b6153645c09d535c3abc582f3e8c437524369a98e","last_reissued_at":"2026-05-18T03:27:12.290308Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:27:12.290308Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0608104","source_version":3,"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-18T03:27:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ods1xRHAk/PW4+8wwOPT+RNukVO6/GnoygQBpjOA4hNYyy4wZaarNE4fl50nVgo9ACbxng76v7NSg6k2pD2nCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T07:55:12.332034Z"},"content_sha256":"4baf07b006cb2101226abfbd12ff33bc34a55e9b6b405a35a125040c9a1f3349","schema_version":"1.0","event_id":"sha256:4baf07b006cb2101226abfbd12ff33bc34a55e9b6b405a35a125040c9a1f3349"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2006:H5SQHOPLZNLXBWOLQUVWCU3ELQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Heap Reference Analysis Using Access Graphs","license":"","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"Amey Karkare, Amitabha Sanyal, Uday Khedker","submitted_at":"2006-08-28T11:15:00Z","abstract_excerpt":"Despite significant progress in the theory and practice of program analysis, analysing properties of heap data has not reached the same level of maturity as the analysis of static and stack data. The spatial and temporal structure of stack and static data is well understood while that of heap data seems arbitrary and is unbounded. We devise bounded representations which summarize properties of the heap data. This summarization is based on the structure of the program which manipulates the heap. The resulting summary representations are certain kinds of graphs called access graphs. The boundedn"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0608104","kind":"arxiv","version":3},"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-18T03:27:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"p3PLTYz07VXJFN/fkd5nR6zBTZoBos6THmrTgcOacYhi6HeX1/CXd44LJdISMF5aTchBtI9sKIbDSD25utKRAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T07:55:12.332669Z"},"content_sha256":"9af33f56ec55b335f8f7681e4e09680d27f616d1da7c4b0893f01073828f36f3","schema_version":"1.0","event_id":"sha256:9af33f56ec55b335f8f7681e4e09680d27f616d1da7c4b0893f01073828f36f3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/H5SQHOPLZNLXBWOLQUVWCU3ELQ/bundle.json","state_url":"https://pith.science/pith/H5SQHOPLZNLXBWOLQUVWCU3ELQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/H5SQHOPLZNLXBWOLQUVWCU3ELQ/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-06-03T07:55:12Z","links":{"resolver":"https://pith.science/pith/H5SQHOPLZNLXBWOLQUVWCU3ELQ","bundle":"https://pith.science/pith/H5SQHOPLZNLXBWOLQUVWCU3ELQ/bundle.json","state":"https://pith.science/pith/H5SQHOPLZNLXBWOLQUVWCU3ELQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/H5SQHOPLZNLXBWOLQUVWCU3ELQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2006:H5SQHOPLZNLXBWOLQUVWCU3ELQ","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":"7d1744bee4e90499da2cccf7ae767eb84c057fa770b62bf0323c76d1c7df2075","cross_cats_sorted":["cs.SE"],"license":"","primary_cat":"cs.PL","submitted_at":"2006-08-28T11:15:00Z","title_canon_sha256":"0870c57bb4ad4d41bc4e6fbfb96a925e4f999dd40c64837bb09ed895668f32d1"},"schema_version":"1.0","source":{"id":"cs/0608104","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0608104","created_at":"2026-05-18T03:27:12Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0608104v3","created_at":"2026-05-18T03:27:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0608104","created_at":"2026-05-18T03:27:12Z"},{"alias_kind":"pith_short_12","alias_value":"H5SQHOPLZNLX","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"H5SQHOPLZNLXBWOL","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"H5SQHOPL","created_at":"2026-05-18T12:25:53Z"}],"graph_snapshots":[{"event_id":"sha256:9af33f56ec55b335f8f7681e4e09680d27f616d1da7c4b0893f01073828f36f3","target":"graph","created_at":"2026-05-18T03:27:12Z","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":"Despite significant progress in the theory and practice of program analysis, analysing properties of heap data has not reached the same level of maturity as the analysis of static and stack data. The spatial and temporal structure of stack and static data is well understood while that of heap data seems arbitrary and is unbounded. We devise bounded representations which summarize properties of the heap data. This summarization is based on the structure of the program which manipulates the heap. The resulting summary representations are certain kinds of graphs called access graphs. The boundedn","authors_text":"Amey Karkare, Amitabha Sanyal, Uday Khedker","cross_cats":["cs.SE"],"headline":"","license":"","primary_cat":"cs.PL","submitted_at":"2006-08-28T11:15:00Z","title":"Heap Reference Analysis Using Access Graphs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0608104","kind":"arxiv","version":3},"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:4baf07b006cb2101226abfbd12ff33bc34a55e9b6b405a35a125040c9a1f3349","target":"record","created_at":"2026-05-18T03:27:12Z","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":"7d1744bee4e90499da2cccf7ae767eb84c057fa770b62bf0323c76d1c7df2075","cross_cats_sorted":["cs.SE"],"license":"","primary_cat":"cs.PL","submitted_at":"2006-08-28T11:15:00Z","title_canon_sha256":"0870c57bb4ad4d41bc4e6fbfb96a925e4f999dd40c64837bb09ed895668f32d1"},"schema_version":"1.0","source":{"id":"cs/0608104","kind":"arxiv","version":3}},"canonical_sha256":"3f6503b9ebcb5770d9cb852b6153645c09d535c3abc582f3e8c437524369a98e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3f6503b9ebcb5770d9cb852b6153645c09d535c3abc582f3e8c437524369a98e","first_computed_at":"2026-05-18T03:27:12.290308Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:27:12.290308Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NIWxqY66Geq9s2EGRgNmRxQoS8wTNyyPp+7PoiQ9BpFYQ6y5n97z/mWXErdwIPDCNXakiP2uhatiw+YkY4WSCg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:27:12.290940Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0608104","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4baf07b006cb2101226abfbd12ff33bc34a55e9b6b405a35a125040c9a1f3349","sha256:9af33f56ec55b335f8f7681e4e09680d27f616d1da7c4b0893f01073828f36f3"],"state_sha256":"a177b90608c66feb98c26c26dbf61bda2aee5cae019c75305ca009ea034df8d0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AV4f0f44oQ0QGUPEJGUs6fSnHe+julqgRGseG0ljAxoGLt/e1zA7qMwvbiTPvmZctGhx5tkdF6ItWBeu594BAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T07:55:12.335568Z","bundle_sha256":"af8be393298c0cdf724552bffe6301d62830dec9914ea1485194423c36c1b5cc"}}