Library Documentation Index

Safe Numerics

PrevUpHome

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.

[Cook] John D. Cook. IEEE floating-point exceptions in C++ .

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

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

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


PrevUpHome