SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments | Paper Citation Record

Observation da1af2ae-2a72-4a4c-8e94-47c498905437 · outbound

This paper cites https: //github.com/gsliepen/tinc/commit/ 17a33dfd95b1a29e90db76414eb9622df9632320.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments https: //github.com/gsliepen/tinc/commit/ 17a33dfd95b1a29e90db76414eb9622df9632320

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.715716Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed9f4ccf-a91a-4c7b-8085-149fe5ecdb86 · outbound

This paper cites https://git.kernel.org/pub/scm/linux/ kernel/git/stable/linux.git/commit/?id= 81137162bfaa7278785b24c1fd2e9e74f082e8e4.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments https://git.kernel.org/pub/scm/linux/ kernel/git/stable/linux.git/commit/?id= 81137162bfaa7278785b24c1fd2e9e74f082e8e4

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.719766Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f321ca7a-2ecc-4db7-920d-705c04a0d555 · outbound

This paper cites Fault- localization techniques for software systems: A liter- ature review.ACM SIGSOFT Software Engineering Notes, 39(5):1–8, 2014.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Fault- localization techniques for software systems: A liter- ature review.ACM SIGSOFT Software Engineering Notes, 39(5):1–8, 2014

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.724191Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c9e3042-65ae-48e4-b852-396efe5175f6 · outbound

This paper cites asarubbo/poc.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments asarubbo/poc

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.727840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 89ea1752-b361-469c-a318-69b5c5a94b90 · outbound

This paper cites an unresolved cited work.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.731642Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b78e25c2-0d33-43d2-9fa8-89c8f1ff0fe8 · outbound

This paper cites CVEfixes: Automated collection of vulnerabilities and their fixes from open-source software.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments CVEfixes: Automated collection of vulnerabilities and their fixes from open-source software

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.736082Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8c3949d-3f5d-40f2-bbe8-f6dd2f8fd029 · outbound

This paper cites Aurora: statistical crash analysis for au- tomated root cause explanation.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Aurora: statistical crash analysis for au- tomated root cause explanation

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.740732Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f3eb5960-de13-41a2-978d-72a5eb86df89 · outbound

This paper cites Apr4vul: an empirical study of automatic program repair tech- niques on real-world java vulnerabilities.Empirical Software Engineering (ESE), 29(18):1–40, 2024.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Apr4vul: an empirical study of automatic program repair tech- niques on real-world java vulnerabilities.Empirical Software Engineering (ESE), 29(18):1–40, 2024

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.744930Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e9ecc31-3406-422e-b0e0-2fa9f4e68be9 · outbound

This paper cites Díaz Ferreyra.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Díaz Ferreyra

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.748487Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f23ea1e7-32d1-4514-b744-3018a8173006 · outbound

This paper cites End-to-end object detection with trans- formers.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments End-to-end object detection with trans- formers

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.752287Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11e423b4-bfc6-41f4-b49c-08a39f3a571f · outbound

This paper cites Safes- tack: Automatically patching stack-based buffer over- flow vulnerabilities.IEEE Transactions on Depend- able and Secure Computing (TDSC), 10(6):368–379, 2013.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Safes- tack: Automatically patching stack-based buffer over- flow vulnerabilities.IEEE Transactions on Depend- able and Secure Computing (TDSC), 10(6):368–379, 2013

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.756675Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ddf839e0-a8e4-4d5d-9aeb-534c3281ed3c · outbound

This paper cites Diversevul: A new vul- nerable source code dataset for deep learning based vulnerability detection.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Diversevul: A new vul- nerable source code dataset for deep learning based vulnerability detection

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.760753Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98256a70-71a6-43e2-b9c2-2722dee88e84 · outbound

This paper cites Adaptive android kernel live patching.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Adaptive android kernel live patching

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.764046Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8eae02b6-9965-435d-a291-e5b336e73c50 · outbound

This paper cites Neural transfer learning for repairing security vulner- abilities in c code.IEEE Transactions on Software Engineering (TSE), 49(1):147–165, 2023.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Neural transfer learning for repairing security vulner- abilities in c code.IEEE Transactions on Software Engineering (TSE), 49(1):147–165, 2023

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.767686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 229b6df6-2bb1-4b17-845b-9ceaa074a21b · outbound

