Tolerating C Integer Error via Precision Elevation
IEEE Transactions on Computers, pp. 270-286, 2019.
In C programs, integer error is a common yet important kind of defect due to arithmetic operations that produce unrepresentable values in certain types. Integer errors are harbored in a wide range of applications and possibly lead to serious software failures and exploitable vulnerabilities. Due to the complicated semantics of C, manually...More
Full Text (Upload PDF)
PPT (Upload PPT)