Bibliography
Coker
Zack
Coker
Samir
Hasan
Jeffrey
Overbey
Munawar
Hafiz
Christian
Kästner
<ulink url="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?">
<ulink
url="https://www.cs.cmu.edu/~ckaestne/pdf/csse14-01.pdf">Integers In
C: An Open Invitation To Security Attacks?</ulink>
</ulink>
JTC1/SC22/WG21 -
The C++ Standards Committee - ISOCPP
January 15, 2012
Cook
John D.
Cook
<ulink
url="https://www.johndcook.com/blog/ieee_exceptions_in_cpp/">IEEE
floating-point exceptions in C++</ulink>
Crowl
Lawrence
Crowl
<ulink url="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?">
<ulink
url="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3352.html">C++
Binary Fixed-Point Arithmetic</ulink>
</ulink>
JTC1/SC22/WG21 -
The C++ Standards Committee - ISOCPP
January 15, 2012
Crowl & Ottosen
Lawrence
Crowl
Thorsten Ottosen
<ulink url="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?">
<ulink
url="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2006/n1962.html">Proposal
to add Contract Programming to C++</ulink>
</ulink>
WG21/N1962 and
J16/06-0032 - The C++ Standards Committee - ISOCPP
February 25, 2006
Dietz
Will
Dietz
Peng
Li
John
Regehr
Vikram
Adve
<ulink
url="http://www.cs.utah.edu/~regehr/papers/overflow12.pdf">Understanding
Integer Overflow in C/C++</ulink>
Proceedings
of the 34th International Conference on Software Engineering (ICSE),
Zurich, Switzerland
June 2012
Garcia
J. Daniel
Garcia
<ulink url="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?">
<ulink
url="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n4293.pdf">C++
language support for contract programming</ulink>
</ulink>
WG21/N4293 - The
C++ Standards Committee - ISOCPP
December 23, 2014
Goldberg
David
Goldberg
<ulink
url="https://docs.oracle.com/cd/E19957-01/806-3568/ncg_goldberg.html">What
Every Computer Scientist Should Know About Floating-Point
Arithmetic</ulink>
ACM Computing
Surveys
March, 1991
Katz
Omer
Katz
<ulink
url="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?">SafeInt
code proposal</ulink>
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
<ulink url="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?">
<ulink
url="http://resources.sei.cmu.edu/asset_files/TechnicalNote/2009_004_001_15074.pdf">As-if
Infinitely Ranged Integer Model</ulink>
</ulink>
Software Engineering
Institute
CMU/SEI-2009-TN-023
Presents a model for addressing integer overflow errors.
LeBlanc
David
LeBlanc
<ulink
url="https://msdn.microsoft.com/en-us/library/ms972705.aspx">Integer
Handling with the C++ SafeInt Class</ulink>
Microsoft Developer Network
January 7, 2004
LeBlanc
David
LeBlanc
<ulink url="https://safeint.codeplex.com">SafeInt</ulink>
CodePlex
Dec 3, 2014
Lions
Jacques-Louis
Lions
<ulink
url="https://en.wikisource.org/wiki/Ariane_501_Inquiry_Board_report">Ariane
501 Inquiry Board report</ulink>
Wikisource
July 19, 1996
Matthews
Hubert
Matthews
<ulink url="https://accu.org/index.php/journals/324">CheckedInt: A
Policy-Based Range-Checked Integer</ulink>
Overload Journal #58
December 2003
Mouawad
Jad
Mouawad
<ulink url="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?">
<ulink
url="http://www.nytimes.com/2015/05/01/business/faa-orders-fix-for-possible-power-loss-in-boeing-787.html?_r=0">F.A.A
Orders Fix for Possible Power Loss in Boeing 787</ulink>
</ulink>
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
<ulink
url="https://buildsecurityin.us-cert.gov/bsi/articles/knowledge/coding/312-BSI.html">Safe
Integer Operations</ulink>
U.S. Department of
Homeland Security
May 10, 2013
Seacord
Robert C.
Seacord
<ulink
url="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?">Secure
Coding in C and C++</ulink>
2nd Edition
Addison-Wesley Professional
April 12, 2013
978-0321822130
INT30-C
Robert C.
Seacord
<ulink
url="https://www.securecoding.cert.org/confluence/display/seccode/INT32-C.+Ensure+that+operations+on+signed+integers+do+not+result+in+overflow?showComments=false">INT30-C.
Ensure that operations on unsigned integers do not wrap</ulink>
Software Engineering Institute,
Carnegie Mellon University
August 17, 2014
INT32-C
Robert C.
Seacord
<ulink
url="https://www.securecoding.cert.org/confluence/display/c/INT30-C.+Ensure+that+unsigned+integer+operations+do+not+wrap">INT32-C.
Ensure that operations on signed integers do not result in
overflow</ulink>
Software Engineering Institute,
Carnegie Mellon University
August 17, 2014
Stone
David
Stone
<ulink url="http://doublewise.net/c++/bounded/">C++ Bounded Integer
Library</ulink>
Stroustrup
Bjarn
Stroustrup
The C++ Programming Language
Fourth Edition
Addison-Wesley
2014 by Pearson Education, Inc.
January 15, 2012
Forum
Forum Posts
<ulink url="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?">
<ulink
url="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3352.html">C++
Binary Fixed-Point Arithmetic</ulink>
</ulink>
ISO
C++ Standard Future Proposals
Posts of various authors regarding proposal to add safe integer
to C++ standard libraries