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


Publication Date

Showing 1 - 2 of 2 results for the Author - david keaton , Type - White Paper

White Paper | September 2015 - White Paper Secure Coding Analysis of an AADL Code Generator's ... By David Keaton

This paper describes a secure coding analysis of the PolyORB-HI-C runtime system used by C language code output from the Ocarina AADL code generator.

White Paper | February 2010 - White Paper Instrumented Fuzz Testing Using AIR Integers (Whitepaper) By Roger Dannenberg (School of Computer Science - Carnegie Mellon University), Will Dormann, David Keaton, Robert C. Seacord, Timothy Wilson, Thomas Plum (Plum Hall - Inc.)

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