{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:EJWTJ7VORX32DCPUB5VYXWFQ5Z","short_pith_number":"pith:EJWTJ7VO","canonical_record":{"source":{"id":"2401.14813","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-01-26T12:31:30Z","cross_cats_sorted":[],"title_canon_sha256":"da13b0ec64a586ca2d7ac46b1580fc4e944c54eb1dee892749e64b42e7cd767e","abstract_canon_sha256":"07644c17ab8fefe5e64ce3232366fb7c62461fc7dcd1fb0376b50dabf0311eff"},"schema_version":"1.0"},"canonical_sha256":"226d34feae8df7a189f40f6b8bd8b0ee4bd02d407b1f10e3f4baa986d61e70bc","source":{"kind":"arxiv","id":"2401.14813","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.14813","created_at":"2026-07-05T07:38:02Z"},{"alias_kind":"arxiv_version","alias_value":"2401.14813v1","created_at":"2026-07-05T07:38:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.14813","created_at":"2026-07-05T07:38:02Z"},{"alias_kind":"pith_short_12","alias_value":"EJWTJ7VORX32","created_at":"2026-07-05T07:38:02Z"},{"alias_kind":"pith_short_16","alias_value":"EJWTJ7VORX32DCPU","created_at":"2026-07-05T07:38:02Z"},{"alias_kind":"pith_short_8","alias_value":"EJWTJ7VO","created_at":"2026-07-05T07:38:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:EJWTJ7VORX32DCPUB5VYXWFQ5Z","target":"record","payload":{"canonical_record":{"source":{"id":"2401.14813","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-01-26T12:31:30Z","cross_cats_sorted":[],"title_canon_sha256":"da13b0ec64a586ca2d7ac46b1580fc4e944c54eb1dee892749e64b42e7cd767e","abstract_canon_sha256":"07644c17ab8fefe5e64ce3232366fb7c62461fc7dcd1fb0376b50dabf0311eff"},"schema_version":"1.0"},"canonical_sha256":"226d34feae8df7a189f40f6b8bd8b0ee4bd02d407b1f10e3f4baa986d61e70bc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:38:02.204947Z","signature_b64":"FmZaNTK8asyPTPT4ZAxFD+8jnnQbxSkWvzKVJga+XV+SiNeZ+pnRtJryGft6sJNWavF5YcftR4SnTLnN4sD2BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"226d34feae8df7a189f40f6b8bd8b0ee4bd02d407b1f10e3f4baa986d61e70bc","last_reissued_at":"2026-07-05T07:38:02.204354Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:38:02.204354Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2401.14813","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-07-05T07:38:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HUDYdc6fBi/sS3Wl2m7CGBynz9xrNQk2qNNIjACj2X+hHkATVZ/Zf5giGzUEC+tDvNVcyZDRfbR6za0NQCXHCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T22:55:49.838852Z"},"content_sha256":"861a3794ed19e0e90abb50e4af0ff21700838dfe6c41d97a4db4fdc913cf461e","schema_version":"1.0","event_id":"sha256:861a3794ed19e0e90abb50e4af0ff21700838dfe6c41d97a4db4fdc913cf461e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:EJWTJ7VORX32DCPUB5VYXWFQ5Z","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Eric Bodden, Kadiray Karakaya","submitted_at":"2024-01-26T12:31:30Z","abstract_excerpt":"Previous work has shown that one can often greatly speed up static analysis by computing data flows not for every edge in the program's control-flow graph but instead only along definition-use chains. This yields a so-called sparse static analysis. Recent work on SparseDroid has shown that specifically taint analysis can be \"sparsified\" with extraordinary effectiveness because the taint state of one variable does not depend on those of others. This allows one to soundly omit more flow-function computations than in the general case.\n  In this work, we now assess whether this result carries over"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.14813","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2401.14813/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T07:38:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"j9wP7NgvoZ95QehjaLJ4jhP8SIfzPFUelbbkSQJZAQ5kAlI8YZU7C4doCEmoJ5qdmU1UW/gWqGg9wTr0UCZUBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T22:55:49.839744Z"},"content_sha256":"a771e487f9388cc4fb88a373e56cab5d27f4af89f9a1095e872d16efd4858f38","schema_version":"1.0","event_id":"sha256:a771e487f9388cc4fb88a373e56cab5d27f4af89f9a1095e872d16efd4858f38"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EJWTJ7VORX32DCPUB5VYXWFQ5Z/bundle.json","state_url":"https://pith.science/pith/EJWTJ7VORX32DCPUB5VYXWFQ5Z/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EJWTJ7VORX32DCPUB5VYXWFQ5Z/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-08-23T22:55:49Z","links":{"resolver":"https://pith.science/pith/EJWTJ7VORX32DCPUB5VYXWFQ5Z","bundle":"https://pith.science/pith/EJWTJ7VORX32DCPUB5VYXWFQ5Z/bundle.json","state":"https://pith.science/pith/EJWTJ7VORX32DCPUB5VYXWFQ5Z/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EJWTJ7VORX32DCPUB5VYXWFQ5Z/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:EJWTJ7VORX32DCPUB5VYXWFQ5Z","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":"07644c17ab8fefe5e64ce3232366fb7c62461fc7dcd1fb0376b50dabf0311eff","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-01-26T12:31:30Z","title_canon_sha256":"da13b0ec64a586ca2d7ac46b1580fc4e944c54eb1dee892749e64b42e7cd767e"},"schema_version":"1.0","source":{"id":"2401.14813","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.14813","created_at":"2026-07-05T07:38:02Z"},{"alias_kind":"arxiv_version","alias_value":"2401.14813v1","created_at":"2026-07-05T07:38:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.14813","created_at":"2026-07-05T07:38:02Z"},{"alias_kind":"pith_short_12","alias_value":"EJWTJ7VORX32","created_at":"2026-07-05T07:38:02Z"},{"alias_kind":"pith_short_16","alias_value":"EJWTJ7VORX32DCPU","created_at":"2026-07-05T07:38:02Z"},{"alias_kind":"pith_short_8","alias_value":"EJWTJ7VO","created_at":"2026-07-05T07:38:02Z"}],"graph_snapshots":[{"event_id":"sha256:a771e487f9388cc4fb88a373e56cab5d27f4af89f9a1095e872d16efd4858f38","target":"graph","created_at":"2026-07-05T07:38:02Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2401.14813/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Previous work has shown that one can often greatly speed up static analysis by computing data flows not for every edge in the program's control-flow graph but instead only along definition-use chains. This yields a so-called sparse static analysis. Recent work on SparseDroid has shown that specifically taint analysis can be \"sparsified\" with extraordinary effectiveness because the taint state of one variable does not depend on those of others. This allows one to soundly omit more flow-function computations than in the general case.\n  In this work, we now assess whether this result carries over","authors_text":"Eric Bodden, Kadiray Karakaya","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-01-26T12:31:30Z","title":"Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.14813","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:861a3794ed19e0e90abb50e4af0ff21700838dfe6c41d97a4db4fdc913cf461e","target":"record","created_at":"2026-07-05T07:38:02Z","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":"07644c17ab8fefe5e64ce3232366fb7c62461fc7dcd1fb0376b50dabf0311eff","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-01-26T12:31:30Z","title_canon_sha256":"da13b0ec64a586ca2d7ac46b1580fc4e944c54eb1dee892749e64b42e7cd767e"},"schema_version":"1.0","source":{"id":"2401.14813","kind":"arxiv","version":1}},"canonical_sha256":"226d34feae8df7a189f40f6b8bd8b0ee4bd02d407b1f10e3f4baa986d61e70bc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"226d34feae8df7a189f40f6b8bd8b0ee4bd02d407b1f10e3f4baa986d61e70bc","first_computed_at":"2026-07-05T07:38:02.204354Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:38:02.204354Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FmZaNTK8asyPTPT4ZAxFD+8jnnQbxSkWvzKVJga+XV+SiNeZ+pnRtJryGft6sJNWavF5YcftR4SnTLnN4sD2BA==","signature_status":"signed_v1","signed_at":"2026-07-05T07:38:02.204947Z","signed_message":"canonical_sha256_bytes"},"source_id":"2401.14813","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:861a3794ed19e0e90abb50e4af0ff21700838dfe6c41d97a4db4fdc913cf461e","sha256:a771e487f9388cc4fb88a373e56cab5d27f4af89f9a1095e872d16efd4858f38"],"state_sha256":"fc9dfcf72fefbb665152817bcf86cf7b0a6f8ffa797eda96f93416be2cc9b0cc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UZOonplnUkxEClJSefRa0/zDNz0qa9LzHRMdX6f1JCUV+N0u1lxrtfpBx75xESJBP6X8OHCDhGcMqtWuWr/CAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-23T22:55:49.844431Z","bundle_sha256":"201775040ec96c4ca43695208fa72d373aa21109bac03201df13f553ec030b75"}}