SoK: Towards Effective Automated Vulnerability Repair | Paper Citation Record

Observation 74c44ea1-ce22-4b95-af80-1e54b46eb650 · outbound

This paper cites Zero-day vulnera- bilities: 17 consequences and complications.

SoK: Towards Effective Automated Vulnerability Repair Zero-day vulnera- bilities: 17 consequences and complications

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.814812Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee6afa09-57e2-4624-9ef0-df1fa98ee41f · outbound

This paper cites Evaluating complexity, code churn, and developer activitymetricsasindicatorsofsoftwarevulnerabilities.

SoK: Towards Effective Automated Vulnerability Repair Evaluating complexity, code churn, and developer activitymetricsasindicatorsofsoftwarevulnerabilities

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.822465Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5bf43d9-b691-42f1-9c68-3391720e1009 · outbound

This paper cites A large-scale empirical study of security patches.

SoK: Towards Effective Automated Vulnerability Repair A large-scale empirical study of security patches

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.828913Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a107bca6-8901-4104-9581-56b99b85bd0b · outbound

This paper cites A novel approach for software vulnerability classifi- cation.

SoK: Towards Effective Automated Vulnerability Repair A novel approach for software vulnerability classifi- cation

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.834391Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 64446ce6-5dc2-48c0-84e5-4a0542aa1436 · outbound

This paper cites Vulnerability remediation timelines: 7 best practices.

SoK: Towards Effective Automated Vulnerability Repair Vulnerability remediation timelines: 7 best practices

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.840426Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c60e1e6f-8321-4290-afa2-b3787f7efa20 · outbound

This paper cites Autopag:towardsautomatedsoftwarepatchgeneration with source code root cause identification and repair.

SoK: Towards Effective Automated Vulnerability Repair Autopag:towardsautomatedsoftwarepatchgeneration with source code root cause identification and repair

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.845525Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b31e0f9-d6ea-44e5-962a-8278de04843e · outbound

This paper cites Exter- minator: automatically correcting memory errors with high probability.

SoK: Towards Effective Automated Vulnerability Repair Exter- minator: automatically correcting memory errors with high probability

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.851698Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0dcf2ac0-673b-44e7-9427-1d2901ff5e09 · outbound

This paper cites Program transformations to fix c integers.

SoK: Towards Effective Automated Vulnerability Repair Program transformations to fix c integers

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.857142Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e25ada95-e7ec-4d13-b67a-b10e4167df8a · outbound

This paper cites an unresolved cited work.

SoK: Towards Effective Automated Vulnerability Repair Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.862026Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a0a9fad-5682-46c4-a71e-10017a735c0b · outbound

This paper cites Program vulnerability repair via inductive inference.

SoK: Towards Effective Automated Vulnerability Repair Program vulnerability repair via inductive inference

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.866850Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9069530-53fa-4823-84a0-4614ff8e4010 · outbound

This paper cites Generative adversarial networks.Communi- cations of the ACM, 2020.

SoK: Towards Effective Automated Vulnerability Repair Generative adversarial networks.Communi- cations of the ACM, 2020

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.871716Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 71191d92-c709-4725-b555-b7ff7046546b · outbound

This paper cites Seqtrans:automaticvulnerabilityfixviasequencetosequence learning.

SoK: Towards Effective Automated Vulnerability Repair Seqtrans:automaticvulnerabilityfixviasequencetosequence learning

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.879065Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 877260ef-8a9b-4699-b9b2-b03539ce905f · outbound

This paper cites Neu- ral transfer learning for repairing security vulnerabilities in c code.

SoK: Towards Effective Automated Vulnerability Repair Neu- ral transfer learning for repairing security vulnerabilities in c code

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.884734Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 086e71a9-bb86-4d1f-9886-eafe8c9f6168 · outbound

This paper cites Howeffective areneuralnetworksforfixingsecurityvulnerabilities.

SoK: Towards Effective Automated Vulnerability Repair Howeffective areneuralnetworksforfixingsecurityvulnerabilities

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.891312Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7670a8f-ca10-483d-8cb4-f8784d4dcf2e · outbound

