{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:2RTPL4XO727QWISJWENYRWO5X3","short_pith_number":"pith:2RTPL4XO","canonical_record":{"source":{"id":"1609.08734","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-09-28T02:12:51Z","cross_cats_sorted":[],"title_canon_sha256":"4d029c18a3e55e3848fde536a8c97f52ffd8852ba8fbb9e9e3b66ad66e7de18e","abstract_canon_sha256":"83e584d5e09aa146af4c97042935a7ec428f5b3d0e381a8ccee1de70e1ffdb0b"},"schema_version":"1.0"},"canonical_sha256":"d466f5f2eefebf0b2249b11b88d9ddbed5611808c0e14956d4bd34f20860965e","source":{"kind":"arxiv","id":"1609.08734","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.08734","created_at":"2026-05-18T01:03:42Z"},{"alias_kind":"arxiv_version","alias_value":"1609.08734v1","created_at":"2026-05-18T01:03:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.08734","created_at":"2026-05-18T01:03:42Z"},{"alias_kind":"pith_short_12","alias_value":"2RTPL4XO727Q","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"2RTPL4XO727QWISJ","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"2RTPL4XO","created_at":"2026-05-18T12:29:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:2RTPL4XO727QWISJWENYRWO5X3","target":"record","payload":{"canonical_record":{"source":{"id":"1609.08734","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-09-28T02:12:51Z","cross_cats_sorted":[],"title_canon_sha256":"4d029c18a3e55e3848fde536a8c97f52ffd8852ba8fbb9e9e3b66ad66e7de18e","abstract_canon_sha256":"83e584d5e09aa146af4c97042935a7ec428f5b3d0e381a8ccee1de70e1ffdb0b"},"schema_version":"1.0"},"canonical_sha256":"d466f5f2eefebf0b2249b11b88d9ddbed5611808c0e14956d4bd34f20860965e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:03:42.058601Z","signature_b64":"N5UOmKqI+glfTdrJ+dk19Bkp9sV+MYb0ZXSoklFPZ/FmVCcqnnmSS1VV76kl/2d+bbytpSSXPOSdAyIyy7+kAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d466f5f2eefebf0b2249b11b88d9ddbed5611808c0e14956d4bd34f20860965e","last_reissued_at":"2026-05-18T01:03:42.058138Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:03:42.058138Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1609.08734","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:03:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VbjD4ZFCJWTeVU0R0+JMf+7pDfIUL4e5Bco5HzshrAaYUOaI70tvr9/oB2woIYZAubgpeEVQmNGnEBW/lzK+DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T13:08:04.836200Z"},"content_sha256":"5d21fb0f7428b3c56813597999e08d781b0f8b75557bfbcbd0c77f3ed71e4c01","schema_version":"1.0","event_id":"sha256:5d21fb0f7428b3c56813597999e08d781b0f8b75557bfbcbd0c77f3ed71e4c01"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:2RTPL4XO727QWISJWENYRWO5X3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Interprocedural Semantic Change-Impact Analysis using Equivalence Relations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alex Gyori, Nimrod Partush, Shuvendu K. Lahiri","submitted_at":"2016-09-28T02:12:51Z","abstract_excerpt":"Change-impact analysis (CIA) is the task of determining the set of program elements impacted by a program change. Precise CIA has great potential to avoid expensive testing and code reviews for (parts of) changes that are refactorings (semantics-preserving). Existing CIA is imprecise because it is coarse-grained, deals with only few refactoring patterns, or is unaware of the change semantics.\n  We formalize the notion of change impact in terms of the trace semantics of two program versions. We show how to leverage equivalence relations to make dataflow-based CIA aware of the change semantics, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.08734","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:03:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/oQphziPCAu71nJh9TgkkMGFIPheaec8TXvFt+xLfO7raYbCv0MRt4aql4GWOYrSeEwe27bbNGaIg+QDcrJJCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T13:08:04.836965Z"},"content_sha256":"1e7e2ed8561e72643942dca76adeb1a6b2571f20d960d5a6179b0c0699140d66","schema_version":"1.0","event_id":"sha256:1e7e2ed8561e72643942dca76adeb1a6b2571f20d960d5a6179b0c0699140d66"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2RTPL4XO727QWISJWENYRWO5X3/bundle.json","state_url":"https://pith.science/pith/2RTPL4XO727QWISJWENYRWO5X3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2RTPL4XO727QWISJWENYRWO5X3/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-10T13:08:04Z","links":{"resolver":"https://pith.science/pith/2RTPL4XO727QWISJWENYRWO5X3","bundle":"https://pith.science/pith/2RTPL4XO727QWISJWENYRWO5X3/bundle.json","state":"https://pith.science/pith/2RTPL4XO727QWISJWENYRWO5X3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2RTPL4XO727QWISJWENYRWO5X3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:2RTPL4XO727QWISJWENYRWO5X3","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":"83e584d5e09aa146af4c97042935a7ec428f5b3d0e381a8ccee1de70e1ffdb0b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-09-28T02:12:51Z","title_canon_sha256":"4d029c18a3e55e3848fde536a8c97f52ffd8852ba8fbb9e9e3b66ad66e7de18e"},"schema_version":"1.0","source":{"id":"1609.08734","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.08734","created_at":"2026-05-18T01:03:42Z"},{"alias_kind":"arxiv_version","alias_value":"1609.08734v1","created_at":"2026-05-18T01:03:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.08734","created_at":"2026-05-18T01:03:42Z"},{"alias_kind":"pith_short_12","alias_value":"2RTPL4XO727Q","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"2RTPL4XO727QWISJ","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"2RTPL4XO","created_at":"2026-05-18T12:29:55Z"}],"graph_snapshots":[{"event_id":"sha256:1e7e2ed8561e72643942dca76adeb1a6b2571f20d960d5a6179b0c0699140d66","target":"graph","created_at":"2026-05-18T01:03:42Z","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":"Change-impact analysis (CIA) is the task of determining the set of program elements impacted by a program change. Precise CIA has great potential to avoid expensive testing and code reviews for (parts of) changes that are refactorings (semantics-preserving). Existing CIA is imprecise because it is coarse-grained, deals with only few refactoring patterns, or is unaware of the change semantics.\n  We formalize the notion of change impact in terms of the trace semantics of two program versions. We show how to leverage equivalence relations to make dataflow-based CIA aware of the change semantics, ","authors_text":"Alex Gyori, Nimrod Partush, Shuvendu K. Lahiri","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-09-28T02:12:51Z","title":"Interprocedural Semantic Change-Impact Analysis using Equivalence Relations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.08734","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:5d21fb0f7428b3c56813597999e08d781b0f8b75557bfbcbd0c77f3ed71e4c01","target":"record","created_at":"2026-05-18T01:03:42Z","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":"83e584d5e09aa146af4c97042935a7ec428f5b3d0e381a8ccee1de70e1ffdb0b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-09-28T02:12:51Z","title_canon_sha256":"4d029c18a3e55e3848fde536a8c97f52ffd8852ba8fbb9e9e3b66ad66e7de18e"},"schema_version":"1.0","source":{"id":"1609.08734","kind":"arxiv","version":1}},"canonical_sha256":"d466f5f2eefebf0b2249b11b88d9ddbed5611808c0e14956d4bd34f20860965e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d466f5f2eefebf0b2249b11b88d9ddbed5611808c0e14956d4bd34f20860965e","first_computed_at":"2026-05-18T01:03:42.058138Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:03:42.058138Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"N5UOmKqI+glfTdrJ+dk19Bkp9sV+MYb0ZXSoklFPZ/FmVCcqnnmSS1VV76kl/2d+bbytpSSXPOSdAyIyy7+kAw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:03:42.058601Z","signed_message":"canonical_sha256_bytes"},"source_id":"1609.08734","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5d21fb0f7428b3c56813597999e08d781b0f8b75557bfbcbd0c77f3ed71e4c01","sha256:1e7e2ed8561e72643942dca76adeb1a6b2571f20d960d5a6179b0c0699140d66"],"state_sha256":"0e1b959d474034e44c3c006af65fbe0db4ca81fe87f83e0faa71b9e246ede461"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1A0flfUL4MgUmGr60GRa+CPIUzfI8HSEtrWxWUG7zelXcDhVaTYeokh4fR3eAVms/oMEnX+wRANDff3Lct6ACg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T13:08:04.841765Z","bundle_sha256":"f385441fc93f77ff24bf99e410f02bf581e5f6f01b7c4c72e63dbb8a51c651a5"}}