{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:TF7M3SRUAIRSUF3DGJBJLV6FVS","short_pith_number":"pith:TF7M3SRU","canonical_record":{"source":{"id":"1711.03436","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-11-09T15:54:49Z","cross_cats_sorted":[],"title_canon_sha256":"c5f7c887b8e96d8c7fd2e2ce4ffd0ad8598e3d11bdf40d798b8ccc2b2ba1abdf","abstract_canon_sha256":"d9971f0af77677ef8fa648f12ec535a9e1a4b3866f135bc86bb0e6066e21de79"},"schema_version":"1.0"},"canonical_sha256":"997ecdca3402232a1763324295d7c5acbe598db5effab609d557d409550bce2a","source":{"kind":"arxiv","id":"1711.03436","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.03436","created_at":"2026-05-18T00:30:56Z"},{"alias_kind":"arxiv_version","alias_value":"1711.03436v1","created_at":"2026-05-18T00:30:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.03436","created_at":"2026-05-18T00:30:56Z"},{"alias_kind":"pith_short_12","alias_value":"TF7M3SRUAIRS","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_16","alias_value":"TF7M3SRUAIRSUF3D","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_8","alias_value":"TF7M3SRU","created_at":"2026-05-18T12:31:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:TF7M3SRUAIRSUF3DGJBJLV6FVS","target":"record","payload":{"canonical_record":{"source":{"id":"1711.03436","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-11-09T15:54:49Z","cross_cats_sorted":[],"title_canon_sha256":"c5f7c887b8e96d8c7fd2e2ce4ffd0ad8598e3d11bdf40d798b8ccc2b2ba1abdf","abstract_canon_sha256":"d9971f0af77677ef8fa648f12ec535a9e1a4b3866f135bc86bb0e6066e21de79"},"schema_version":"1.0"},"canonical_sha256":"997ecdca3402232a1763324295d7c5acbe598db5effab609d557d409550bce2a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:30:56.128546Z","signature_b64":"wCDZYZFXCpEhTVSwiPTcuz0Iw6isipFSnVITezSCEwbenP6nQT+mRtqI4T+YLgTz/KBMvrjXvO4Ufl+s9v6BCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"997ecdca3402232a1763324295d7c5acbe598db5effab609d557d409550bce2a","last_reissued_at":"2026-05-18T00:30:56.127814Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:30:56.127814Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1711.03436","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-18T00:30:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rNcw5anQFnLigRMZftrNa3CBauoB58/cw2/hYqXiFfK4YJrhOIYePa7NDRvoUA/t1EH3P+7+A2GDvvDyJM8uAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T21:38:11.966901Z"},"content_sha256":"278f594aedcb23d7e9906e06d43c07481359d89cf9d935dc179b41bd4b78b20f","schema_version":"1.0","event_id":"sha256:278f594aedcb23d7e9906e06d43c07481359d89cf9d935dc179b41bd4b78b20f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:TF7M3SRUAIRSUF3DGJBJLV6FVS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Eventually Sound Points-To Analysis with Missing Code","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Alex Aiken, Lazaro Clapp, Osbert Bastani, Rahul Sharma, Saswat Anand","submitted_at":"2017-11-09T15:54:49Z","abstract_excerpt":"Static analyses make the increasingly tenuous assumption that all source code is available for analysis; for example, large libraries often call into native code that cannot be analyzed. We propose a points-to analysis that initially makes optimistic assumptions about missing code, and then inserts runtime checks that report counterexamples to these assumptions that occur during execution. Our approach guarantees eventual soundness, i.e., the static analysis is sound for the available code after some finite number of counterexamples. We implement Optix, an eventually sound points-to analysis f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.03436","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-18T00:30:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8zVNOqLcZr3CPfLfeK8ul8jlLAx5K7iWl7Vjq5r4Ryd1WjPtkC/w8Zu2oZACirCUWz2WZgoLPLrsgSl/8WupAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T21:38:11.967249Z"},"content_sha256":"28d6fadf033fa501f39b0742cf914300d40a72990713bcbb4a1d03ccec2120b6","schema_version":"1.0","event_id":"sha256:28d6fadf033fa501f39b0742cf914300d40a72990713bcbb4a1d03ccec2120b6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TF7M3SRUAIRSUF3DGJBJLV6FVS/bundle.json","state_url":"https://pith.science/pith/TF7M3SRUAIRSUF3DGJBJLV6FVS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TF7M3SRUAIRSUF3DGJBJLV6FVS/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-01T21:38:11Z","links":{"resolver":"https://pith.science/pith/TF7M3SRUAIRSUF3DGJBJLV6FVS","bundle":"https://pith.science/pith/TF7M3SRUAIRSUF3DGJBJLV6FVS/bundle.json","state":"https://pith.science/pith/TF7M3SRUAIRSUF3DGJBJLV6FVS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TF7M3SRUAIRSUF3DGJBJLV6FVS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:TF7M3SRUAIRSUF3DGJBJLV6FVS","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":"d9971f0af77677ef8fa648f12ec535a9e1a4b3866f135bc86bb0e6066e21de79","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-11-09T15:54:49Z","title_canon_sha256":"c5f7c887b8e96d8c7fd2e2ce4ffd0ad8598e3d11bdf40d798b8ccc2b2ba1abdf"},"schema_version":"1.0","source":{"id":"1711.03436","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.03436","created_at":"2026-05-18T00:30:56Z"},{"alias_kind":"arxiv_version","alias_value":"1711.03436v1","created_at":"2026-05-18T00:30:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.03436","created_at":"2026-05-18T00:30:56Z"},{"alias_kind":"pith_short_12","alias_value":"TF7M3SRUAIRS","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_16","alias_value":"TF7M3SRUAIRSUF3D","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_8","alias_value":"TF7M3SRU","created_at":"2026-05-18T12:31:46Z"}],"graph_snapshots":[{"event_id":"sha256:28d6fadf033fa501f39b0742cf914300d40a72990713bcbb4a1d03ccec2120b6","target":"graph","created_at":"2026-05-18T00:30: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 make the increasingly tenuous assumption that all source code is available for analysis; for example, large libraries often call into native code that cannot be analyzed. We propose a points-to analysis that initially makes optimistic assumptions about missing code, and then inserts runtime checks that report counterexamples to these assumptions that occur during execution. Our approach guarantees eventual soundness, i.e., the static analysis is sound for the available code after some finite number of counterexamples. We implement Optix, an eventually sound points-to analysis f","authors_text":"Alex Aiken, Lazaro Clapp, Osbert Bastani, Rahul Sharma, Saswat Anand","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-11-09T15:54:49Z","title":"Eventually Sound Points-To Analysis with Missing Code"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.03436","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:278f594aedcb23d7e9906e06d43c07481359d89cf9d935dc179b41bd4b78b20f","target":"record","created_at":"2026-05-18T00:30: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":"d9971f0af77677ef8fa648f12ec535a9e1a4b3866f135bc86bb0e6066e21de79","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-11-09T15:54:49Z","title_canon_sha256":"c5f7c887b8e96d8c7fd2e2ce4ffd0ad8598e3d11bdf40d798b8ccc2b2ba1abdf"},"schema_version":"1.0","source":{"id":"1711.03436","kind":"arxiv","version":1}},"canonical_sha256":"997ecdca3402232a1763324295d7c5acbe598db5effab609d557d409550bce2a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"997ecdca3402232a1763324295d7c5acbe598db5effab609d557d409550bce2a","first_computed_at":"2026-05-18T00:30:56.127814Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:30:56.127814Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wCDZYZFXCpEhTVSwiPTcuz0Iw6isipFSnVITezSCEwbenP6nQT+mRtqI4T+YLgTz/KBMvrjXvO4Ufl+s9v6BCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:30:56.128546Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.03436","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:278f594aedcb23d7e9906e06d43c07481359d89cf9d935dc179b41bd4b78b20f","sha256:28d6fadf033fa501f39b0742cf914300d40a72990713bcbb4a1d03ccec2120b6"],"state_sha256":"e0aacb5c90eb2f6259aeb037c0530b4e3a0e38830ca6837a7ce8aa62a24650d1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CeJrm1LbzI+PSlJLGV/xOeG2b9tcLdhpimgpQtQ6D9jl8jVF10fXsbdjmjE81yuHqZlGx2QRut2gZuaWu76mDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T21:38:11.969176Z","bundle_sha256":"d70e8d4faceeac7401224a47def2a672c0c8b52f1c0f01fee6a122a3d55b8653"}}