This paper cites Examining zero-shot vul- nerability repair with large language models.

SoK: Towards Effective Automated Vulnerability Repair Examining zero-shot vul- nerability repair with large language models

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.897167Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b280fa5f-58ca-43c8-80ba-e2f5d44fbd30 · outbound

This paper cites Chatgpt for vulnerability detection, classification, and repair: How far are we? InIEEE APSEC, 2023.

SoK: Towards Effective Automated Vulnerability Repair Chatgpt for vulnerability detection, classification, and repair: How far are we? InIEEE APSEC, 2023

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.902064Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea3ce039-e2f5-46fe-a831-039bf93db67f · outbound

This paper cites Automaticsoftwarerepair:Abibliography.

SoK: Towards Effective Automated Vulnerability Repair Automaticsoftwarerepair:Abibliography

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.907681Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 22eb1854-9eef-422b-b68b-d337e6443ecf · outbound

This paper cites Au- tomatic software repair: A survey.

SoK: Towards Effective Automated Vulnerability Repair Au- tomatic software repair: A survey

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.912376Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af7416d2-a015-4ad9-a178-aadfd0fcbbec · outbound

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

SoK: Towards Effective Automated Vulnerability Repair PhD thesis, HAL Archives Ouvertes, 2018

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.917109Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe1afe76-bbb1-4920-a363-54d0a3f2002f · outbound

This paper cites A compara- tive study ofautomatic program repairtechniques forsecurity vulnerabilities.

SoK: Towards Effective Automated Vulnerability Repair A compara- tive study ofautomatic program repairtechniques forsecurity vulnerabilities

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.921693Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 626458ea-cde5-4ffc-8b53-dbd5a304ada2 · outbound

This paper cites Let’s talk with developers, not about developers: A review of automatic program repair research.IEEE TSE, 2022.

SoK: Towards Effective Automated Vulnerability Repair Let’s talk with developers, not about developers: A review of automatic program repair research.IEEE TSE, 2022

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.926433Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 90210724-47a0-4496-a372-f23a8d54df85 · outbound

This paper cites A Survey on Automated Program Repair Techniques.

SoK: Towards Effective Automated Vulnerability Repair A Survey on Automated Program Repair Techniques

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.931616Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20cd3065-9988-40aa-830c-410663788a4c · outbound

This paper cites A survey of learning-based automated program repair.ACM TOSEM, 2023.

SoK: Towards Effective Automated Vulnerability Repair A survey of learning-based automated program repair.ACM TOSEM, 2023

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.936906Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0817431c-acb0-4498-a7e1-580446090f26 · outbound

This paper cites Large Language Model for Vulnerability Detection and Repair: Literature Review and the Road Ahead.

SoK: Towards Effective Automated Vulnerability Repair Large Language Model for Vulnerability Detection and Repair: Literature Review and the Road Ahead

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.941574Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0d26658-8772-4cc3-8472-0ddccaf0ed53 · outbound

This paper cites What if is not enough? fixing null pointer dereference with contextual check.

SoK: Towards Effective Automated Vulnerability Repair What if is not enough? fixing null pointer dereference with contextual check

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.946968Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b91357f0-bd1f-4568-94a5-1d05aa1ebdae · outbound

This paper cites Tap- fixer: Automatic detection and repair of home automation vulnerabilities based on negated-property reasoning.

SoK: Towards Effective Automated Vulnerability Repair Tap- fixer: Automatic detection and repair of home automation vulnerabilities based on negated-property reasoning

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.952283Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 008c66b9-6c47-4245-8865-a25663d22fa0 · outbound

This paper cites Localizing vulnerabilities statistically from one exploit.

SoK: Towards Effective Automated Vulnerability Repair Localizing vulnerabilities statistically from one exploit

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.957610Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b89890c-1547-4f21-9e12-accf3a69e543 · outbound

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

SoK: Towards Effective Automated Vulnerability Repair Vulchecker: Graph-based vulnerability lo- calization in source code

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.962336Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e6eaea2-ed71-41a9-aea1-28ebf4fd4519 · outbound