This paper cites Sequencer: Sequence-to-sequence learn- ing for end-to-end program repair.IEEE Transactions on Software Engineering (TSE), 47(09):1943–1959, 2021.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Sequencer: Sequence-to-sequence learn- ing for end-to-end program repair.IEEE Transactions on Software Engineering (TSE), 47(09):1943–1959, 2021

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.771629Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b9d19f5-5288-40a1-b0d2-51c08e9a8529 · outbound

This paper cites Intpti: Automatic integer error repair with proper-type inference.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Intpti: Automatic integer error repair with proper-type inference

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.775276Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f408f60b-0dee-4d6c-998f-dfb10544ecc4 · outbound

This paper cites Tolerating c integer error via precision elevation.IEEE Transactions on Computers (TC), 68(2):270–286, 2019.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Tolerating c integer error via precision elevation.IEEE Transactions on Computers (TC), 68(2):270–286, 2019

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.778604Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 721d4755-0b3f-421e-9f54-7d785088f256 · outbound

This paper cites Seqtrans: Automatic vulnerability fix via sequence to sequence learning.IEEE Transactions on Software Engineering (TSE), 49(2):564–585, 2023.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Seqtrans: Automatic vulnerability fix via sequence to sequence learning.IEEE Transactions on Software Engineering (TSE), 49(2):564–585, 2023

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.782050Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05ab1248-69ac-479a-8f22-65e56cdcbebc · outbound

This paper cites Repairing DoS vulnerability of real-world regexes.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Repairing DoS vulnerability of real-world regexes

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.785745Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11a701f8-401e-4735-8b12-0084f0ec6151 · outbound

This paper cites Routing in undirected graphs with constant congestion.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Routing in undirected graphs with constant congestion

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.789057Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e315578a-52d2-4717-bd18-0c3e341c0cfb · outbound

This paper cites Program transforma- tions to fix C integers.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Program transforma- tions to fix C integers

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.792330Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb4325a9-7c91-48af-9139-d96f9f9222b1 · outbound

This paper cites an unresolved cited work.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.795899Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7212705e-3cf4-4ccb-b152-9f8046906baa · outbound

This paper cites Pentestgpt: Eval- uating and harnessing large language models for au- tomated penetration testing.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Pentestgpt: Eval- uating and harnessing large language models for au- tomated penetration testing

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.799437Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a4d88ac3-56ee-4780-9933-f1ac7b3dee8b · outbound

This paper cites Automating patching of vulnera- ble open-source software versions in application bi- naries.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Automating patching of vulnera- ble open-source software versions in application bi- naries

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.802850Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b4086a78-4ccb-4785-a971-3deb7539c8a9 · outbound

This paper cites Duck, Xiang Gao, and Abhik Roychoud- hury.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Duck, Xiang Gao, and Abhik Roychoud- hury

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.806394Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1d769be3-52f5-44b5-9f48-c5229a7bfb91 · outbound

This paper cites Duck and Roland H.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Duck and Roland H

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.809731Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 910488fe-e32f-4d13-b270-4fa9af1c24a8 · outbound

This paper cites Stack bounds protection with low fat point- ers.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Stack bounds protection with low fat point- ers

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.813239Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58f074f0-80f3-4e03-998d-3e3d332dc8df · outbound

This paper cites Dynamic patch generation for null pointer exceptions using metaprogramming.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Dynamic patch generation for null pointer exceptions using metaprogramming

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.816735Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d2f0b8d-9f26-40fc-beea-2b86107252fc · outbound

This paper cites Icore con- ference portal.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Icore con- ference portal

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.820121Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4905d2f7-131b-4eb2-acfd-0ff29a2d8db4 · outbound

This paper cites Facebook infer.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Facebook infer

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.823490Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa6653cf-0399-4faf-9283-adbd211faae5 · outbound

This paper cites an unresolved cited work.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.826705Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d36ec06-ed38-4247-86ab-dbf21c3ebafc · outbound

This paper cites Elysium: Context-aware bytecode-level patching to automatically heal vulnerable smart contracts.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Elysium: Context-aware bytecode-level patching to automatically heal vulnerable smart contracts

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.830302Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7e7ea83-89f1-45cf-bcae-e0c1eb5f80c3 · outbound

