Tolerating C Integer Error via Precision Elevation

IEEE Transactions on Computers, pp. 270-286, 2019.

Cited by: 1|Views44
EI WOS

Abstract:

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

Code:

Data:

Get fulltext within 24h
Bibtex
Your rating :
0

 

Tags
Comments