{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:HNC4QP6OSW7HIHRSJRSW5AKRBY","short_pith_number":"pith:HNC4QP6O","schema_version":"1.0","canonical_sha256":"3b45c83fce95be741e324c656e81510e2b4bc0e2ead0fe8894cfbbb54fb5299c","source":{"kind":"arxiv","id":"2506.11697","version":1},"attestation_state":"computed","paper":{"title":"SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bin Yuan, Deqing Zou, Hai Jin, Kedie Shu, Shenghua Guan, Shouhuai Xu, Yiwei Hu, Zhen Li","submitted_at":"2025-06-13T11:59:04Z","abstract_excerpt":"The increasing complexity of software has led to the steady growth of vulnerabilities. Vulnerability repair investigates how to fix software vulnerabilities. Manual vulnerability repair is labor-intensive and time-consuming because it relies on human experts, highlighting the importance of Automated Vulnerability Repair (AVR). In this SoK, we present the systematization of AVR methods through the three steps of AVR workflow: vulnerability analysis, patch generation, and patch validation. We assess AVR tools for C/C++ and Java programs as they have been widely studied by the community. Since ex"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2506.11697","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-06-13T11:59:04Z","cross_cats_sorted":[],"title_canon_sha256":"5d4e82122e4ea1305967b78d53893b120d52f2238bed54e6e1677897efee6881","abstract_canon_sha256":"a2ce667492d6f066d61fb7fb330a20a4c098f3a1a1d01e3918b936a4a7af0ee8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:21:09.352852Z","signature_b64":"69A0pL6CltzAnEb32KP0KHEvjvcpEuKZSDtBfY51Motzs72X62yYUq/4dnI/B6ML9jBFdBD7q8bHy9SfWPIADw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3b45c83fce95be741e324c656e81510e2b4bc0e2ead0fe8894cfbbb54fb5299c","last_reissued_at":"2026-07-05T11:21:09.352369Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:21:09.352369Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bin Yuan, Deqing Zou, Hai Jin, Kedie Shu, Shenghua Guan, Shouhuai Xu, Yiwei Hu, Zhen Li","submitted_at":"2025-06-13T11:59:04Z","abstract_excerpt":"The increasing complexity of software has led to the steady growth of vulnerabilities. Vulnerability repair investigates how to fix software vulnerabilities. Manual vulnerability repair is labor-intensive and time-consuming because it relies on human experts, highlighting the importance of Automated Vulnerability Repair (AVR). In this SoK, we present the systematization of AVR methods through the three steps of AVR workflow: vulnerability analysis, patch generation, and patch validation. We assess AVR tools for C/C++ and Java programs as they have been widely studied by the community. Since ex"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.11697","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/2506.11697/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2506.11697","created_at":"2026-07-05T11:21:09.352429+00:00"},{"alias_kind":"arxiv_version","alias_value":"2506.11697v1","created_at":"2026-07-05T11:21:09.352429+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.11697","created_at":"2026-07-05T11:21:09.352429+00:00"},{"alias_kind":"pith_short_12","alias_value":"HNC4QP6OSW7H","created_at":"2026-07-05T11:21:09.352429+00:00"},{"alias_kind":"pith_short_16","alias_value":"HNC4QP6OSW7HIHRS","created_at":"2026-07-05T11:21:09.352429+00:00"},{"alias_kind":"pith_short_8","alias_value":"HNC4QP6O","created_at":"2026-07-05T11:21:09.352429+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2605.17444","citing_title":"MemRepair: Hierarchical Memory for Agentic Repository-Level Vulnerability Repair","ref_index":17,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/HNC4QP6OSW7HIHRSJRSW5AKRBY","json":"https://pith.science/pith/HNC4QP6OSW7HIHRSJRSW5AKRBY.json","graph_json":"https://pith.science/api/pith-number/HNC4QP6OSW7HIHRSJRSW5AKRBY/graph.json","events_json":"https://pith.science/api/pith-number/HNC4QP6OSW7HIHRSJRSW5AKRBY/events.json","paper":"https://pith.science/paper/HNC4QP6O"},"agent_actions":{"view_html":"https://pith.science/pith/HNC4QP6OSW7HIHRSJRSW5AKRBY","download_json":"https://pith.science/pith/HNC4QP6OSW7HIHRSJRSW5AKRBY.json","view_paper":"https://pith.science/paper/HNC4QP6O","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2506.11697&json=true","fetch_graph":"https://pith.science/api/pith-number/HNC4QP6OSW7HIHRSJRSW5AKRBY/graph.json","fetch_events":"https://pith.science/api/pith-number/HNC4QP6OSW7HIHRSJRSW5AKRBY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HNC4QP6OSW7HIHRSJRSW5AKRBY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HNC4QP6OSW7HIHRSJRSW5AKRBY/action/storage_attestation","attest_author":"https://pith.science/pith/HNC4QP6OSW7HIHRSJRSW5AKRBY/action/author_attestation","sign_citation":"https://pith.science/pith/HNC4QP6OSW7HIHRSJRSW5AKRBY/action/citation_signature","submit_replication":"https://pith.science/pith/HNC4QP6OSW7HIHRSJRSW5AKRBY/action/replication_record"}},"created_at":"2026-07-05T11:21:09.352429+00:00","updated_at":"2026-07-05T11:21:09.352429+00:00"}