Boost C++ Libraries

...one of the most highly regarded and expertly designed C++ library projects in the world. — Herb Sutter and Andrei Alexandrescu, C++ Coding Standards

This is the documentation for an old version of Boost. Click here to view this page for the latest version.

Library Documentation Index

Safe Numerics

Bibliography

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

[crowl1] Lawrence Crowl. C++ Binary Fixed-Point Arithmetic . JTC1/SC22/WG21 - The C++ Standards Committee - ISOCPP . January 15, 2012. Crowl

[crowl2] 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. Crowl & Ottosen

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

[garcia] J. Daniel Garcia. C++ language support for contract programming . WG21/N4293 - The C++ Standards Committee - ISOCPP . December 23, 2014. Garcia

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

[keaton] David Keaton, Thomas Plum, Robert C. Seacord, David Svoboda, Alex Volkovitsky, and Timothy Wilson. As-if Infinitely Ranged Integer Model . Software Engineering Institute . CMU/SEI-2009-TN-023.

[leblanc1] David LeBlanc. Integer Handling with the C++ SafeInt Class . Microsoft Developer Network . January 7, 2004. LeBlanc

[leblanc2] David LeBlanc. SafeInt . CodePlex . Dec 3, 2014. LeBlanc

[lions] Jacques-Louis Lions. Ariane 501 Inquiry Board report . Wikisource . July 19, 1996. Lions

[matthews] Hubert Matthews. CheckedInt: A Policy-Based Range-Checked Integer . Overload Journal #58 . December 2003. Matthews

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

[seacord1] Robert C. Seacord. Secure Coding in C and C++ . 2nd Edition. Addison-Wesley Professional. April 12, 2013. 978-0321822130. Seacord

[seacord2] Robert C. Seacord. INT30-C. Ensure that operations on unsigned integers do not wrap . Software Engineering Institute, Carnegie Mellon University . August 17, 2014. INT30-C

[seacord3] 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. INT32-C

[stone] David Stone. C++ Bounded Integer Library . Stone

[stroustrup] Bjarn Stroustrup. The C++ Programming Language Fourth Edition. Addison-Wesley . Copyright © 2014 by Pearson Education, Inc.. January 15, 2012. Stroustrup

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