Issta_22

Our paper Program Vulnerability Repair via Inductive Inference has been accepted to ISSTA’22. VulnFix performs inductive inference on normal/buggy program states to extract constraints for security vulnerability repair.