This paper cites Vision transformer inspired automated vulnerability repair.ACM Transactions on Software Engineering and Methodology (TOSEM), 33(3):1–29, 2024.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Vision transformer inspired automated vulnerability repair.ACM Transactions on Software Engineering and Methodology (TOSEM), 33(3):1–29, 2024

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.833812Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c01d8f6a-5d8d-49a6-afda-d96e56e0a03d · outbound

This paper cites Vulrepair: A t5-based auto- mated software vulnerability repair.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Vulrepair: A t5-based auto- mated software vulnerability repair

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.837200Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8048c870-4f3f-4e04-abfd-14e90219b19d · outbound

This paper cites Bovinspector: Automatic inspection and repair of buffer overflow vulnerabilities.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Bovinspector: Automatic inspection and repair of buffer overflow vulnerabilities

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.840853Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47ac8b0d-76ac-4f7d-9e83-47163ec779ab · outbound

This paper cites Safe memory-leak fixing for C programs.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Safe memory-leak fixing for C programs

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.844220Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca5d100c-9e63-4d71-afd7-a38eda7012cb · outbound

This paper cites Crash-avoiding program repair.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Crash-avoiding program repair

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.847547Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d98e8a35-9c88-4044-816f-97bf94892c51 · outbound

This paper cites Duck, Ruyi Ji, Yingfei Xiong, and Abhik Roychoudhury.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Duck, Ruyi Ji, Yingfei Xiong, and Abhik Roychoudhury

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.850712Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16fdd98c-1497-49a6-969d-4c348f35016e · outbound

This paper cites Automatic software repair: A survey.IEEE Transac- tions on Software Engineering (TSE), 45(01):34–67, 2019.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Automatic software repair: A survey.IEEE Transac- tions on Software Engineering (TSE), 45(01):34–67, 2019

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.853978Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e3ab9e5-8e22-483f-bd9c-d20270840c13 · outbound

This paper cites an unresolved cited work.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.857790Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02acbde0-81a4-4091-a216-68307ff7622c · outbound

This paper cites Generative adver- sarial networks.Communications of the ACM, 63(11):139–144, 2020.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Generative adver- sarial networks.Communications of the ACM, 63(11):139–144, 2020

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.861193Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3931fe7c-6327-4f62-91c1-7484e8d1ce26 · outbound

This paper cites Perception and practices of differential testing.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Perception and practices of differential testing

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.864549Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7c9cdba-cd34-4cc3-9c28-adf7130a7439 · outbound

This paper cites Learning to repair software vulnerabilities with generative adversarial networks.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Learning to repair software vulnerabilities with generative adversarial networks

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.868637Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0764023-1853-4e44-93cf-48d851695924 · outbound

This paper cites SA VER: Scalable, precise, and safe memory-error repair.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments SA VER: Scalable, precise, and safe memory-error repair

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.872045Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d91e439-98bf-4be4-8533-c933a58f8e6b · outbound

This paper cites Large language models for soft- ware engineering: A systematic literature review.ACM Transactions on Software Engineering and Methodol- ogy (TOSEM), 33(8):1–79, 2024.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Large language models for soft- ware engineering: A systematic literature review.ACM Transactions on Software Engineering and Methodol- ogy (TOSEM), 33(8):1–79, 2024

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.875399Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7c0d638-b8b3-4a1e-9ab2-b3d89881e9c4 · outbound

This paper cites Rupair: Towards auto- matic buffer overflow detection and rectification for rust.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Rupair: Towards auto- matic buffer overflow detection and rectification for rust

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.878941Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e0f75b4-62ef-4e5e-aef0-2e8bc9d8ecbe · outbound

This paper cites Evolving paradigms in automated program repair: Taxonomy, challenges, and opportunities.ACM Computing Sur- veys (CSUR), 57(2):1–43, 2024.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Evolving paradigms in automated program repair: Taxonomy, challenges, and opportunities.ACM Computing Sur- veys (CSUR), 57(2):1–43, 2024

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.882254Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f04cb46-7733-4109-9b1d-befe60758fed · outbound

This paper cites Template-guided program repair in the era of large language models.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Template-guided program repair in the era of large language models

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.885437Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f304a361-3b62-4407-808c-1598dcc3c3fe · outbound

