# Bibliography

Coker

Zack
Coker
Samir
Hasan
Jeffrey
Overbey
Munawar
Hafiz
Christian
Kästner

### Integers In C: An Open Invitation To Security Attacks?

JTC1/SC22/WG21 - The C++ Standards Committee - ISOCPP
January 15, 2012
Cook

John D.
Cook

### IEEE floating-point exceptions in C++

Crowl

Lawrence
Crowl

### C++ Binary Fixed-Point Arithmetic

JTC1/SC22/WG21 - The C++ Standards Committee - ISOCPP
January 15, 2012
Crowl & Ottosen

Lawrence
Crowl
Thorsten Ottosen

### Proposal to add Contract Programming to C++

WG21/N1962 and J16/06-0032 - The C++ Standards Committee - ISOCPP
February 25, 2006
Dietz

Will
Dietz
Peng
Li
John
Regehr
Vikram
Adve

### Understanding Integer Overflow in C/C++

Proceedings of the 34th International Conference on Software Engineering (ICSE), Zurich, Switzerland
June 2012
Garcia

J. Daniel
Garcia

### C++ language support for contract programming

WG21/N4293 - The C++ Standards Committee - ISOCPP
December 23, 2014
Goldberg

David
Goldberg

### What Every Computer Scientist Should Know About Floating-Point Arithmetic

ACM Computing Surveys
March, 1991
Katz

Omer
Katz

### SafeInt code proposal

Boost Developer's List

Posts of various authors regarding a proposed SafeInt library for boost

David
Keaton
Thomas
Plum
Robert
C.
Seacord
David
Svoboda
Alex
Volkovitsky
Timothy
Wilson

### As-if Infinitely Ranged Integer Model

Software Engineering Institute
CMU/SEI-2009-TN-023

Presents a model for addressing integer overflow errors.

LeBlanc

David
LeBlanc

### Integer Handling with the C++ SafeInt Class

Microsoft Developer Network
January 7, 2004
LeBlanc

David
LeBlanc

### SafeInt

CodePlex
Dec 3, 2014
Lions

Jacques-Louis
Lions

### Ariane 501 Inquiry Board report

Wikisource
July 19, 1996
Matthews

Hubert
Matthews

### CheckedInt: A Policy-Based Range-Checked Integer

Overload Journal #58
December 2003
Mouawad

Jad
Mouawad

### F.A.A Orders Fix for Possible Power Loss in Boeing 787

New York Times
April 30, 2015

Federal regulators will order operators of Boeing 787 Dreamliners to shut down the plane’s electrical power periodically after Boeing discovered a software error that could result in a total loss of power.

Plakosh

Daniel
Plakosh

### Safe Integer Operations

U.S. Department of Homeland Security
May 10, 2013
Seacord

Robert C.
Seacord

### Secure Coding in C and C++

2nd Edition
Addison-Wesley Professional
April 12, 2013
978-0321822130
INT30-C

Robert C.
Seacord

### INT30-C. Ensure that operations on unsigned integers do not wrap

Software Engineering Institute, Carnegie Mellon University
August 17, 2014
INT32-C

Robert C.
Seacord

### INT32-C. Ensure that operations on signed integers do not result in overflow

Software Engineering Institute, Carnegie Mellon University
August 17, 2014
Stone

David
Stone

### C++ Bounded Integer Library

Stroustrup

Bjarn
Stroustrup

### The C++ Programming Language

Fourth Edition
Addison-Wesley
2014 by Pearson Education, Inc.
January 15, 2012
Forum

Forum Posts

### C++ Binary Fixed-Point Arithmetic

ISO C++ Standard Future Proposals

Posts of various authors regarding proposal to add safe integer to C++ standard libraries