{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:VVSIDH6PD46IOUFEH6GLK64TJF","short_pith_number":"pith:VVSIDH6P","canonical_record":{"source":{"id":"1905.02088","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-05-06T15:11:12Z","cross_cats_sorted":[],"title_canon_sha256":"cb5208f9653df87f9a94d652766a160a5e1f2f66ee02d60e9ab364820221a3d3","abstract_canon_sha256":"7b15acd754a3f7b4cc55248afa04253418ddee7f4ecc15bf71d6cff8e2336030"},"schema_version":"1.0"},"canonical_sha256":"ad64819fcf1f3c8750a43f8cb57b93495ae1b0810caead34d459cb9a16808da5","source":{"kind":"arxiv","id":"1905.02088","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.02088","created_at":"2026-05-17T23:46:56Z"},{"alias_kind":"arxiv_version","alias_value":"1905.02088v1","created_at":"2026-05-17T23:46:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.02088","created_at":"2026-05-17T23:46:56Z"},{"alias_kind":"pith_short_12","alias_value":"VVSIDH6PD46I","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"VVSIDH6PD46IOUFE","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"VVSIDH6P","created_at":"2026-05-18T12:33:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:VVSIDH6PD46IOUFEH6GLK64TJF","target":"record","payload":{"canonical_record":{"source":{"id":"1905.02088","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-05-06T15:11:12Z","cross_cats_sorted":[],"title_canon_sha256":"cb5208f9653df87f9a94d652766a160a5e1f2f66ee02d60e9ab364820221a3d3","abstract_canon_sha256":"7b15acd754a3f7b4cc55248afa04253418ddee7f4ecc15bf71d6cff8e2336030"},"schema_version":"1.0"},"canonical_sha256":"ad64819fcf1f3c8750a43f8cb57b93495ae1b0810caead34d459cb9a16808da5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:46:56.409086Z","signature_b64":"I83+m3YA+/XtB+cI4+G5jCQspAmBwVh5ALqzUZFP755KdFgK6SO0V9NzbuKQ88kwDdcqtNEwxAvxEYFPfy8sDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ad64819fcf1f3c8750a43f8cb57b93495ae1b0810caead34d459cb9a16808da5","last_reissued_at":"2026-05-17T23:46:56.408410Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:46:56.408410Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.02088","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-17T23:46:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aEE0tynz+GbWWszL9z908Le0OmWEwmsF/EIF8i3EKnKjkdltCxYw5ffrI0U/0P2Q4z8ridEQ2pBJ+DvkqmrSAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T00:06:03.641254Z"},"content_sha256":"eeae0a30a1b3601124917f2a8fd2d7d83bb237d11b5e19a6c94b426c2dab6f2d","schema_version":"1.0","event_id":"sha256:eeae0a30a1b3601124917f2a8fd2d7d83bb237d11b5e19a6c94b426c2dab6f2d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:VVSIDH6PD46IOUFEH6GLK64TJF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Heaps Don't Lie: Countering Unsoundness with Heap Snapshots","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Adrian Francalanza, George Fourtounis, Neville Grech, Yannis Smaragdakis","submitted_at":"2019-05-06T15:11:12Z","abstract_excerpt":"Static analyses aspire to explore all possible executions in order to achieve soundness. Yet, in practice, they fail to capture common dynamic behavior. Enhancing static analyses with dynamic information is a common pattern, with tools such as Tamiflex. Past approaches, however, miss significant portions of dynamic behavior, due to native code, unsupported features (e.g., invokedynamic or lambdas in Java), and more. We present techniques that substantially counteract the unsoundness of a static analysis, with virtually no intrusion to the analysis logic. Our approach is reified in the HeapDL t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.02088","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-17T23:46:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CDzcrzg/WPQEH/D/WlqN2VM3vJ5ePs1aXCBr1+1vIEnOt1HQpZXLpbtmIaXJ65zf+hqH3FH0QngneKY2eN1+Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T00:06:03.641640Z"},"content_sha256":"9e28c0446350ca9bbdae2430018fab3e4d42f168bbf7858fd74a85ba54cd7560","schema_version":"1.0","event_id":"sha256:9e28c0446350ca9bbdae2430018fab3e4d42f168bbf7858fd74a85ba54cd7560"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VVSIDH6PD46IOUFEH6GLK64TJF/bundle.json","state_url":"https://pith.science/pith/VVSIDH6PD46IOUFEH6GLK64TJF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VVSIDH6PD46IOUFEH6GLK64TJF/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-02T00:06:03Z","links":{"resolver":"https://pith.science/pith/VVSIDH6PD46IOUFEH6GLK64TJF","bundle":"https://pith.science/pith/VVSIDH6PD46IOUFEH6GLK64TJF/bundle.json","state":"https://pith.science/pith/VVSIDH6PD46IOUFEH6GLK64TJF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VVSIDH6PD46IOUFEH6GLK64TJF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:VVSIDH6PD46IOUFEH6GLK64TJF","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":"7b15acd754a3f7b4cc55248afa04253418ddee7f4ecc15bf71d6cff8e2336030","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-05-06T15:11:12Z","title_canon_sha256":"cb5208f9653df87f9a94d652766a160a5e1f2f66ee02d60e9ab364820221a3d3"},"schema_version":"1.0","source":{"id":"1905.02088","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.02088","created_at":"2026-05-17T23:46:56Z"},{"alias_kind":"arxiv_version","alias_value":"1905.02088v1","created_at":"2026-05-17T23:46:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.02088","created_at":"2026-05-17T23:46:56Z"},{"alias_kind":"pith_short_12","alias_value":"VVSIDH6PD46I","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"VVSIDH6PD46IOUFE","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"VVSIDH6P","created_at":"2026-05-18T12:33:30Z"}],"graph_snapshots":[{"event_id":"sha256:9e28c0446350ca9bbdae2430018fab3e4d42f168bbf7858fd74a85ba54cd7560","target":"graph","created_at":"2026-05-17T23:46:56Z","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":"Static analyses aspire to explore all possible executions in order to achieve soundness. Yet, in practice, they fail to capture common dynamic behavior. Enhancing static analyses with dynamic information is a common pattern, with tools such as Tamiflex. Past approaches, however, miss significant portions of dynamic behavior, due to native code, unsupported features (e.g., invokedynamic or lambdas in Java), and more. We present techniques that substantially counteract the unsoundness of a static analysis, with virtually no intrusion to the analysis logic. Our approach is reified in the HeapDL t","authors_text":"Adrian Francalanza, George Fourtounis, Neville Grech, Yannis Smaragdakis","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-05-06T15:11:12Z","title":"Heaps Don't Lie: Countering Unsoundness with Heap Snapshots"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.02088","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:eeae0a30a1b3601124917f2a8fd2d7d83bb237d11b5e19a6c94b426c2dab6f2d","target":"record","created_at":"2026-05-17T23:46:56Z","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":"7b15acd754a3f7b4cc55248afa04253418ddee7f4ecc15bf71d6cff8e2336030","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-05-06T15:11:12Z","title_canon_sha256":"cb5208f9653df87f9a94d652766a160a5e1f2f66ee02d60e9ab364820221a3d3"},"schema_version":"1.0","source":{"id":"1905.02088","kind":"arxiv","version":1}},"canonical_sha256":"ad64819fcf1f3c8750a43f8cb57b93495ae1b0810caead34d459cb9a16808da5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ad64819fcf1f3c8750a43f8cb57b93495ae1b0810caead34d459cb9a16808da5","first_computed_at":"2026-05-17T23:46:56.408410Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:46:56.408410Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"I83+m3YA+/XtB+cI4+G5jCQspAmBwVh5ALqzUZFP755KdFgK6SO0V9NzbuKQ88kwDdcqtNEwxAvxEYFPfy8sDw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:46:56.409086Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.02088","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:eeae0a30a1b3601124917f2a8fd2d7d83bb237d11b5e19a6c94b426c2dab6f2d","sha256:9e28c0446350ca9bbdae2430018fab3e4d42f168bbf7858fd74a85ba54cd7560"],"state_sha256":"0159516747ad08f1f78879b6d2a72ddfa5a7118aeb9dea21b8953781cc77866c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yXzuaAs9ldiEUEEKBIP1GukkzyGKRyXxvbiHZAl9UJl8ssS+bl4iC4HRDwxXsWpZNki9MRsL+LbUlTT3Uo7NCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-02T00:06:03.643831Z","bundle_sha256":"4b43b719b2c0222c0a4831147bdcfcbe168cc57a6f056b3c633e29a60dd3100b"}}