{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:MJCPVAKIORTDHC37KOSLUFN3AK","short_pith_number":"pith:MJCPVAKI","canonical_record":{"source":{"id":"2506.05022","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-05T13:32:48Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"34df3efb07cdf1c7cb6ef350f641079d70a2ae68ca1fdc6f9d2dcec6e30af3f2","abstract_canon_sha256":"5b30d2988c5d88c5204f97c40e298c873105e9310014ec5470eb514ce0359de5"},"schema_version":"1.0"},"canonical_sha256":"6244fa81487466338b7f53a4ba15bb02a4f00d35796f0bab502136b6bdaeae00","source":{"kind":"arxiv","id":"2506.05022","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.05022","created_at":"2026-07-05T12:02:02Z"},{"alias_kind":"arxiv_version","alias_value":"2506.05022v4","created_at":"2026-07-05T12:02:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.05022","created_at":"2026-07-05T12:02:02Z"},{"alias_kind":"pith_short_12","alias_value":"MJCPVAKIORTD","created_at":"2026-07-05T12:02:02Z"},{"alias_kind":"pith_short_16","alias_value":"MJCPVAKIORTDHC37","created_at":"2026-07-05T12:02:02Z"},{"alias_kind":"pith_short_8","alias_value":"MJCPVAKI","created_at":"2026-07-05T12:02:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:MJCPVAKIORTDHC37KOSLUFN3AK","target":"record","payload":{"canonical_record":{"source":{"id":"2506.05022","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-05T13:32:48Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"34df3efb07cdf1c7cb6ef350f641079d70a2ae68ca1fdc6f9d2dcec6e30af3f2","abstract_canon_sha256":"5b30d2988c5d88c5204f97c40e298c873105e9310014ec5470eb514ce0359de5"},"schema_version":"1.0"},"canonical_sha256":"6244fa81487466338b7f53a4ba15bb02a4f00d35796f0bab502136b6bdaeae00","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:02:02.431552Z","signature_b64":"6EkvLXsSwgHI6L+U/aGklEvh8PsP0g+aNIAwau23qWW62UJV307K3gRr6/WG+KuTHhV+Ohp0427h9Dbft36nBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6244fa81487466338b7f53a4ba15bb02a4f00d35796f0bab502136b6bdaeae00","last_reissued_at":"2026-07-05T12:02:02.431059Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:02:02.431059Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.05022","source_version":4,"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-05T12:02:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YusvHUn6IYEFcLqjKvkuqe8QsEcWSVDbYfpHYrb2cKwZT7XOq+G0TanGlQKgn9nUZY2x+INrid/aoxRmwLCMCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T22:43:43.193039Z"},"content_sha256":"768d7a00ce3635eddbd9d232dc06648dfef7123e9f8dc7718e049e0191572b5a","schema_version":"1.0","event_id":"sha256:768d7a00ce3635eddbd9d232dc06648dfef7123e9f8dc7718e049e0191572b5a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:MJCPVAKIORTDHC37KOSLUFN3AK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Tech-ASan: Two-stage check for Address Sanitizer","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.SE","authors_text":"Chongyi Huang, Fangcao Jian, Haoran Li, Huafeng Li, Xu Wang, Yixuan Cao, Yuhong Feng","submitted_at":"2025-06-05T13:32:48Z","abstract_excerpt":"Address Sanitizer (ASan) is a sharp weapon for detecting memory safety violations, including temporal and spatial errors hidden in C/C++ programs during execution. However, ASan incurs significant runtime overhead, which limits its efficiency in testing large software. The overhead mainly comes from sanitizer checks due to the frequent and expensive shadow memory access. Over the past decade, many methods have been developed to speed up ASan by eliminating and accelerating sanitizer checks, however, they either fail to adequately eliminate redundant checks or compromise detection capabilities."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.05022","kind":"arxiv","version":4},"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/2506.05022/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-05T12:02:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YkdDSvBJAvWYTsqGF+1033ceaIwTM65cy2T4k+yAgNx9rxdmiFo0MZt2Nt6OYLzcKnXgvej/3hkioBgsFMuRBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T22:43:43.193549Z"},"content_sha256":"3c0b63e780a995a7077725d0b94ce7224867c0c5fae1a94fa4ed4dd7b7423f25","schema_version":"1.0","event_id":"sha256:3c0b63e780a995a7077725d0b94ce7224867c0c5fae1a94fa4ed4dd7b7423f25"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MJCPVAKIORTDHC37KOSLUFN3AK/bundle.json","state_url":"https://pith.science/pith/MJCPVAKIORTDHC37KOSLUFN3AK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MJCPVAKIORTDHC37KOSLUFN3AK/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-07T22:43:43Z","links":{"resolver":"https://pith.science/pith/MJCPVAKIORTDHC37KOSLUFN3AK","bundle":"https://pith.science/pith/MJCPVAKIORTDHC37KOSLUFN3AK/bundle.json","state":"https://pith.science/pith/MJCPVAKIORTDHC37KOSLUFN3AK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MJCPVAKIORTDHC37KOSLUFN3AK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:MJCPVAKIORTDHC37KOSLUFN3AK","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":"5b30d2988c5d88c5204f97c40e298c873105e9310014ec5470eb514ce0359de5","cross_cats_sorted":["cs.CR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-05T13:32:48Z","title_canon_sha256":"34df3efb07cdf1c7cb6ef350f641079d70a2ae68ca1fdc6f9d2dcec6e30af3f2"},"schema_version":"1.0","source":{"id":"2506.05022","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.05022","created_at":"2026-07-05T12:02:02Z"},{"alias_kind":"arxiv_version","alias_value":"2506.05022v4","created_at":"2026-07-05T12:02:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.05022","created_at":"2026-07-05T12:02:02Z"},{"alias_kind":"pith_short_12","alias_value":"MJCPVAKIORTD","created_at":"2026-07-05T12:02:02Z"},{"alias_kind":"pith_short_16","alias_value":"MJCPVAKIORTDHC37","created_at":"2026-07-05T12:02:02Z"},{"alias_kind":"pith_short_8","alias_value":"MJCPVAKI","created_at":"2026-07-05T12:02:02Z"}],"graph_snapshots":[{"event_id":"sha256:3c0b63e780a995a7077725d0b94ce7224867c0c5fae1a94fa4ed4dd7b7423f25","target":"graph","created_at":"2026-07-05T12:02: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/2506.05022/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Address Sanitizer (ASan) is a sharp weapon for detecting memory safety violations, including temporal and spatial errors hidden in C/C++ programs during execution. However, ASan incurs significant runtime overhead, which limits its efficiency in testing large software. The overhead mainly comes from sanitizer checks due to the frequent and expensive shadow memory access. Over the past decade, many methods have been developed to speed up ASan by eliminating and accelerating sanitizer checks, however, they either fail to adequately eliminate redundant checks or compromise detection capabilities.","authors_text":"Chongyi Huang, Fangcao Jian, Haoran Li, Huafeng Li, Xu Wang, Yixuan Cao, Yuhong Feng","cross_cats":["cs.CR"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-05T13:32:48Z","title":"Tech-ASan: Two-stage check for Address Sanitizer"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.05022","kind":"arxiv","version":4},"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:768d7a00ce3635eddbd9d232dc06648dfef7123e9f8dc7718e049e0191572b5a","target":"record","created_at":"2026-07-05T12:02: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":"5b30d2988c5d88c5204f97c40e298c873105e9310014ec5470eb514ce0359de5","cross_cats_sorted":["cs.CR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-05T13:32:48Z","title_canon_sha256":"34df3efb07cdf1c7cb6ef350f641079d70a2ae68ca1fdc6f9d2dcec6e30af3f2"},"schema_version":"1.0","source":{"id":"2506.05022","kind":"arxiv","version":4}},"canonical_sha256":"6244fa81487466338b7f53a4ba15bb02a4f00d35796f0bab502136b6bdaeae00","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6244fa81487466338b7f53a4ba15bb02a4f00d35796f0bab502136b6bdaeae00","first_computed_at":"2026-07-05T12:02:02.431059Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:02:02.431059Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6EkvLXsSwgHI6L+U/aGklEvh8PsP0g+aNIAwau23qWW62UJV307K3gRr6/WG+KuTHhV+Ohp0427h9Dbft36nBw==","signature_status":"signed_v1","signed_at":"2026-07-05T12:02:02.431552Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.05022","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:768d7a00ce3635eddbd9d232dc06648dfef7123e9f8dc7718e049e0191572b5a","sha256:3c0b63e780a995a7077725d0b94ce7224867c0c5fae1a94fa4ed4dd7b7423f25"],"state_sha256":"1f5780e070fd578360c086b34eaa0770053fa897bf76d21193ec81f5dd31c4ae"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XhJ/p3tdmzN70QQa3pFzQW9bnILhTJtLRMhgtVOyaBcLr+mCcNO/zfZVOITslgqTUtMQwPywbQSc3Kj29RsMCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T22:43:43.198811Z","bundle_sha256":"a30f94f5ca3072317b073aebefe12fbfb92d315af68666bffb2565511dd48498"}}