{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:N76I4RN2HXHAZKZQETNJYXRWEU","short_pith_number":"pith:N76I4RN2","schema_version":"1.0","canonical_sha256":"6ffc8e45ba3dce0cab3024da9c5e36251f939e5d2ac69a947d8b67a3c1e1463b","source":{"kind":"arxiv","id":"1907.06522","version":1},"attestation_state":"computed","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 "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1907.06522","created_at":"2026-05-17T23:40:37.494103+00:00"},{"alias_kind":"arxiv_version","alias_value":"1907.06522v1","created_at":"2026-05-17T23:40:37.494103+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.06522","created_at":"2026-05-17T23:40:37.494103+00:00"},{"alias_kind":"pith_short_12","alias_value":"N76I4RN2HXHA","created_at":"2026-05-18T12:33:24.271573+00:00"},{"alias_kind":"pith_short_16","alias_value":"N76I4RN2HXHAZKZQ","created_at":"2026-05-18T12:33:24.271573+00:00"},{"alias_kind":"pith_short_8","alias_value":"N76I4RN2","created_at":"2026-05-18T12:33:24.271573+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/N76I4RN2HXHAZKZQETNJYXRWEU","json":"https://pith.science/pith/N76I4RN2HXHAZKZQETNJYXRWEU.json","graph_json":"https://pith.science/api/pith-number/N76I4RN2HXHAZKZQETNJYXRWEU/graph.json","events_json":"https://pith.science/api/pith-number/N76I4RN2HXHAZKZQETNJYXRWEU/events.json","paper":"https://pith.science/paper/N76I4RN2"},"agent_actions":{"view_html":"https://pith.science/pith/N76I4RN2HXHAZKZQETNJYXRWEU","download_json":"https://pith.science/pith/N76I4RN2HXHAZKZQETNJYXRWEU.json","view_paper":"https://pith.science/paper/N76I4RN2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1907.06522&json=true","fetch_graph":"https://pith.science/api/pith-number/N76I4RN2HXHAZKZQETNJYXRWEU/graph.json","fetch_events":"https://pith.science/api/pith-number/N76I4RN2HXHAZKZQETNJYXRWEU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/N76I4RN2HXHAZKZQETNJYXRWEU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/N76I4RN2HXHAZKZQETNJYXRWEU/action/storage_attestation","attest_author":"https://pith.science/pith/N76I4RN2HXHAZKZQETNJYXRWEU/action/author_attestation","sign_citation":"https://pith.science/pith/N76I4RN2HXHAZKZQETNJYXRWEU/action/citation_signature","submit_replication":"https://pith.science/pith/N76I4RN2HXHAZKZQETNJYXRWEU/action/replication_record"}},"created_at":"2026-05-17T23:40:37.494103+00:00","updated_at":"2026-05-17T23:40:37.494103+00:00"}