GitHub repository: monperrus/IntRepair
Primary language: Java
Description: Prototype of "IntRepair: Informed Repairing of Integer Overflows " TSE 2019