## Safe Numerics

## 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.

[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.

[Katz] Omer Katz. SafeInt code proposal . Boost Developer's List .

[keaton] 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.

[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.

[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 . Copyright © 2014 by Pearson Education, Inc.. January 15, 2012.

[Forum] Forum Posts. C++ Binary Fixed-Point Arithmetic . ISO C++ Standard Future Proposals .