This paper cites Using safety properties to generate vulnerability patches.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Using safety properties to generate vulnerability patches

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.888852Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5003ab03-27d8-46e3-acd0-869d6443e089 · outbound

This paper cites Automatic patch generation learned from human-written patches.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Automatic patch generation learned from human-written patches

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.892160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e60408c7-e045-469b-824d-131992cb2600 · outbound

This paper cites Genetic programming: on the program- ming of computers by means of natural selection cam- bridge.MA: MIT Press, 4:87–112, 1992.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Genetic programming: on the program- ming of computers by means of natural selection cam- bridge.MA: MIT Press, 4:87–112, 1992

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.895522Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa46e312-dee5-4582-beef-fd9aab2cba90 · outbound

This paper cites A case study of llm for auto- mated vulnerability repair: Assessing impact of reason- ing and patch validation feedback.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments A case study of llm for auto- mated vulnerability repair: Assessing impact of reason- ing and patch validation feedback

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.899404Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7b9da58-13a9-47c0-9714-fdcbd51d6832 · outbound

This paper cites Verismart: a formal verification tool for so- lidity smart contracts.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Verismart: a formal verification tool for so- lidity smart contracts

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.902535Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c71ca71-67c7-4791-bb73-14dded8f142e · outbound

This paper cites Genprog: A generic method for automatic software repair.IEEE Transactions on Software Engineering (TSE), 38(1):54–72, 2012.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Genprog: A generic method for automatic software repair.IEEE Transactions on Software Engineering (TSE), 38(1):54–72, 2012

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.905946Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21f257d7-0b57-4a4c-b54d-b61d022b1505 · outbound

This paper cites Mem- Fix: Static analysis-based repair of memory dealloca- tion errors for C.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Mem- Fix: Static analysis-based repair of memory dealloca- tion errors for C

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.909194Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9edefff-80bb-4e2c-bb90-42753245ef8a · outbound

This paper cites NPEX: Repairing Java null pointer exceptions without tests.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments NPEX: Repairing Java null pointer exceptions without tests

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.912428Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9e903e6-3722-4b1e-9a5f-57bcdca8dd81 · outbound

This paper cites Retrieval-augmented generation for knowledge- intensive nlp tasks.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Retrieval-augmented generation for knowledge- intensive nlp tasks

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.915568Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2998664a-6c9a-4690-9052-dc7bf0fce69d · outbound

This paper cites Regexscalpel: Reg- ular expression denial of service (redos) defense by localize-and-fix.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Regexscalpel: Reg- ular expression denial of service (redos) defense by localize-and-fix

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.919118Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73ffced3-514c-424f-aa9f-ea7df5cfcd12 · outbound

This paper cites SoK: Towards Effective Automated Vulnerability Repair.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments SoK: Towards Effective Automated Vulnerability Repair

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.923035Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bbb7ad63-6d0c-4100-bda2-931deab3534d · outbound

This paper cites On the effectiveness of function-level vulnerability detectors for inter-procedural vulnerabilities.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments On the effectiveness of function-level vulnerability detectors for inter-procedural vulnerabilities

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.926915Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 597e9a75-a044-4ae5-a3e6-f652d468ab04 · outbound

This paper cites Vuldeelocator: A deep learning-based fine-grained vulnerability detector.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Vuldeelocator: A deep learning-based fine-grained vulnerability detector

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.930346Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e5278986-0ff8-4c0a-b4da-41df109ddea0 · outbound

This paper cites One size does not fit all: Multi- granularity patch generation for better automated pro- gram repair.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments One size does not fit all: Multi- granularity patch generation for better automated pro- gram repair

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.933627Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c52af7c8-eb84-40a7-b8bf-a4263d647a59 · outbound

This paper cites Autopag: Towards automated software patch generation with source code root cause identi- fication and repair.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Autopag: Towards automated software patch generation with source code root cause identi- fication and repair

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.936898Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84e6a742-d088-40ae-8c20-bd7358e4435b · outbound

This paper cites Exploring chatgpt’s capabilities on vulnerability management.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Exploring chatgpt’s capabilities on vulnerability management

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.940268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9bb4fc75-b465-4bbb-8ac0-fe89d34f77a2 · outbound