This paper cites Dynamic program slicing.

SoK: Towards Effective Automated Vulnerability Repair Dynamic program slicing

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.967303Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4acd8399-e971-48db-b1c7-817aa5672465 · outbound

This paper cites Icspatch: Automated vulnerability lo- calization and non-intrusive hotpatching in industrial control systems using data dependence graphs.

SoK: Towards Effective Automated Vulnerability Repair Icspatch: Automated vulnerability lo- calization and non-intrusive hotpatching in industrial control systems using data dependence graphs

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.972247Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2bbacbf-7ecc-4faf-9233-2e488f0a67e6 · outbound

This paper cites Simplifying and isolat- ing failure-inducing input.IEEE TSE, 2002.

SoK: Towards Effective Automated Vulnerability Repair Simplifying and isolat- ing failure-inducing input.IEEE TSE, 2002

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.977156Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c85ca9a3-527b-4649-b215-1e6123d3dbae · outbound

This paper cites Racing on the negative force: Efficient vulnerability root-cause analysis through reinforce- ment learning on counterexamples.

SoK: Towards Effective Automated Vulnerability Repair Racing on the negative force: Efficient vulnerability root-cause analysis through reinforce- ment learning on counterexamples

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.982644Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1df3249d-28ca-4359-be5e-7213925c65b7 · outbound

This paper cites An empirical study of auto- mated vulnerability localization with large language models.

SoK: Towards Effective Automated Vulnerability Repair An empirical study of auto- mated vulnerability localization with large language models

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.987461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58572fa4-261f-466d-aa23-45e2f8031e32 · outbound

This paper cites Graphspd: Graph-based security patch detection with enriched code semantics.

SoK: Towards Effective Automated Vulnerability Repair Graphspd: Graph-based security patch detection with enriched code semantics

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.993242Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 106436d5-a46c-41ae-a22a-aaf84b830e5c · outbound

This paper cites Directed greybox fuzzing.

SoK: Towards Effective Automated Vulnerability Repair Directed greybox fuzzing

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:48.998520Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0747734-28b3-4017-bf00-935a7f59c3b2 · outbound

This paper cites Evocatio:Conjuringbugcapabilitiesfrom a single poc.

SoK: Towards Effective Automated Vulnerability Repair Evocatio:Conjuringbugcapabilitiesfrom a single poc

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.003536Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec1f760a-fe12-4786-b80c-a9400e79ffe4 · outbound

This paper cites Fast and precise on-the-fly patch validation for all.

SoK: Towards Effective Automated Vulnerability Repair Fast and precise on-the-fly patch validation for all

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.008363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d110a641-38e0-4050-8ad5-7e6a262a884f · outbound

This paper cites Au- tomatic software repair: A survey.IEEE TSE, 2017.

SoK: Towards Effective Automated Vulnerability Repair Au- tomatic software repair: A survey.IEEE TSE, 2017

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.013232Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74796d72-01f8-465a-aae2-1f35816485ad · outbound

This paper cites Leveragingsyntax-relatedcodefor automated program repair.

SoK: Towards Effective Automated Vulnerability Repair Leveragingsyntax-relatedcodefor automated program repair

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.017957Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11d9a495-f2fe-4cff-9136-44cad73e0609 · outbound

This paper cites S3: syntax-and semantic-guided repair synthesis via programming by examples.

SoK: Towards Effective Automated Vulnerability Repair S3: syntax-and semantic-guided repair synthesis via programming by examples

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.022696Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f7895d33-502e-495a-81af-f149e9123834 · outbound

This paper cites Anti-patterns in search-based program repair.

SoK: Towards Effective Automated Vulnerability Repair Anti-patterns in search-based program repair

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.027493Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e1f533e-acfc-4595-9763-42047377b8ea · outbound

This paper cites Automatedbehavioral regression testing.

SoK: Towards Effective Automated Vulnerability Repair Automatedbehavioral regression testing

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.032902Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25e40fd3-1610-4e33-851d-c5c0db64b9e5 · outbound

