{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:P6KY3U5JMJE6GNJQ7M5R5TXFL4","short_pith_number":"pith:P6KY3U5J","canonical_record":{"source":{"id":"1608.05676","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-08-19T17:20:11Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"62333dc79fd6685947c3ad2b6758265f1c9a1e118694575a1b162485d928ea85","abstract_canon_sha256":"9558a8ba80544ebc1d3969c73430c9771734fa0ce44c0a48c7eef59540fa1dc5"},"schema_version":"1.0"},"canonical_sha256":"7f958dd3a96249e33530fb3b1ecee55f24de445052d4cfe44551430e57e94935","source":{"kind":"arxiv","id":"1608.05676","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.05676","created_at":"2026-05-18T01:08:27Z"},{"alias_kind":"arxiv_version","alias_value":"1608.05676v1","created_at":"2026-05-18T01:08:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.05676","created_at":"2026-05-18T01:08:27Z"},{"alias_kind":"pith_short_12","alias_value":"P6KY3U5JMJE6","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"P6KY3U5JMJE6GNJQ","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"P6KY3U5J","created_at":"2026-05-18T12:30:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:P6KY3U5JMJE6GNJQ7M5R5TXFL4","target":"record","payload":{"canonical_record":{"source":{"id":"1608.05676","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-08-19T17:20:11Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"62333dc79fd6685947c3ad2b6758265f1c9a1e118694575a1b162485d928ea85","abstract_canon_sha256":"9558a8ba80544ebc1d3969c73430c9771734fa0ce44c0a48c7eef59540fa1dc5"},"schema_version":"1.0"},"canonical_sha256":"7f958dd3a96249e33530fb3b1ecee55f24de445052d4cfe44551430e57e94935","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:08:27.851212Z","signature_b64":"CvZyb1D7GIPJLG4vBEZlQ2f3UKBvPJQfazuw1dENsQHl0BPB/RPYF+8tZLKh+WQe6ImRspZyzHSnM9wZVqigCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7f958dd3a96249e33530fb3b1ecee55f24de445052d4cfe44551430e57e94935","last_reissued_at":"2026-05-18T01:08:27.850726Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:08:27.850726Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1608.05676","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-05-18T01:08:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1U/PrmqYQz78L3yefUcQh5YFHZOfesKMgnFc+9YOnOTKTEUQ2u/7M146C3e6kRVsjW02Dtq9G8OjiSnswSaUDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T08:08:00.532992Z"},"content_sha256":"2147743a4c0572e5db558de79775d068fdb90249d36ec4678b6aad0f2752c75a","schema_version":"1.0","event_id":"sha256:2147743a4c0572e5db558de79775d068fdb90249d36ec4678b6aad0f2752c75a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:P6KY3U5JMJE6GNJQ7M5R5TXFL4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Hierarchical Shape Abstraction for Analysis of Free-List Memory Allocators","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Bin Fang, Mihaela Sighireanu","submitted_at":"2016-08-19T17:20:11Z","abstract_excerpt":"We propose a hierarchical abstract domain for the analysis of free-list memory allocators that tracks shape and numerical properties about both the heap and the free lists. Our domain is based on Separation Logic extended with predicates that capture the pointer arithmetics constraints for the heap-list and the shape of the free-list. These predicates are combined using a hierarchical composition operator to specify the overlapping of the heap-list by the free-list. In addition to expressiveness, this operator leads to a compositional and compact representation of abstract values and simplifie"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.05676","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":""},"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:08:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"24tNgJ6P1jYFF/bNzwiYzO9mOub1PYu2zs3ZGkdD/rQEcmilTMUoig2GHRHXLC4Dh6alMrXKpAJDMBrNdt2BDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T08:08:00.533748Z"},"content_sha256":"ed785aab1df3ddcf0d5078b8d8bd8fb0bf788cb81f7c15ea164de6686a214c6b","schema_version":"1.0","event_id":"sha256:ed785aab1df3ddcf0d5078b8d8bd8fb0bf788cb81f7c15ea164de6686a214c6b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/P6KY3U5JMJE6GNJQ7M5R5TXFL4/bundle.json","state_url":"https://pith.science/pith/P6KY3U5JMJE6GNJQ7M5R5TXFL4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/P6KY3U5JMJE6GNJQ7M5R5TXFL4/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-09T08:08:00Z","links":{"resolver":"https://pith.science/pith/P6KY3U5JMJE6GNJQ7M5R5TXFL4","bundle":"https://pith.science/pith/P6KY3U5JMJE6GNJQ7M5R5TXFL4/bundle.json","state":"https://pith.science/pith/P6KY3U5JMJE6GNJQ7M5R5TXFL4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/P6KY3U5JMJE6GNJQ7M5R5TXFL4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:P6KY3U5JMJE6GNJQ7M5R5TXFL4","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":"9558a8ba80544ebc1d3969c73430c9771734fa0ce44c0a48c7eef59540fa1dc5","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-08-19T17:20:11Z","title_canon_sha256":"62333dc79fd6685947c3ad2b6758265f1c9a1e118694575a1b162485d928ea85"},"schema_version":"1.0","source":{"id":"1608.05676","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.05676","created_at":"2026-05-18T01:08:27Z"},{"alias_kind":"arxiv_version","alias_value":"1608.05676v1","created_at":"2026-05-18T01:08:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.05676","created_at":"2026-05-18T01:08:27Z"},{"alias_kind":"pith_short_12","alias_value":"P6KY3U5JMJE6","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"P6KY3U5JMJE6GNJQ","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"P6KY3U5J","created_at":"2026-05-18T12:30:36Z"}],"graph_snapshots":[{"event_id":"sha256:ed785aab1df3ddcf0d5078b8d8bd8fb0bf788cb81f7c15ea164de6686a214c6b","target":"graph","created_at":"2026-05-18T01:08:27Z","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":"We propose a hierarchical abstract domain for the analysis of free-list memory allocators that tracks shape and numerical properties about both the heap and the free lists. Our domain is based on Separation Logic extended with predicates that capture the pointer arithmetics constraints for the heap-list and the shape of the free-list. These predicates are combined using a hierarchical composition operator to specify the overlapping of the heap-list by the free-list. In addition to expressiveness, this operator leads to a compositional and compact representation of abstract values and simplifie","authors_text":"Bin Fang, Mihaela Sighireanu","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-08-19T17:20:11Z","title":"Hierarchical Shape Abstraction for Analysis of Free-List Memory Allocators"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.05676","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:2147743a4c0572e5db558de79775d068fdb90249d36ec4678b6aad0f2752c75a","target":"record","created_at":"2026-05-18T01:08:27Z","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":"9558a8ba80544ebc1d3969c73430c9771734fa0ce44c0a48c7eef59540fa1dc5","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-08-19T17:20:11Z","title_canon_sha256":"62333dc79fd6685947c3ad2b6758265f1c9a1e118694575a1b162485d928ea85"},"schema_version":"1.0","source":{"id":"1608.05676","kind":"arxiv","version":1}},"canonical_sha256":"7f958dd3a96249e33530fb3b1ecee55f24de445052d4cfe44551430e57e94935","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7f958dd3a96249e33530fb3b1ecee55f24de445052d4cfe44551430e57e94935","first_computed_at":"2026-05-18T01:08:27.850726Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:08:27.850726Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CvZyb1D7GIPJLG4vBEZlQ2f3UKBvPJQfazuw1dENsQHl0BPB/RPYF+8tZLKh+WQe6ImRspZyzHSnM9wZVqigCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:08:27.851212Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.05676","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2147743a4c0572e5db558de79775d068fdb90249d36ec4678b6aad0f2752c75a","sha256:ed785aab1df3ddcf0d5078b8d8bd8fb0bf788cb81f7c15ea164de6686a214c6b"],"state_sha256":"34b3a97fac7abdd717b2308e8b5a281cf1fa4188560f350b6d1dba1322dd434e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"f/nxAkhduDIknDkL7PiX9WhKpxavnCC64OgVgDpeF9Y+j+OAVVafMYI0Qt+ESXF9g7j1wK//ZRkZ3aO5Rl3/AQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T08:08:00.538106Z","bundle_sha256":"47e35216eef04178dab4cc64b20c7b111bfeaa8df449f66c75ecea9b38b15ac4"}}