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