This paper cites Identifying test-suite-overfitted patches through test case generation.

SoK: Towards Effective Automated Vulnerability Repair Identifying test-suite-overfitted patches through test case generation

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.037751Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5dda728-cc4a-4e36-9bb3-8dcebdfdc642 · outbound

This paper cites Diffgen: Automated regression unit-test generation.

SoK: Towards Effective Automated Vulnerability Repair Diffgen: Automated regression unit-test generation

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.043533Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 900f54b9-a28b-4b36-9954-66dd8335e720 · outbound

This paper cites Automaticpatchgenerationlearnedfromhuman-written patches.

SoK: Towards Effective Automated Vulnerability Repair Automaticpatchgenerationlearnedfromhuman-written patches

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.050336Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87d8a04a-dd2e-47ad-86bb-e92960dedf07 · outbound

This paper cites Identifying patch correctness in test-based program repair.

SoK: Towards Effective Automated Vulnerability Repair Identifying patch correctness in test-based program repair

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.056774Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3f8fe6e-af84-410b-9c74-b78aaeb360aa · outbound

This paper cites Patchverif: Discovering faulty patches in robotic vehicles.

SoK: Towards Effective Automated Vulnerability Repair Patchverif: Discovering faulty patches in robotic vehicles

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.062125Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bed9bbc9-4e93-49a0-b378-9a84ff47650e · outbound

This paper cites Verifying security patches.

SoK: Towards Effective Automated Vulnerability Repair Verifying security patches

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.067852Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01237116-3978-43ff-9576-9f24cc71c3b5 · outbound

This paper cites Leveraging large language model for automatic patch correctness assessment.IEEE TSE, 2024.

SoK: Towards Effective Automated Vulnerability Repair Leveraging large language model for automatic patch correctness assessment.IEEE TSE, 2024

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.073156Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8989631-e0fd-42f6-a828-841adf38c8e8 · outbound

This paper cites Cure: Code-aware neural machine translation for automatic program repair.

SoK: Towards Effective Automated Vulnerability Repair Cure: Code-aware neural machine translation for automatic program repair

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.078109Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a9e8aad-2d68-4abe-92cf-7b22148b6083 · outbound

This paper cites Thinkrepair: Self-directed automated program repair.

SoK: Towards Effective Automated Vulnerability Repair Thinkrepair: Self-directed automated program repair

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.082764Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7de34b3c-8d41-47de-94f2-822b4f54a5bc · outbound

This paper cites Compilation error repair: for the student programs, from the student programs.

SoK: Towards Effective Automated Vulnerability Repair Compilation error repair: for the student programs, from the student programs

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.088972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4df283df-07e0-40ff-a743-8424a5e362b1 · outbound

This paper cites Deepdelta:learningtorepaircompilation errors.

SoK: Towards Effective Automated Vulnerability Repair Deepdelta:learningtorepaircompilation errors

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.094585Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9cce70ec-809a-4ada-803e-435e47b3c2a4 · outbound

This paper cites an unresolved cited work.

SoK: Towards Effective Automated Vulnerability Repair Unresolved cited work

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.099548Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 167dd3c2-6df4-4b0c-88b0-d167d071e652 · outbound

This paper cites Patches as better bug reports.

SoK: Towards Effective Automated Vulnerability Repair Patches as better bug reports

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.105206Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e460cf6-fafb-486c-93ce-8572c6d9dfea · outbound

This paper cites Automati- cally fixing c buffer overflows using program transformations.

SoK: Towards Effective Automated Vulnerability Repair Automati- cally fixing c buffer overflows using program transformations

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.110165Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19cab050-8712-48e2-bf3f-7eeab4548ab2 · outbound

This paper cites Bovin- spector: automatic inspection and repair of buffer overflow vulnerabilities.

SoK: Towards Effective Automated Vulnerability Repair Bovin- spector: automatic inspection and repair of buffer overflow vulnerabilities

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.115519Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 163bb3c7-20be-4d40-9012-5fe1a9f49f45 · outbound

