{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:N76I4RN2HXHAZKZQETNJYXRWEU","short_pith_number":"pith:N76I4RN2","canonical_record":{"source":{"id":"1907.06522","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-15T14:32:52Z","cross_cats_sorted":[],"title_canon_sha256":"b4eff1124b35ef70b03931952f70566ed97e286f933d4d8ff77f59f5d453280b","abstract_canon_sha256":"05c44c67a578b7bf730ea6f7e89c3ce234dc163d7b3de09f3956e8f5b921a032"},"schema_version":"1.0"},"canonical_sha256":"6ffc8e45ba3dce0cab3024da9c5e36251f939e5d2ac69a947d8b67a3c1e1463b","source":{"kind":"arxiv","id":"1907.06522","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.06522","created_at":"2026-05-17T23:40:37Z"},{"alias_kind":"arxiv_version","alias_value":"1907.06522v1","created_at":"2026-05-17T23:40:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.06522","created_at":"2026-05-17T23:40:37Z"},{"alias_kind":"pith_short_12","alias_value":"N76I4RN2HXHA","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"N76I4RN2HXHAZKZQ","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"N76I4RN2","created_at":"2026-05-18T12:33:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:N76I4RN2HXHAZKZQETNJYXRWEU","target":"record","payload":{"canonical_record":{"source":{"id":"1907.06522","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-15T14:32:52Z","cross_cats_sorted":[],"title_canon_sha256":"b4eff1124b35ef70b03931952f70566ed97e286f933d4d8ff77f59f5d453280b","abstract_canon_sha256":"05c44c67a578b7bf730ea6f7e89c3ce234dc163d7b3de09f3956e8f5b921a032"},"schema_version":"1.0"},"canonical_sha256":"6ffc8e45ba3dce0cab3024da9c5e36251f939e5d2ac69a947d8b67a3c1e1463b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:40:37.494448Z","signature_b64":"y2/C3uG1lZzbFWnv4YRikYLRhc1AFFdBCbdSQJTiC+uw3xHxQ9PNhUw3VimJp5C8GZhZfJHszc7SbEazKPb2Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6ffc8e45ba3dce0cab3024da9c5e36251f939e5d2ac69a947d8b67a3c1e1463b","last_reissued_at":"2026-05-17T23:40:37.494045Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:40:37.494045Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1907.06522","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:40:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KY1nKrHxdaLvTlqYfK6gW++hGrF+RwXeA/l4Dlx5h5iYqcVmYDr8NtOkCib4F1AYecuj6Dy7fIPjnBNzEqquDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T11:01:48.248283Z"},"content_sha256":"283b14ad66fea83a5c011d2b79be239fc9c8d444e112da324bacd908b5305fe4","schema_version":"1.0","event_id":"sha256:283b14ad66fea83a5c011d2b79be239fc9c8d444e112da324bacd908b5305fe4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:N76I4RN2HXHAZKZQETNJYXRWEU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Relational Static Semantics for Call Graph Construction","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Chenyi Zhang, Xilong Zhuo","submitted_at":"2019-07-15T14:32:52Z","abstract_excerpt":"The problem of resolving virtual method and interface calls in object-oriented languages has been a long standing challenge to the program analysis community. The complexities are due to various reasons, such as increased levels of class inheritance and polymorphism in large programs. In this paper, we propose a new approach called type flow analysis that represent propagation of type information between program variables by a group of relations without the help of a heap abstraction. We prove that regarding the precision on reachability of class information to a variable, our method produces "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.06522","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:40:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T46V1yjsCY4opF6if+JMDOqsDiI2eHW5u0i8NBlgziH3cCh1Y9HD40AlU9rhPwBbac1TD9QxGszbB4KmrfORDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T11:01:48.249077Z"},"content_sha256":"e92f6075bed2688f3ba89176c40d7c1383e582fc8ae489bd068bf2709c9f8da9","schema_version":"1.0","event_id":"sha256:e92f6075bed2688f3ba89176c40d7c1383e582fc8ae489bd068bf2709c9f8da9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/N76I4RN2HXHAZKZQETNJYXRWEU/bundle.json","state_url":"https://pith.science/pith/N76I4RN2HXHAZKZQETNJYXRWEU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/N76I4RN2HXHAZKZQETNJYXRWEU/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-30T11:01:48Z","links":{"resolver":"https://pith.science/pith/N76I4RN2HXHAZKZQETNJYXRWEU","bundle":"https://pith.science/pith/N76I4RN2HXHAZKZQETNJYXRWEU/bundle.json","state":"https://pith.science/pith/N76I4RN2HXHAZKZQETNJYXRWEU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/N76I4RN2HXHAZKZQETNJYXRWEU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:N76I4RN2HXHAZKZQETNJYXRWEU","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":"05c44c67a578b7bf730ea6f7e89c3ce234dc163d7b3de09f3956e8f5b921a032","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-15T14:32:52Z","title_canon_sha256":"b4eff1124b35ef70b03931952f70566ed97e286f933d4d8ff77f59f5d453280b"},"schema_version":"1.0","source":{"id":"1907.06522","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.06522","created_at":"2026-05-17T23:40:37Z"},{"alias_kind":"arxiv_version","alias_value":"1907.06522v1","created_at":"2026-05-17T23:40:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.06522","created_at":"2026-05-17T23:40:37Z"},{"alias_kind":"pith_short_12","alias_value":"N76I4RN2HXHA","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"N76I4RN2HXHAZKZQ","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"N76I4RN2","created_at":"2026-05-18T12:33:24Z"}],"graph_snapshots":[{"event_id":"sha256:e92f6075bed2688f3ba89176c40d7c1383e582fc8ae489bd068bf2709c9f8da9","target":"graph","created_at":"2026-05-17T23:40: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":"The problem of resolving virtual method and interface calls in object-oriented languages has been a long standing challenge to the program analysis community. The complexities are due to various reasons, such as increased levels of class inheritance and polymorphism in large programs. In this paper, we propose a new approach called type flow analysis that represent propagation of type information between program variables by a group of relations without the help of a heap abstraction. We prove that regarding the precision on reachability of class information to a variable, our method produces ","authors_text":"Chenyi Zhang, Xilong Zhuo","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-15T14:32:52Z","title":"A Relational Static Semantics for Call Graph Construction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.06522","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:283b14ad66fea83a5c011d2b79be239fc9c8d444e112da324bacd908b5305fe4","target":"record","created_at":"2026-05-17T23:40: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":"05c44c67a578b7bf730ea6f7e89c3ce234dc163d7b3de09f3956e8f5b921a032","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-15T14:32:52Z","title_canon_sha256":"b4eff1124b35ef70b03931952f70566ed97e286f933d4d8ff77f59f5d453280b"},"schema_version":"1.0","source":{"id":"1907.06522","kind":"arxiv","version":1}},"canonical_sha256":"6ffc8e45ba3dce0cab3024da9c5e36251f939e5d2ac69a947d8b67a3c1e1463b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6ffc8e45ba3dce0cab3024da9c5e36251f939e5d2ac69a947d8b67a3c1e1463b","first_computed_at":"2026-05-17T23:40:37.494045Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:40:37.494045Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"y2/C3uG1lZzbFWnv4YRikYLRhc1AFFdBCbdSQJTiC+uw3xHxQ9PNhUw3VimJp5C8GZhZfJHszc7SbEazKPb2Cg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:40:37.494448Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.06522","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:283b14ad66fea83a5c011d2b79be239fc9c8d444e112da324bacd908b5305fe4","sha256:e92f6075bed2688f3ba89176c40d7c1383e582fc8ae489bd068bf2709c9f8da9"],"state_sha256":"4e72322107cf6c3f18eed330fcf12a21fcc6c5ca8d9e34792a259f2e30a8ace9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"r6yWQAcPExzisQ8YhHFRbY/ijKkVix7ez/qdYGsRLNPYk5fb+ow14HdTcbToDMrQJPahgwnV655ZfXYS4aD0Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T11:01:48.253045Z","bundle_sha256":"cfe561a62d477f7c613301153cb960939c7135716550db15e9f7f981ded93cc9"}}