Paper Info
Title
Tolerating C Integer Error via Precision Elevation.
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 preventing integer errors is challenging even for experienc...
Year
DOI
Venue
2019
10.1109/TC.2018.2866388
IEEE Transactions on Computers
Keywords
Field
DocType
C languages,Software,Formal specifications,Fault tolerance
Test suite,Integer,Computer science,Parallel computing,Arithmetic,NIST,Software,Spec#,Scaling,Maintenance engineering,Encoding (memory)
Journal
Volume
Issue
ISSN
68
2
0018-9340
Citations 
PageRank 
References 
0
0.34
0
Authors
5
Name
Order
Citations
PageRank
Xi Cheng1165.12
Min Zhou26922.62
Xiaoyu Song331846.99
Ming Gu455474.82
Jia-guang Sun51807134.30