This paper cites Using safety properties to generate vulnerability patches.

SoK: Towards Effective Automated Vulnerability Repair Using safety properties to generate vulnerability patches

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.120385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e7292d7-988d-4ade-84b8-2ccdb567abf1 · outbound

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

SoK: Towards Effective Automated Vulnerability Repair Safe memory-leak fixing for c programs

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.126786Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e7d2055-8c37-4824-8e91-be75986f81ee · outbound

This paper cites Saver: scalable, precise, and safe memory-error repair.

SoK: Towards Effective Automated Vulnerability Repair Saver: scalable, precise, and safe memory-error repair

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.136992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4babebd7-d1cf-4389-a162-df2b22da8fcb · outbound

This paper cites Auto- matedmemoryleakfixingonvalue-flowslicesforcprograms.

SoK: Towards Effective Automated Vulnerability Repair Auto- matedmemoryleakfixingonvalue-flowslicesforcprograms

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.142487Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18a4c5e7-43bc-4053-a896-a75a4a6789c3 · outbound

This paper cites Automatic integer error repair by proper-type inference.

SoK: Towards Effective Automated Vulnerability Repair Automatic integer error repair by proper-type inference

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.147382Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33968b88-9334-4382-a44f-723ebcdca862 · outbound

This paper cites Intrepair: Informed repairing of integer overflows.

SoK: Towards Effective Automated Vulnerability Repair Intrepair: Informed repairing of integer overflows

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.152549Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 53407a57-058f-4b4f-b242-91b369ae68ef · outbound

This paper cites Rupair: towards automatic buffer overflow detection and rectification for rust.

SoK: Towards Effective Automated Vulnerability Repair Rupair: towards automatic buffer overflow detection and rectification for rust

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.157638Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2535ac88-08e3-45c0-b208-5fde8678925e · outbound

This paper cites Automaticallydiagnosingand repairing error handling bugs in c.

SoK: Towards Effective Automated Vulnerability Repair Automaticallydiagnosingand repairing error handling bugs in c

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.162938Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87bf66fb-ca8c-47b5-b377-e0ea7d6bda9f · outbound

This paper cites Smartshield: Automatic smart contract protection made easy.

SoK: Towards Effective Automated Vulnerability Repair Smartshield: Automatic smart contract protection made easy

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.167881Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1df0292b-d7ee-486a-959a-0d593b1244c8 · outbound

This paper cites Evmpatch:Timelyandautomatedpatchingofethereum smart contracts.

SoK: Towards Effective Automated Vulnerability Repair Evmpatch:Timelyandautomatedpatchingofethereum smart contracts

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.173995Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28664458-ab1c-481e-affd-b359bdf319da · outbound

This paper cites Ely- sium:Context-awarebytecode-levelpatchingtoautomatically heal vulnerable smart contracts.

SoK: Towards Effective Automated Vulnerability Repair Ely- sium:Context-awarebytecode-levelpatchingtoautomatically heal vulnerable smart contracts

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.179132Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6ef2f22f-d165-4f5a-a5dc-62771c36543c · outbound

This paper cites Sguard: towards fixingvulnerablesmartcontractsautomatically.

SoK: Towards Effective Automated Vulnerability Repair Sguard: towards fixingvulnerablesmartcontractsautomatically

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.184372Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6fbf87fa-8934-4d65-9740-9f206d984ea4 · outbound

This paper cites CONTRACTFIX: A Framework for Automatically Fixing Vulnerabilities in Smart Contracts.

SoK: Towards Effective Automated Vulnerability Repair CONTRACTFIX: A Framework for Automatically Fixing Vulnerabilities in Smart Contracts

Reference 70

Resolution: verified exact; local_arxiv, observed 2026-08-09T22:24:50.584365Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 1189ec9f-aed4-426d-b374-cdc2075c1671 · outbound

This paper cites Automatically fixing security vulnerabilities in java code.

SoK: Towards Effective Automated Vulnerability Repair Automatically fixing security vulnerabilities in java code

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.194919Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84fcdd98-e7bc-444d-a818-05640166c5db · outbound

