{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:W3EEWXNQQHBHBBTXGOT4ZT4T65","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":"7908c6ac57618f3a64bd41dd23e6c4bd9c0e17a2e565923fcd1e541d2f727862","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-04-04T15:01:46Z","title_canon_sha256":"94dc0e0e023d3bf743aaedf284836d23d2b0191f4490eccd7fe7f898de36e77f"},"schema_version":"1.0","source":{"id":"1404.1279","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.1279","created_at":"2026-05-18T02:25:26Z"},{"alias_kind":"arxiv_version","alias_value":"1404.1279v3","created_at":"2026-05-18T02:25:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.1279","created_at":"2026-05-18T02:25:26Z"},{"alias_kind":"pith_short_12","alias_value":"W3EEWXNQQHBH","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"W3EEWXNQQHBHBBTX","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"W3EEWXNQ","created_at":"2026-05-18T12:28:54Z"}],"graph_snapshots":[{"event_id":"sha256:c83d7f240399e3f00b4023c41585c20ac09470faaa3b05a792240cff56837747","target":"graph","created_at":"2026-05-18T02:25:26Z","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":"Efficient and accurate path-sensitive analyses pose the challenges of: (a) analyzing an exponentially-increasing number of paths in a control-flow graph (CFG), and (b) checking feasibility of paths in a CFG. We address these challenges by introducing an equivalence relation on the CFG paths to partition them into equivalence classes. It is then sufficient to perform analysis on these equivalence classes rather than on the individual paths in a CFG. This technique has two major advantages: (a) although the number of paths in a CFG can be exponentially large, the essential information to be anal","authors_text":"Ahmed Tamrawi, Suresh Kothari","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-04-04T15:01:46Z","title":"Event-Flow Graphs for Efficient Path-Sensitive Analyses"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.1279","kind":"arxiv","version":3},"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:f15eb82d446183f683d68a526969d24903f6b7b1755a10e6168b32d2a7c757a2","target":"record","created_at":"2026-05-18T02:25:26Z","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":"7908c6ac57618f3a64bd41dd23e6c4bd9c0e17a2e565923fcd1e541d2f727862","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-04-04T15:01:46Z","title_canon_sha256":"94dc0e0e023d3bf743aaedf284836d23d2b0191f4490eccd7fe7f898de36e77f"},"schema_version":"1.0","source":{"id":"1404.1279","kind":"arxiv","version":3}},"canonical_sha256":"b6c84b5db081c270867733a7cccf93f7567296720fbe12635e0eb1b0d524b5e6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b6c84b5db081c270867733a7cccf93f7567296720fbe12635e0eb1b0d524b5e6","first_computed_at":"2026-05-18T02:25:26.535510Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:25:26.535510Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1Tl0gSrfUMtocEQRLfLwz0OLyYCcJ7dOVufqawnSTMaO6pyFpoBUOkpvaSD3x4nGl7UAK6McxnYjwqXFbwT7DA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:25:26.536121Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.1279","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f15eb82d446183f683d68a526969d24903f6b7b1755a10e6168b32d2a7c757a2","sha256:c83d7f240399e3f00b4023c41585c20ac09470faaa3b05a792240cff56837747"],"state_sha256":"a32e0253b3be000d468f9651510cc20388f8bb1937652ddc89826696e4722d3b"}