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

Showing 1 - 3 of 3 results for the Author - alex volkovitsky Secure Coding

Technical Note | July 2009 - Technical Note As-if Infinitely Ranged Integer Model By David Keaton, Thomas Plum (Plum Hall - Inc.), Robert C. Seacord, David Svoboda, Alex Volkovitsky, Timothy Wilson

In this report, the authors present the as-if infinitely ranged (AIR) integer model, which eliminates integer overflow and integer truncation in C and C++ code.

Technical Note | April 2010 - Technical Note As-If Infinitely Ranged Integer Model, Second Edition By Roger Dannenberg (School of Computer Science - Carnegie Mellon University), Will Dormann, David Keaton, Thomas Plum (Plum Hall - Inc.), Robert C. Seacord, David Svoboda, Alex Volkovitsky, Timothy Wilson

In this report, the authors present the as-if infinitely ranged (AIR) integer model, a mechanism for eliminating integral exceptional conditions.

Presentation | November 2010 - Presentation As-If Infinitely Ranged Integer Model By Roger Dannenberg (School of Computer Science - Carnegie Mellon University), Thomas Plum (Plum Hall - Inc.), Will Dormann, David Keaton, Robert C. Seacord, David Svoboda, Alex Volkovitsky, Timothy Wilson

This ISSRE 2010 paper describes the AIR Integer model for eliminating vulnerabilities resulting from integer overflow, truncation, and unanticipated wrapping.