This paper cites Vfix: value-flow-guided precise program repair for null pointer dereferences.

SoK: Towards Effective Automated Vulnerability Repair Vfix: value-flow-guided precise program repair for null pointer dereferences

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.199994Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9955fd8-0c86-4db0-99e7-1011acc00000 · outbound

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

SoK: Towards Effective Automated Vulnerability Repair Regexscalpel: Regular expression denial of service (redos) defense by localize-and-fix

Reference 73

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.206968Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 997b78b6-7002-448b-96bb-0e59c55e1675 · outbound

This paper cites Cdrep:Auto- matic repairof cryptographic misuses in android applications.

SoK: Towards Effective Automated Vulnerability Repair Cdrep:Auto- matic repairof cryptographic misuses in android applications

Reference 74

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.212358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0499a7aa-516d-4fb2-8b28-355a390f3b62 · outbound

This paper cites Example-based vulnerability detection and repair in java code.

SoK: Towards Effective Automated Vulnerability Repair Example-based vulnerability detection and repair in java code

Reference 75

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.217148Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1fe0955a-0280-46b2-808f-e1d0e7476d33 · outbound

This paper cites Vurle: Automatic vulnerability detection and repair by learning from examples.

SoK: Towards Effective Automated Vulnerability Repair Vurle: Automatic vulnerability detection and repair by learning from examples

Reference 76

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.222178Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6abfae43-35af-4865-883e-5e8dc8d88f98 · outbound

This paper cites Binary rewriting without control flow recovery.

SoK: Towards Effective Automated Vulnerability Repair Binary rewriting without control flow recovery

Reference 77

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.226906Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db695d87-287c-4744-8abb-808fca4e7686 · outbound

This paper cites an unresolved cited work.

SoK: Towards Effective Automated Vulnerability Repair Unresolved cited work

Reference 78

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.231835Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab6917fc-f56d-4424-b50f-7f184cd70f88 · outbound

This paper cites A genetic programming approach to auto- mated software repair.

SoK: Towards Effective Automated Vulnerability Repair A genetic programming approach to auto- mated software repair

Reference 79

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.237165Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87d0166d-985a-43e7-be08-573cbaff271d · outbound

This paper cites A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each.

SoK: Towards Effective Automated Vulnerability Repair A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each

Reference 80

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.242025Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39be5307-d6e1-4b70-9311-029c04eaa28b · outbound

This paper cites Genprog: A generic method for automatic software repair.IEEE TSE, 2011.

SoK: Towards Effective Automated Vulnerability Repair Genprog: A generic method for automatic software repair.IEEE TSE, 2011

Reference 81

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.247871Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a91f009d-00a9-4526-b628-44fca866db98 · outbound

This paper cites Sapfix: Automated end-to-end repair at scale.

SoK: Towards Effective Automated Vulnerability Repair Sapfix: Automated end-to-end repair at scale

Reference 82

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.254401Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96cf3d46-466c-4b71-bf20-33a0b22111a9 · outbound

This paper cites Hypergi: Automateddetection and repair of information flow leakage.

SoK: Towards Effective Automated Vulnerability Repair Hypergi: Automateddetection and repair of information flow leakage

Reference 83

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.259086Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5536d8e6-b63b-48c4-942a-95d405662240 · outbound

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

SoK: Towards Effective Automated Vulnerability Repair Dynamic patch generation for null pointer exceptions using metaprogramming

Reference 84

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.265047Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0cd562c-24e7-4b0c-aebd-f9ab91463910 · outbound

This paper cites Property-based automated repair of defi protocols.

SoK: Towards Effective Automated Vulnerability Repair Property-based automated repair of defi protocols

Reference 85

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.270428Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2fb769c-c2de-44c3-bc16-d44f50542766 · outbound

This paper cites Backportingsecuritypatchesofwebapplications:Aprototype design and implementation on injection vulnerability patches.

SoK: Towards Effective Automated Vulnerability Repair Backportingsecuritypatchesofwebapplications:Aprototype design and implementation on injection vulnerability patches

