{"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"}