{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:IHQI2XY4U3T7GTRKMF5R3DE747","short_pith_number":"pith:IHQI2XY4","canonical_record":{"source":{"id":"2605.20310","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-19T16:44:58Z","cross_cats_sorted":[],"title_canon_sha256":"689d3cf5e64b2e45b691754c69e8b34fd4080f76e173c66588427999da79c1df","abstract_canon_sha256":"45b4b3c32f2a424dd47abcb17902fc7f7a4bb2c3fd19ffeff67d3aad63a353ed"},"schema_version":"1.0"},"canonical_sha256":"41e08d5f1ca6e7f34e2a617b1d8c9fe7f2905ecc4eaf9b5416987dff720a307e","source":{"kind":"arxiv","id":"2605.20310","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.20310","created_at":"2026-05-21T00:04:24Z"},{"alias_kind":"arxiv_version","alias_value":"2605.20310v1","created_at":"2026-05-21T00:04:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.20310","created_at":"2026-05-21T00:04:24Z"},{"alias_kind":"pith_short_12","alias_value":"IHQI2XY4U3T7","created_at":"2026-05-21T00:04:24Z"},{"alias_kind":"pith_short_16","alias_value":"IHQI2XY4U3T7GTRK","created_at":"2026-05-21T00:04:24Z"},{"alias_kind":"pith_short_8","alias_value":"IHQI2XY4","created_at":"2026-05-21T00:04:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:IHQI2XY4U3T7GTRKMF5R3DE747","target":"record","payload":{"canonical_record":{"source":{"id":"2605.20310","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-19T16:44:58Z","cross_cats_sorted":[],"title_canon_sha256":"689d3cf5e64b2e45b691754c69e8b34fd4080f76e173c66588427999da79c1df","abstract_canon_sha256":"45b4b3c32f2a424dd47abcb17902fc7f7a4bb2c3fd19ffeff67d3aad63a353ed"},"schema_version":"1.0"},"canonical_sha256":"41e08d5f1ca6e7f34e2a617b1d8c9fe7f2905ecc4eaf9b5416987dff720a307e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-21T00:04:24.808468Z","signature_b64":"GyaW05CpWeuPPdgTuQFDUXAnHou9sqxFUc7TMEWqchDnW8SrMdXJK8I42h2fPYKzxLy7KxWL34SZD/UiFwxlDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"41e08d5f1ca6e7f34e2a617b1d8c9fe7f2905ecc4eaf9b5416987dff720a307e","last_reissued_at":"2026-05-21T00:04:24.807979Z","signature_status":"signed_v1","first_computed_at":"2026-05-21T00:04:24.807979Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.20310","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-21T00:04:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Fy0YGlQf1Bixudns90HK66vpcrN+DG5Sn/fNs9AyL5WFea1YJs50ImJszo6PCLNyEaz1vVtI9n2r75b+Ilg3CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T16:57:48.779648Z"},"content_sha256":"4f1efb641df9663aaf98293ab51c0b3cf817a9f6fab2075f6bde9822dc14c128","schema_version":"1.0","event_id":"sha256:4f1efb641df9663aaf98293ab51c0b3cf817a9f6fab2075f6bde9822dc14c128"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:IHQI2XY4U3T7GTRKMF5R3DE747","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Combined Program Analysis Techniques: A Systematic Mapping Study","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Elson Kurian, Enea Raffaele Ilario Papaleo, Giovanni Denaro, Luca Gugliemo, Martino Tessaro, Pietro Braione","submitted_at":"2026-05-19T16:44:58Z","abstract_excerpt":"Context. Since the eighties, the combination of program analysis techniques has been increasingly recognized as a promising approach to overcome the limitations of standalone methods. While individual techniques, based on either static or dynamic analysis, address important challenges in software dependability, their integration often yields synergistic effects on precision, coverage and insights.\n  Objective. This paper surveys a significant portion of the modern literature on combining program analysis techniques, consisting of 248 primary studies, with the aim of cataloging the types of int"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.20310","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/2605.20310/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-05-21T00:04:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hzDmYZDvilOlAal7br74IgqH75JtPN2Ywv6gGakOg0YykvMbOS9IXfxld+DkiIcetPdNDY5tx6YjjfZ70gLdCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T16:57:48.780337Z"},"content_sha256":"e6560af64041412cf3d583473761c40d095ff7f9979685ade382af1651f54c2b","schema_version":"1.0","event_id":"sha256:e6560af64041412cf3d583473761c40d095ff7f9979685ade382af1651f54c2b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IHQI2XY4U3T7GTRKMF5R3DE747/bundle.json","state_url":"https://pith.science/pith/IHQI2XY4U3T7GTRKMF5R3DE747/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IHQI2XY4U3T7GTRKMF5R3DE747/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-05-30T16:57:48Z","links":{"resolver":"https://pith.science/pith/IHQI2XY4U3T7GTRKMF5R3DE747","bundle":"https://pith.science/pith/IHQI2XY4U3T7GTRKMF5R3DE747/bundle.json","state":"https://pith.science/pith/IHQI2XY4U3T7GTRKMF5R3DE747/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IHQI2XY4U3T7GTRKMF5R3DE747/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:IHQI2XY4U3T7GTRKMF5R3DE747","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":"45b4b3c32f2a424dd47abcb17902fc7f7a4bb2c3fd19ffeff67d3aad63a353ed","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-19T16:44:58Z","title_canon_sha256":"689d3cf5e64b2e45b691754c69e8b34fd4080f76e173c66588427999da79c1df"},"schema_version":"1.0","source":{"id":"2605.20310","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.20310","created_at":"2026-05-21T00:04:24Z"},{"alias_kind":"arxiv_version","alias_value":"2605.20310v1","created_at":"2026-05-21T00:04:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.20310","created_at":"2026-05-21T00:04:24Z"},{"alias_kind":"pith_short_12","alias_value":"IHQI2XY4U3T7","created_at":"2026-05-21T00:04:24Z"},{"alias_kind":"pith_short_16","alias_value":"IHQI2XY4U3T7GTRK","created_at":"2026-05-21T00:04:24Z"},{"alias_kind":"pith_short_8","alias_value":"IHQI2XY4","created_at":"2026-05-21T00:04:24Z"}],"graph_snapshots":[{"event_id":"sha256:e6560af64041412cf3d583473761c40d095ff7f9979685ade382af1651f54c2b","target":"graph","created_at":"2026-05-21T00:04:24Z","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/2605.20310/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Context. Since the eighties, the combination of program analysis techniques has been increasingly recognized as a promising approach to overcome the limitations of standalone methods. While individual techniques, based on either static or dynamic analysis, address important challenges in software dependability, their integration often yields synergistic effects on precision, coverage and insights.\n  Objective. This paper surveys a significant portion of the modern literature on combining program analysis techniques, consisting of 248 primary studies, with the aim of cataloging the types of int","authors_text":"Elson Kurian, Enea Raffaele Ilario Papaleo, Giovanni Denaro, Luca Gugliemo, Martino Tessaro, Pietro Braione","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-19T16:44:58Z","title":"Combined Program Analysis Techniques: A Systematic Mapping Study"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.20310","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:4f1efb641df9663aaf98293ab51c0b3cf817a9f6fab2075f6bde9822dc14c128","target":"record","created_at":"2026-05-21T00:04:24Z","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":"45b4b3c32f2a424dd47abcb17902fc7f7a4bb2c3fd19ffeff67d3aad63a353ed","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-19T16:44:58Z","title_canon_sha256":"689d3cf5e64b2e45b691754c69e8b34fd4080f76e173c66588427999da79c1df"},"schema_version":"1.0","source":{"id":"2605.20310","kind":"arxiv","version":1}},"canonical_sha256":"41e08d5f1ca6e7f34e2a617b1d8c9fe7f2905ecc4eaf9b5416987dff720a307e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"41e08d5f1ca6e7f34e2a617b1d8c9fe7f2905ecc4eaf9b5416987dff720a307e","first_computed_at":"2026-05-21T00:04:24.807979Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-21T00:04:24.807979Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GyaW05CpWeuPPdgTuQFDUXAnHou9sqxFUc7TMEWqchDnW8SrMdXJK8I42h2fPYKzxLy7KxWL34SZD/UiFwxlDQ==","signature_status":"signed_v1","signed_at":"2026-05-21T00:04:24.808468Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.20310","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4f1efb641df9663aaf98293ab51c0b3cf817a9f6fab2075f6bde9822dc14c128","sha256:e6560af64041412cf3d583473761c40d095ff7f9979685ade382af1651f54c2b"],"state_sha256":"8fa3716356ee92e06f05d4365a8503c7101fe6a5827bf5ba234e0eb1ed836204"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LhmsNvUpZ8A+sZ532cZlLPk6D9WXyKpZUH0aojVTIlP1mH1muyIHMm01WKQP2xNmvsJ5ciUiAoK3aO8U4XjOAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T16:57:48.783691Z","bundle_sha256":"d2a1d96c31e7f4452e94f70390f7b8c091bb7bc798b3fab9ee78190131ff2e79"}}