![]() |
Safe Numerics |
[Coker] Integers In C: An Open Invitation To Security Attacks? . JTC1/SC22/WG21 - The C++ Standards Committee - ISOCPP . January 15, 2012.
[Crowl] C++ Binary Fixed-Point Arithmetic . JTC1/SC22/WG21 - The C++ Standards Committee - ISOCPP . January 15, 2012.
[Crowl & Ottosen] Proposal to add Contract Programming to C++ . WG21/N1962 and J16/06-0032 - The C++ Standards Committee - ISOCPP . February 25, 2006.
[Dietz] Understanding Integer Overflow in C/C++ . Proceedings of the 34th International Conference on Software Engineering (ICSE), Zurich, Switzerland . June 2012.
[Garcia] C++ language support for contract programming . WG21/N4293 - The C++ Standards Committee - ISOCPP . December 23, 2014.
[Goldberg] What Every Computer Scientist Should Know About Floating-Point Arithmetic . ACM Computing Surveys . March, 1991.
[Katz] SafeInt code proposal . Boost Developer's List .
[LeBlanc] Integer Handling with the C++ SafeInt Class . Microsoft Developer Network . January 7, 2004.
[Lions] Ariane 501 Inquiry Board report . Wikisource . July 19, 1996.
[Matthews] CheckedInt: A Policy-Based Range-Checked Integer . Overload Journal #58 . December 2003.
[Mouawad] F.A.A Orders Fix for Possible Power Loss in Boeing 787 . New York Times. April 30, 2015.
[Plakosh] Safe Integer Operations . U.S. Department of Homeland Security . May 10, 2013.
[Seacord] Secure Coding in C and C++ . 2nd Edition. Addison-Wesley Professional. April 12, 2013. 978-0321822130.
[INT30-C] INT30-C. Ensure that operations on unsigned integers do not wrap . Software Engineering Institute, Carnegie Mellon University . August 17, 2014.
[INT32-C] INT32-C. Ensure that operations on signed integers do not result in overflow . Software Engineering Institute, Carnegie Mellon University . August 17, 2014.
[Stone] C++ Bounded Integer Library .
[Stroustrup] The C++ Programming Language. Fourth Edition. Addison-Wesley . Copyright © 2014 by Pearson Education, Inc.. January 15, 2012.