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