Accession Number:

ADA512342

Title:

As-if Infinitely Ranged Integer Model

Descriptive Note:

Technical note

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST

Report Date:

2009-07-01

Pagination or Media Count:

34.0

Abstract:

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.

Subject Categories:

  • Operations Research

Distribution Statement:

APPROVED FOR PUBLIC RELEASE