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

Digital Library

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 Prototype
  • 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 February 21, 2019, 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} }