# 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