SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , , , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866915341601341440 |
|---|---|
| author | Hu, Yiwei Li, Zhen Shu, Kedie Guan, Shenghua Zou, Deqing Xu, Shouhuai Yuan, Bin Jin, Hai |
| author_facet | Hu, Yiwei Li, Zhen Shu, Kedie Guan, Shenghua Zou, Deqing Xu, Shouhuai Yuan, Bin Jin, Hai |
| contents | 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 existing AVR tools for C/C++ programs are evaluated with different datasets, which often consist of a few vulnerabilities, we construct the first C/C++ vulnerability repair benchmark dataset, dubbed Vul4C, which contains 144 vulnerabilities as well as their exploits and patches. We use Vul4C to evaluate seven AVR tools for C/C++ programs and use the third-party Vul4J dataset to evaluate two AVR tools for Java programs. We also discuss future research directions. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_11697 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Hu, Yiwei Li, Zhen Shu, Kedie Guan, Shenghua Zou, Deqing Xu, Shouhuai Yuan, Bin Jin, Hai Software Engineering 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 existing AVR tools for C/C++ programs are evaluated with different datasets, which often consist of a few vulnerabilities, we construct the first C/C++ vulnerability repair benchmark dataset, dubbed Vul4C, which contains 144 vulnerabilities as well as their exploits and patches. We use Vul4C to evaluate seven AVR tools for C/C++ programs and use the third-party Vul4J dataset to evaluate two AVR tools for Java programs. We also discuss future research directions. |
| title | SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments |
| topic | Software Engineering |
| url | https://arxiv.org/abs/2506.11697 |