123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223 |
- <html>
- <head>
- <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
- <title>Bibliography</title>
- <link rel="stylesheet" href="boostbook.css" type="text/css">
- <meta name="generator" content="DocBook XSL Stylesheets V1.79.1">
- <link rel="home" href="index.html" title="Safe Numerics">
- <link rel="up" href="index.html" title="Safe Numerics">
- <link rel="prev" href="change_log.html" title="Release Log">
- </head>
- <body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF">
- <table cellpadding="2" width="100%"><tr>
- <td valign="top"><img href="index.html" height="164px" src="pre-boost.jpg" alt="Library Documentation Index"></td>
- <td><h2>Safe Numerics</h2></td>
- </tr></table>
- <div class="spirit-nav">
- <a accesskey="p" href="change_log.html"><img src="images/prev.png" alt="Prev"></a><a accesskey="u" href="index.html"><img src="images/up.png" alt="Up"></a><a accesskey="h" href="index.html"><img src="images/home.png" alt="Home"></a>
- </div>
- <div class="section">
- <div class="titlepage"><div><div><h2 class="title" style="clear: both">
- <a name="safe_numerics.bibliography"></a>Bibliography</h2></div></div></div>
- <div class="bibliography">
- <div class="titlepage"><div><div><h3 class="title">
- <a name="idm130201567328"></a>Bibliography</h3></div></div></div>
- <div class="biblioentry">
- <a name="coker"></a><p>[<abbr class="abbrev">Coker</abbr>] <span class="author"><span class="firstname">Zack</span> <span class="surname">Coker</span>. </span><span class="author"><span class="firstname">Samir</span> <span class="surname">Hasan</span>. </span><span class="author"><span class="firstname">Jeffrey</span> <span class="surname">Overbey</span>. </span><span class="author"><span class="firstname">Munawar</span> <span class="surname">Hafiz</span>. </span><span class="author"><span class="firstname">Christian</span> <span class="surname">Kästner</span>. </span><span class="title"><i>
- <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top">
- <a href="https://www.cs.cmu.edu/~ckaestne/pdf/csse14-01.pdf" target="_top">Integers In
- C: An Open Invitation To Security Attacks?</a>
- </a>
- </i>. </span><span class="publishername">
- <a href="http://www.open-std.org/jtc1/sc22/wg21/" target="_top">JTC1/SC22/WG21 -
- The C++ Standards Committee - ISOCPP</a>
- . </span><span class="date">January 15, 2012. </span></p>
- </div>
- <div class="biblioentry">
- <a name="cook"></a><p>[<abbr class="abbrev">Cook</abbr>] <span class="author"><span class="firstname">John D.</span> <span class="surname">Cook</span>. </span><span class="title"><i>
- <a href="https://www.johndcook.com/blog/ieee_exceptions_in_cpp/" target="_top">IEEE
- floating-point exceptions in C++</a>
- </i>. </span></p>
- </div>
- <div class="biblioentry">
- <a name="crowl"></a><p>[<abbr class="abbrev">Crowl</abbr>] <span class="author"><span class="firstname">Lawrence</span> <span class="surname">Crowl</span>. </span><span class="title"><i>
- <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top">
- <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3352.html" target="_top">C++
- Binary Fixed-Point Arithmetic</a>
- </a>
- </i>. </span><span class="publishername">
- <a href="http://www.open-std.org/jtc1/sc22/wg21/" target="_top">JTC1/SC22/WG21 -
- The C++ Standards Committee - ISOCPP</a>
- . </span><span class="date">January 15, 2012. </span></p>
- </div>
- <div class="biblioentry">
- <a name="crowl2"></a><p>[<abbr class="abbrev">Crowl & Ottosen</abbr>] <span class="author"><span class="firstname">Lawrence</span> <span class="surname">Crowl</span>. </span><span class="author"><span class="surname">Thorsten Ottosen</span>. </span><span class="title"><i>
- <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top">
- <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2006/n1962.html" target="_top">Proposal
- to add Contract Programming to C++</a>
- </a>
- </i>. </span><span class="publishername">
- <a href="http://www.open-std.org/jtc1/sc22/wg21/" target="_top">WG21/N1962 and
- J16/06-0032 - The C++ Standards Committee - ISOCPP</a>
- . </span><span class="date">February 25, 2006. </span></p>
- </div>
- <div class="biblioentry">
- <a name="dietz"></a><p>[<abbr class="abbrev">Dietz</abbr>] <span class="author"><span class="firstname">Will</span> <span class="surname">Dietz</span>. </span><span class="author"><span class="firstname">Peng</span> <span class="surname">Li</span>. </span><span class="author"><span class="firstname">John</span> <span class="surname">Regehr</span>. </span><span class="author"><span class="firstname">Vikram</span> <span class="surname">Adve</span>. </span><span class="title"><i>
- <a href="http://www.cs.utah.edu/~regehr/papers/overflow12.pdf" target="_top">Understanding
- Integer Overflow in C/C++</a>
- </i>. </span><span class="publishername">
- <a href="http://dl.acm.org/citation.cfm?id=2337223&picked=prox" target="_top">Proceedings
- of the 34th International Conference on Software Engineering (ICSE),
- Zurich, Switzerland</a>
- . </span><span class="date">June 2012. </span></p>
- </div>
- <div class="biblioentry">
- <a name="garcia"></a><p>[<abbr class="abbrev">Garcia</abbr>] <span class="author"><span class="firstname">J. Daniel</span> <span class="surname">Garcia</span>. </span><span class="title"><i>
- <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top">
- <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n4293.pdf" target="_top">C++
- language support for contract programming</a>
- </a>
- </i>. </span><span class="publishername">
- <a href="http://www.open-std.org/jtc1/sc22/wg21/" target="_top">WG21/N4293 - The
- C++ Standards Committee - ISOCPP</a>
- . </span><span class="date">December 23, 2014. </span></p>
- </div>
- <div class="biblioentry">
- <a name="goldberg"></a><p>[<abbr class="abbrev">Goldberg</abbr>] <span class="author"><span class="firstname">David</span> <span class="surname">Goldberg</span>. </span><span class="title"><i>
- <a href="https://docs.oracle.com/cd/E19957-01/806-3568/ncg_goldberg.html" target="_top">What
- Every Computer Scientist Should Know About Floating-Point
- Arithmetic</a>
- </i>. </span><span class="publishername">
- <a href="https://csur.acm.org/index.cfm" target="_top">ACM Computing
- Surveys</a>
- . </span><span class="date">March, 1991. </span></p>
- </div>
- <div class="biblioentry">
- <a name="katz"></a><p>[<abbr class="abbrev">Katz</abbr>] <span class="author"><span class="firstname">Omer</span> <span class="surname">Katz</span>. </span><span class="title"><i>
- <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top">SafeInt
- code proposal</a>
- </i>. </span><span class="publishername">
- <a href="https://groups.google.com/a/isocpp.org/forum/?fromgroups#!forum/std-proposals" target="_top">Boost
- Developer's List</a>
- . </span></p>
- </div>
- <div class="biblioentry">
- <a name="keaton"></a><p>[keaton] <span class="author"><span class="firstname">David</span> <span class="surname">Keaton</span>. </span><span class="author"><span class="firstname">Thomas</span> <span class="surname">Plum</span>. </span><span class="author"><span class="firstname">Robert</span> <span class="othername">C.</span> <span class="surname">Seacord</span>. </span><span class="author"><span class="firstname">David</span> <span class="surname">Svoboda</span>. </span><span class="author"><span class="firstname">Alex</span> <span class="surname">Volkovitsky</span>. </span><span class="author"><span class="firstname">Timothy</span> <span class="surname">Wilson</span>. </span><span class="title"><i>
- <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top">
- <a href="http://resources.sei.cmu.edu/asset_files/TechnicalNote/2009_004_001_15074.pdf" target="_top">As-if
- Infinitely Ranged Integer Model</a>
- </a>
- </i>. </span><span class="publishername">
- <a href="http://www.sei.cmu.edu" target="_top">Software Engineering
- Institute</a>
- . </span><span class="volumenum">CMU/SEI-2009-TN-023. </span></p>
- </div>
- <div class="biblioentry">
- <a name="leblanc1"></a><p>[<abbr class="abbrev">LeBlanc</abbr>] <span class="author"><span class="firstname">David</span> <span class="surname">LeBlanc</span>. </span><span class="title"><i>
- <a href="https://msdn.microsoft.com/en-us/library/ms972705.aspx" target="_top">Integer
- Handling with the C++ SafeInt Class</a>
- </i>. </span><span class="publishername">
- <a href="https://www.cert.org" target="_top">Microsoft Developer Network</a>
- . </span><span class="date">January 7, 2004. </span></p>
- </div>
- <div class="biblioentry">
- <a name="leblanc2"></a><p>[<abbr class="abbrev">LeBlanc</abbr>] <span class="author"><span class="firstname">David</span> <span class="surname">LeBlanc</span>. </span><span class="title"><i>
- <a href="https://safeint.codeplex.com" target="_top">SafeInt</a>
- </i>. </span><span class="publishername">
- <a href="https://www.cert.org" target="_top">CodePlex</a>
- . </span><span class="date">Dec 3, 2014. </span></p>
- </div>
- <div class="biblioentry">
- <a name="lions"></a><p>[<abbr class="abbrev">Lions</abbr>] <span class="author"><span class="firstname">Jacques-Louis</span> <span class="surname">Lions</span>. </span><span class="title"><i>
- <a href="https://en.wikisource.org/wiki/Ariane_501_Inquiry_Board_report" target="_top">Ariane
- 501 Inquiry Board report</a>
- </i>. </span><span class="publishername">
- <a href="https://en.wikisource.org/wiki/Main_Page" target="_top">Wikisource</a>
- . </span><span class="date">July 19, 1996. </span></p>
- </div>
- <div class="biblioentry">
- <a name="matthews"></a><p>[<abbr class="abbrev">Matthews</abbr>] <span class="author"><span class="firstname">Hubert</span> <span class="surname">Matthews</span>. </span><span class="title"><i>
- <a href="https://accu.org/index.php/journals/324" target="_top">CheckedInt: A
- Policy-Based Range-Checked Integer</a>
- </i>. </span><span class="publishername">
- <a href="https://accu.org/index.php" target="_top">Overload Journal #58</a>
- . </span><span class="date">December 2003. </span></p>
- </div>
- <div class="biblioentry">
- <a name="mouawad"></a><p>[<abbr class="abbrev">Mouawad</abbr>] <span class="author"><span class="firstname">Jad</span> <span class="surname">Mouawad</span>. </span><span class="title"><i>
- <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top">
- <a href="http://www.nytimes.com/2015/05/01/business/faa-orders-fix-for-possible-power-loss-in-boeing-787.html?_r=0" target="_top">F.A.A
- Orders Fix for Possible Power Loss in Boeing 787</a>
- </a>
- </i>. </span><span class="publishername">New York Times. </span><span class="date">April 30, 2015. </span></p>
- </div>
- <div class="biblioentry">
- <a name="plakosh"></a><p>[<abbr class="abbrev">Plakosh</abbr>] <span class="author"><span class="firstname">Daniel</span> <span class="surname">Plakosh</span>. </span><span class="title"><i>
- <a href="https://buildsecurityin.us-cert.gov/bsi/articles/knowledge/coding/312-BSI.html" target="_top">Safe
- Integer Operations</a>
- </i>. </span><span class="publishername">
- <a href="https://buildsecurityin.us-cert.gov" target="_top">U.S. Department of
- Homeland Security</a>
- . </span><span class="date">May 10, 2013. </span></p>
- </div>
- <div class="biblioentry">
- <a name="seacord1"></a><p>[<abbr class="abbrev">Seacord</abbr>] <span class="author"><span class="firstname">Robert C.</span> <span class="surname">Seacord</span>. </span><span class="title"><i>
- <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top">Secure
- Coding in C and C++</a>
- </i>. </span><span class="edition">2nd Edition. </span><span class="publishername">Addison-Wesley Professional. </span><span class="date">April 12, 2013. </span><span class="isbn">978-0321822130. </span></p>
- </div>
- <div class="biblioentry">
- <a name="seacord2"></a><p>[<abbr class="abbrev">INT30-C</abbr>] <span class="author"><span class="firstname">Robert C.</span> <span class="surname">Seacord</span>. </span><span class="title"><i>
- <a href="https://www.securecoding.cert.org/confluence/display/seccode/INT32-C.+Ensure+that+operations+on+signed+integers+do+not+result+in+overflow?showComments=false" target="_top">INT30-C.
- Ensure that operations on unsigned integers do not wrap</a>
- </i>. </span><span class="publishername">
- <a href="https://www.cert.org" target="_top">Software Engineering Institute,
- Carnegie Mellon University</a>
- . </span><span class="date">August 17, 2014. </span></p>
- </div>
- <div class="biblioentry">
- <a name="seacord3"></a><p>[<abbr class="abbrev">INT32-C</abbr>] <span class="author"><span class="firstname">Robert C.</span> <span class="surname">Seacord</span>. </span><span class="title"><i>
- <a href="https://www.securecoding.cert.org/confluence/display/c/INT30-C.+Ensure+that+unsigned+integer+operations+do+not+wrap" target="_top">INT32-C.
- Ensure that operations on signed integers do not result in
- overflow</a>
- </i>. </span><span class="publishername">
- <a href="https://www.cert.org" target="_top">Software Engineering Institute,
- Carnegie Mellon University</a>
- . </span><span class="date">August 17, 2014. </span></p>
- </div>
- <div class="biblioentry">
- <a name="stone"></a><p>[<abbr class="abbrev">Stone</abbr>] <span class="author"><span class="firstname">David</span> <span class="surname">Stone</span>. </span><span class="title"><i>
- <a href="http://doublewise.net/c++/bounded/" target="_top">C++ Bounded Integer
- Library</a>
- </i>. </span></p>
- </div>
- <div class="biblioentry">
- <a name="stroustrup"></a><p>[<abbr class="abbrev">Stroustrup</abbr>] <span class="author"><span class="firstname">Bjarn</span> <span class="surname">Stroustrup</span>. </span><span class="title"><i>The C++ Programming Language</i>. </span><span class="edition">Fourth Edition. </span><span class="publishername">
- <a href="http://www.open-std.org/jtc1/sc22/wg21/" target="_top">Addison-Wesley</a>
- . </span><span class="copyright">Copyright © 2014 by Pearson Education, Inc.. </span><span class="date">January 15, 2012. </span></p>
- </div>
- <div class="biblioentry">
- <a name="forum"></a><p>[<abbr class="abbrev">Forum</abbr>] <span class="author"><span class="surname">Forum Posts</span>. </span><span class="title"><i>
- <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top">
- <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3352.html" target="_top">C++
- Binary Fixed-Point Arithmetic</a>
- </a>
- </i>. </span><span class="publishername">
- <a href="https://groups.google.com/a/isocpp.org/forum/?fromgroups#!forum/std-proposals" target="_top">ISO
- C++ Standard Future Proposals</a>
- . </span></p>
- </div>
- </div>
- </div>
- <table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
- <td align="left"></td>
- <td align="right"><div class="copyright-footer">Copyright © 2012-2018 Robert Ramey<p><a href="http://www.boost.org/LICENSE_1_0.txt" target="_top">Subject to Boost
- Software License</a></p>
- </div></td>
- </tr></table>
- <hr>
- <div class="spirit-nav">
- <a accesskey="p" href="change_log.html"><img src="images/prev.png" alt="Prev"></a><a accesskey="u" href="index.html"><img src="images/up.png" alt="Up"></a><a accesskey="h" href="index.html"><img src="images/home.png" alt="Home"></a>
- </div>
- </body>
- </html>
|