Reference 86

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.275684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c4256d1f-994f-4dab-8b7e-34af0e0d0c3c · outbound

This paper cites Automatedpatch backportinginlinux(experiencepaper).

SoK: Towards Effective Automated Vulnerability Repair Automatedpatch backportinginlinux(experiencepaper)

Reference 87

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.281304Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 032c26b8-efbe-4232-a764-d439a218ed4c · outbound

This paper cites Enhancing oss patch backporting with semantics.

SoK: Towards Effective Automated Vulnerability Repair Enhancing oss patch backporting with semantics

Reference 88

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.287004Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f9e5f70-d6b6-4a17-bd08-55f12741561a · outbound

This paper cites Automated patch transplantation.

SoK: Towards Effective Automated Vulnerability Repair Automated patch transplantation

Reference 89

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.293194Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 56705dec-68d1-4d11-9df6-0990d9664bd8 · outbound

This paper cites Fix me up: Repairing access-control bugs in web applications.

SoK: Towards Effective Automated Vulnerability Repair Fix me up: Repairing access-control bugs in web applications

Reference 90

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.299187Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0b0a3bd-10d6-4af3-b358-68bb00830894 · outbound

This paper cites Automatic hot patch generation for android kernels.

SoK: Towards Effective Automated Vulnerability Repair Automatic hot patch generation for android kernels

Reference 91

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.304373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59d3899a-fd1b-441e-a24f-053d7ca98dd1 · outbound

This paper cites Static automated programrepairforheapproperties.

SoK: Towards Effective Automated Vulnerability Repair Static automated programrepairforheapproperties

Reference 92

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.310913Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ad312e5-3a9f-46df-a843-9a29a580fafa · outbound

This paper cites Memfix:static analysis-based repair of memory deallocation errors for c.

SoK: Towards Effective Automated Vulnerability Repair Memfix:static analysis-based repair of memory deallocation errors for c

Reference 93

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.316264Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1b6cf63-44da-4f31-8b84-c3c9c8a697ee · outbound

This paper cites Automating patching of vulnerable open-source software versions in application binaries.

SoK: Towards Effective Automated Vulnerability Repair Automating patching of vulnerable open-source software versions in application binaries

Reference 94

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.321388Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f53674d-ba67-457e-aa34-704a49f70ab6 · outbound

This paper cites Programrepairguidedbydatalog-definedstaticanalysis.

SoK: Towards Effective Automated Vulnerability Repair Programrepairguidedbydatalog-definedstaticanalysis

Reference 95

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.326275Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c89b0837-350e-47e9-a9f2-d1597e430b0a · outbound

This paper cites Repairing dos vulnera- bility of real-world regexes.

SoK: Towards Effective Automated Vulnerability Repair Repairing dos vulnera- bility of real-world regexes

Reference 96

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.330974Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9616c55c-d4ca-4f03-95a7-94586e1a9158 · outbound

This paper cites Semfix: Program repair via semantic analysis.

SoK: Towards Effective Automated Vulnerability Repair Semfix: Program repair via semantic analysis

Reference 97

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.335766Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 977e140a-ebb2-4cad-929a-a8c56b756eb0 · outbound

This paper cites An- gelix:Scalablemultilineprogrampatchsynthesisviasymbolic analysis.

SoK: Towards Effective Automated Vulnerability Repair An- gelix:Scalablemultilineprogrampatchsynthesisviasymbolic analysis

Reference 98

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.340901Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db1946c4-95d3-4269-846a-7430473abed5 · outbound

This paper cites Concolicprogramrepair.

SoK: Towards Effective Automated Vulnerability Repair Concolicprogramrepair

Reference 99

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.346409Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ffa521f8-5518-4e20-a459-ffc707095f50 · outbound

This paper cites Repairing programs with semantic code search(t).

SoK: Towards Effective Automated Vulnerability Repair Repairing programs with semantic code search(t)

Reference 100

Resolution: unresolved; no resolver link, observed 2026-08-09T22:24:49.351540Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers