IntPTI: automatic integer error repair with proper-type inference.
ASE, pp. 996-1001, 2017.
Integer errors in C/C++ are caused by arithmetic operations yielding results which are unrepresentable in certain type. They can lead to serious safety and security issues. Due to the complicated semantics of C/C++ integers, integer errors are widely harbored in real-world programs and it is error-prone to repair them even for experts. A...More
Full Text (Upload PDF)
PPT (Upload PPT)