This paper cites Program repair guided by datalog- defined static analysis.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Program repair guided by datalog- defined static analysis

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.943505Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0a5c6c0-c461-4e0c-aea0-a455d83a87ac · outbound

This paper cites Undefinedbehaviorsanitizer.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Undefinedbehaviorsanitizer

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.946802Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5e82750-130e-43e2-8137-14b640556854 · outbound

This paper cites SoK: Security of programmable logic controllers.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments SoK: Security of programmable logic controllers

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.950388Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ef468ed-c67e-45e9-8c2a-38f61f8ccd28 · outbound

This paper cites Making smart contracts smarter.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Making smart contracts smarter

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.953655Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc0055ad-307b-47fa-b526-5559cc25896b · outbound

This paper cites an unresolved cited work.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Unresolved cited work

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.957203Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d2fd0ef-9345-45af-a1f9-067f03d681e8 · outbound

This paper cites Vurle: Automatic vulnerability detec- tion and repair by learning from examples.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Vurle: Automatic vulnerability detec- tion and repair by learning from examples

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.960695Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dcb11d85-9b4c-4d46-b34e-b1fe1c2112e5 · outbound

This paper cites Symbolic execution with existential second-order constraints.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Symbolic execution with existential second-order constraints

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.964063Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0608313-7ba9-4da9-8039-2ff660977b38 · outbound

This paper cites Angelix: scalable multiline program patch syn- thesis via symbolic analysis.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Angelix: scalable multiline program patch syn- thesis via symbolic analysis

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.967440Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b1df572-1355-45b2-927d-322e09fb506a · outbound

This paper cites Large language model guided protocol fuzzing.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Large language model guided protocol fuzzing

Reference 73

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.970740Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea4bebac-3232-42d8-bf5b-76898d6efbaa · outbound

This paper cites Cohen, and Justyna Petke.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Cohen, and Justyna Petke

Reference 74

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.973951Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 75272319-08bb-49ec-96d1-b8e77edfe87a · outbound

This paper cites Vulchecker: Graph-based vulnerability localization in source code.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Vulchecker: Graph-based vulnerability localization in source code

Reference 75

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.977431Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06c1a81c-e4d8-46b3-843e-b0eef5443042 · outbound

This paper cites Common weakness enumeration.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Common weakness enumeration

Reference 76

Resolution: unresolved; no resolver link, observed 2026-08-07T04:07:25.980846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29648bec-9e26-4623-a80f-22be33ea76ba · outbound

This paper cites Automatic software repair: A bib- liography.ACM Computing Surveys (CSUR), 51(1):1– 24, 2018.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Automatic software repair: A bib- liography.ACM Computing Surveys (CSUR), 51(1):1– 24, 2018

Reference 77

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:07:27.193800Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 84437baf-410b-468b-8ea9-3e7812efb97d · outbound

This paper cites PhD thesis, HAL Archives Ouvertes, 2018.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments PhD thesis, HAL Archives Ouvertes, 2018

Reference 78

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:07:27.182369Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 2d2296d9-2122-4e1a-94ab-04b8dde4ecf2 · outbound

This paper cites Under- standing the reproducibility of crowd-reported security vulnerabilities.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Under- standing the reproducibility of crowd-reported security vulnerabilities

Reference 79

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:07:27.170811Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 0dc03b04-8afc-45e3-afef-eb278b5f7e38 · outbound

This paper cites Intrepair: Informed repairing of integer overflows.IEEE Transactions on Software Engineering (TSE), 47(10):2225–2241, 2019.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Intrepair: Informed repairing of integer overflows.IEEE Transactions on Software Engineering (TSE), 47(10):2225–2241, 2019

Reference 80

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:07:27.158874Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation c5c6a118-2562-40a7-b3a6-6a353cce3ea1 · outbound

This paper cites Nguyen, Long H.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Nguyen, Long H

Reference 81

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:07:27.147052Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 053e7112-7747-4c16-968a-6f872ca7b3b0 · outbound

This paper cites Megavul: A c/c++ vulnerability dataset with comprehensive code representations.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Megavul: A c/c++ vulnerability dataset with comprehensive code representations

