As-if Infinitely Ranged Integer Model
CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST
Pagination or Media Count:
Integer overflow and wraparound are a major cause of software vulnerabilities in the C and C programming languages. In this paper, we present the as-if infinitely ranged AIR integer model, which provides a largely automated mechanism for eliminating integer overflow and integer truncation. The AIR integer model either produces a value which is equivalent to a value that would have been obtained using infinitely ranged integers or results in a runtime constraint violation. Unlike previous integer models, AIR integers do not require precise traps, and consequently do not break or inhibit most existing optimizations.
- Operations Research