IntRepair: Informed Repairing of Integer Overflows.

Paul Muntean Martin Monperrus Hao Sun Jens Grossklags Claudia Eckert

Published in: IEEE Trans. Software Eng. (2021)

Keyphrases

floating point
buffer overflow
integer valued
decision variables
data mining
genetic algorithm
bayesian networks
expert systems
minimum cost flow