Roger Dannenberg (School of Computer Science, Carnegie Mellon University)
School of Computer Science, Carnegie Mellon University
Publications by Roger Dannenberg (School of Computer Science, Carnegie Mellon University)
-
As-If Infinitely Ranged Integer Model
November 01, 2010 • Presentation
Roger Dannenberg (School of Computer Science, Carnegie Mellon University)Thomas Plum (Plum Hall, Inc.)Will Dormann
This ISSRE 2010 paper describes the AIR Integer model for eliminating vulnerabilities resulting from integer overflow, truncation, and unanticipated wrapping.
read -
As-If Infinitely Ranged Integer Model, Second Edition
April 01, 2010 • Technical Note
Roger Dannenberg (School of Computer Science, Carnegie Mellon University)Will DormannDavid Keaton
In this report, the authors present the as-if infinitely ranged (AIR) integer model, a mechanism for eliminating integral exceptional conditions.
read -
Instrumented Fuzz Testing Using AIR Integers (Whitepaper)
February 01, 2010 • White Paper
Roger Dannenberg (School of Computer Science, Carnegie Mellon University)Will DormannDavid Keaton
In this paper, the authors present the as-if infinitely ranged (AIR) integer model, which provides a mechanism for eliminating integral exceptional conditions.
read