{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:GTZXOUY3GTPQD2HMGGXFZVZIA7","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":"31d4f54aabc1da4443cad3c297b8147446ed142de64f4e7df7e6529a615af36b","cross_cats_sorted":["cs.CR"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2023-12-18T08:28:13Z","title_canon_sha256":"565ff57d8241456da59ba02cd1d2e345c058ea1161239b4b96cf71f9d62eee36"},"schema_version":"1.0","source":{"id":"2312.11013","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.11013","created_at":"2026-07-05T07:33:24Z"},{"alias_kind":"arxiv_version","alias_value":"2312.11013v2","created_at":"2026-07-05T07:33:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.11013","created_at":"2026-07-05T07:33:24Z"},{"alias_kind":"pith_short_12","alias_value":"GTZXOUY3GTPQ","created_at":"2026-07-05T07:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"GTZXOUY3GTPQD2HM","created_at":"2026-07-05T07:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"GTZXOUY3","created_at":"2026-07-05T07:33:24Z"}],"graph_snapshots":[{"event_id":"sha256:0de08b93b55c3eec7f8d249cd6c8e8bfce6fb5586fd4c9f17400d18501d2039c","target":"graph","created_at":"2026-07-05T07:33: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/2312.11013/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The number of vulnerabilities reported in open source software has increased substantially in recent years. Security patches provide the necessary measures to protect software from attacks and vulnerabilities. In practice, it is difficult to identify whether patches have been integrated into software, especially if we only have binary files. Therefore, the ability to test whether a patch is applied to the target binary, a.k.a. patch presence test, is crucial for practitioners. However, it is challenging to obtain accurate semantic information from patches, which could lead to incorrect results","authors_text":"David Lo, Xian Zhan, Xiaohu Yang, Xing Hu, Xin Xia, Zhiyuan Pan","cross_cats":["cs.CR"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2023-12-18T08:28:13Z","title":"PPT4J: Patch Presence Test for Java Binaries"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.11013","kind":"arxiv","version":2},"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:b09c71476a34b916a9f67a898d6440476f24436eb08b9b36249a59a04f009fb0","target":"record","created_at":"2026-07-05T07:33: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":"31d4f54aabc1da4443cad3c297b8147446ed142de64f4e7df7e6529a615af36b","cross_cats_sorted":["cs.CR"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2023-12-18T08:28:13Z","title_canon_sha256":"565ff57d8241456da59ba02cd1d2e345c058ea1161239b4b96cf71f9d62eee36"},"schema_version":"1.0","source":{"id":"2312.11013","kind":"arxiv","version":2}},"canonical_sha256":"34f377531b34df01e8ec31ae5cd72807f6a24003b7c63ea787b113c0d2ca4e51","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"34f377531b34df01e8ec31ae5cd72807f6a24003b7c63ea787b113c0d2ca4e51","first_computed_at":"2026-07-05T07:33:24.250599Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:33:24.250599Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pU0u7H23diTgVDvFVQ2+gxmVflxJX4Fp+1wZeauh2AOpcv6SU5HzxgiLFD0clWFad2ttZ2AYXAHYLXNGUwUICQ==","signature_status":"signed_v1","signed_at":"2026-07-05T07:33:24.251009Z","signed_message":"canonical_sha256_bytes"},"source_id":"2312.11013","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b09c71476a34b916a9f67a898d6440476f24436eb08b9b36249a59a04f009fb0","sha256:0de08b93b55c3eec7f8d249cd6c8e8bfce6fb5586fd4c9f17400d18501d2039c"],"state_sha256":"2745309650afa7166702595b4cb763417fb7d3e3332be9f6937d834b22351655"}