Reference 82

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:07:27.135973Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 4fa6834d-cb5b-4064-9da6-9116c94cbfc9 · outbound

This paper cites Crossvul: a cross- language vulnerability dataset with commit data.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Crossvul: a cross- language vulnerability dataset with commit data

Reference 83

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:07:27.124747Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a2b2bb62-f109-4644-bd47-386d4a47c5e3 · outbound

This paper cites Trust enhancement issues in program repair.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Trust enhancement issues in program repair

Reference 84

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:07:27.113500Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 728736ea-a334-45cb-8b3a-86321f896d65 · outbound

This paper cites Vulgen: Realistic vulnerability genera- tion via pattern mining and deep learning.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Vulgen: Realistic vulnerability genera- tion via pattern mining and deep learning

Reference 85

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:07:27.101546Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 88731a96-fccf-42c6-8472-8d2dd3e2f89c · outbound

This paper cites Berger, and Benjamin G.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Berger, and Benjamin G

Reference 86

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:07:27.090393Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 582aee2d-53ea-492c-94bb-050ee11a1e2d · outbound

This paper cites Nvd categories.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Nvd categories

Reference 87

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:07:27.079598Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation ac28f198-88f3-43aa-86f5-795e309b47bf · outbound

This paper cites Report on the static analysis tool exposition (sate) iv.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Report on the static analysis tool exposition (sate) iv

Reference 88

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:07:27.068435Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 82872747-b634-435a-87aa-6b9af851f913 · outbound

This paper cites Opentext fortify static code ana- lyzer.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Opentext fortify static code ana- lyzer

Reference 89

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:07:27.057304Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 6a2c501c-7ef8-4200-92d9-485a99945752 · outbound

This paper cites Automating zero-shot patch porting for hard forks.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Automating zero-shot patch porting for hard forks

Reference 90

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:07:27.046028Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 0b23879c-1975-4c73-a307-f3818de2b966 · outbound

This paper cites Benzene: A practical root cause analysis system with an under-constrained state mutation.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Benzene: A practical root cause analysis system with an under-constrained state mutation

Reference 91

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:07:27.034551Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation ac6503f9-1165-40f6-b3ff-9e7ed97195f3 · outbound

This paper cites Parkinson and Gavin M.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Parkinson and Gavin M

Reference 92

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:07:27.023416Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 59ea3761-f5c7-4da7-8f6f-ad73781d7f78 · outbound

This paper cites Examining zero-shot vulnerability repair with large language mod- els.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Examining zero-shot vulnerability repair with large language mod- els

Reference 93

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:07:27.012418Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 5ca7d2b9-dadd-4e3e-936c-0f9018fb31dd · outbound

This paper cites A comparative study of automatic program repair tech- niques for security vulnerabilities.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments A comparative study of automatic program repair tech- niques for security vulnerabilities

Reference 94

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:07:27.001053Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 6d19d5ee-17d4-46aa-80eb-254a7f7e606c · outbound

This paper cites Reynolds.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Reynolds

Reference 95

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:07:26.989927Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 459eb231-f816-430a-a800-230981e3d067 · outbound

This paper cites Evmpatch: Timely and automated patch- ing of ethereum smart contracts.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Evmpatch: Timely and automated patch- ing of ethereum smart contracts

Reference 96

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:07:26.978907Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 02f57205-f2a7-432b-bf64-e5bda37f5b24 · outbound

This paper cites Vulnerability and threat trends report 2024.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Vulnerability and threat trends report 2024

Reference 97

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:07:26.967752Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation b999a5a8-3fa0-4de9-b004-a80b0149a24c · outbound

This paper cites Concolic testing.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Concolic testing

Reference 98

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:07:26.956221Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 5125fb1d-9c2e-434d-a2c8-03f95b3df822 · outbound

This paper cites AddressSanitizer: A fast address sanity checker.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments AddressSanitizer: A fast address sanity checker

Reference 99

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:07:26.944981Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 7d800be2-92c2-40f4-a03c-f6b8524b091f · outbound

This paper cites Leakpair: Proactive repairing of memory leaks in single page web applications.

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments Leakpair: Proactive repairing of memory leaks in single page web applications

Reference 100

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:07:26.933886Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers