Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Technical Note

As-if Infinitely Ranged Integer Model

  • Abstract

    Integer overflow and wraparound are major causes 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 equivalent to one 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.

    Prototype
    GCC 4.5.0

  • Download

Cite This Report

SEI

Keaton, David; Plum, Thomas; Seacord, Robert; Svoboda, David; Volkovitsky, Alex; & Wilson, Timothy. As-if Infinitely Ranged Integer Model. CMU/SEI-2009-TN-023. Software Engineering Institute, Carnegie Mellon University. 2009. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=9019

IEEE

Keaton. David, Plum. Thomas, Seacord. Robert, Svoboda. David, Volkovitsky. Alex, and Wilson. Timothy, "As-if Infinitely Ranged Integer Model," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Note CMU/SEI-2009-TN-023, 2009. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=9019

APA

Keaton, David., Plum, Thomas., Seacord, Robert., Svoboda, David., Volkovitsky, Alex., & Wilson, Timothy. (2009). As-if Infinitely Ranged Integer Model (CMU/SEI-2009-TN-023). Retrieved May 27, 2016, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=9019

CHI

David Keaton, Thomas Plum, Robert Seacord, David Svoboda, Alex Volkovitsky, & Timothy Wilson. As-if Infinitely Ranged Integer Model (CMU/SEI-2009-TN-023). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2009. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=9019

MLA

Keaton, David., Plum, Thomas., Seacord, Robert., Svoboda, David., Volkovitsky, Alex., & Wilson, Timothy. 2009. As-if Infinitely Ranged Integer Model (Technical Report CMU/SEI-2009-TN-023). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=9019

BibTex

@techreport{KeatonAsifInfinitely2009,
title={As-if Infinitely Ranged Integer Model},
author={David Keaton and Thomas Plum and Robert Seacord and David Svoboda and Alex Volkovitsky and Timothy Wilson},
year={2009},
number={CMU/SEI-2009-TN-023},
institution={Software Engineering Institute, Carnegie Mellon University},
address={Pittsburgh, PA},
url={http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=9019} }