1<html> 2<head> 3<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII"> 4<title>Bibliography</title> 5<link rel="stylesheet" href="boostbook.css" type="text/css"> 6<meta name="generator" content="DocBook XSL Stylesheets V1.79.1"> 7<link rel="home" href="index.html" title="Safe Numerics"> 8<link rel="up" href="index.html" title="Safe Numerics"> 9<link rel="prev" href="change_log.html" title="Release Log"> 10</head> 11<body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF"> 12<table cellpadding="2" width="100%"><tr> 13<td valign="top"><img href="index.html" height="164px" src="pre-boost.jpg" alt="Library Documentation Index"></td> 14<td><h2>Safe Numerics</h2></td> 15</tr></table> 16<div class="spirit-nav"> 17<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> 18</div> 19<div class="section"> 20<div class="titlepage"><div><div><h2 class="title" style="clear: both"> 21<a name="safe_numerics.bibliography"></a>Bibliography</h2></div></div></div> 22<div class="bibliography"> 23<div class="titlepage"><div><div><h3 class="title"> 24<a name="idm130201567328"></a>Bibliography</h3></div></div></div> 25<div class="biblioentry"> 26<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> 27 <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top"> 28 <a href="https://www.cs.cmu.edu/~ckaestne/pdf/csse14-01.pdf" target="_top">Integers In 29 C: An Open Invitation To Security Attacks?</a> 30 </a> 31 </i>. </span><span class="publishername"> 32 <a href="http://www.open-std.org/jtc1/sc22/wg21/" target="_top">JTC1/SC22/WG21 - 33 The C++ Standards Committee - ISOCPP</a> 34 . </span><span class="date">January 15, 2012. </span></p> 35</div> 36<div class="biblioentry"> 37<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> 38 <a href="https://www.johndcook.com/blog/ieee_exceptions_in_cpp/" target="_top">IEEE 39 floating-point exceptions in C++</a> 40 </i>. </span></p> 41</div> 42<div class="biblioentry"> 43<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> 44 <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top"> 45 <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3352.html" target="_top">C++ 46 Binary Fixed-Point Arithmetic</a> 47 </a> 48 </i>. </span><span class="publishername"> 49 <a href="http://www.open-std.org/jtc1/sc22/wg21/" target="_top">JTC1/SC22/WG21 - 50 The C++ Standards Committee - ISOCPP</a> 51 . </span><span class="date">January 15, 2012. </span></p> 52</div> 53<div class="biblioentry"> 54<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> 55 <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top"> 56 <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2006/n1962.html" target="_top">Proposal 57 to add Contract Programming to C++</a> 58 </a> 59 </i>. </span><span class="publishername"> 60 <a href="http://www.open-std.org/jtc1/sc22/wg21/" target="_top">WG21/N1962 and 61 J16/06-0032 - The C++ Standards Committee - ISOCPP</a> 62 . </span><span class="date">February 25, 2006. </span></p> 63</div> 64<div class="biblioentry"> 65<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> 66 <a href="http://www.cs.utah.edu/~regehr/papers/overflow12.pdf" target="_top">Understanding 67 Integer Overflow in C/C++</a> 68 </i>. </span><span class="publishername"> 69 <a href="http://dl.acm.org/citation.cfm?id=2337223&picked=prox" target="_top">Proceedings 70 of the 34th International Conference on Software Engineering (ICSE), 71 Zurich, Switzerland</a> 72 . </span><span class="date">June 2012. </span></p> 73</div> 74<div class="biblioentry"> 75<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> 76 <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top"> 77 <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n4293.pdf" target="_top">C++ 78 language support for contract programming</a> 79 </a> 80 </i>. </span><span class="publishername"> 81 <a href="http://www.open-std.org/jtc1/sc22/wg21/" target="_top">WG21/N4293 - The 82 C++ Standards Committee - ISOCPP</a> 83 . </span><span class="date">December 23, 2014. </span></p> 84</div> 85<div class="biblioentry"> 86<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> 87 <a href="https://docs.oracle.com/cd/E19957-01/806-3568/ncg_goldberg.html" target="_top">What 88 Every Computer Scientist Should Know About Floating-Point 89 Arithmetic</a> 90 </i>. </span><span class="publishername"> 91 <a href="https://csur.acm.org/index.cfm" target="_top">ACM Computing 92 Surveys</a> 93 . </span><span class="date">March, 1991. </span></p> 94</div> 95<div class="biblioentry"> 96<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> 97 <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top">SafeInt 98 code proposal</a> 99 </i>. </span><span class="publishername"> 100 <a href="https://groups.google.com/a/isocpp.org/forum/?fromgroups#!forum/std-proposals" target="_top">Boost 101 Developer's List</a> 102 . </span></p> 103</div> 104<div class="biblioentry"> 105<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> 106 <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top"> 107 <a href="http://resources.sei.cmu.edu/asset_files/TechnicalNote/2009_004_001_15074.pdf" target="_top">As-if 108 Infinitely Ranged Integer Model</a> 109 </a> 110 </i>. </span><span class="publishername"> 111 <a href="http://www.sei.cmu.edu" target="_top">Software Engineering 112 Institute</a> 113 . </span><span class="volumenum">CMU/SEI-2009-TN-023. </span></p> 114</div> 115<div class="biblioentry"> 116<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> 117 <a href="https://msdn.microsoft.com/en-us/library/ms972705.aspx" target="_top">Integer 118 Handling with the C++ SafeInt Class</a> 119 </i>. </span><span class="publishername"> 120 <a href="https://www.cert.org" target="_top">Microsoft Developer Network</a> 121 . </span><span class="date">January 7, 2004. </span></p> 122</div> 123<div class="biblioentry"> 124<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> 125 <a href="https://safeint.codeplex.com" target="_top">SafeInt</a> 126 </i>. </span><span class="publishername"> 127 <a href="https://www.cert.org" target="_top">CodePlex</a> 128 . </span><span class="date">Dec 3, 2014. </span></p> 129</div> 130<div class="biblioentry"> 131<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> 132 <a href="https://en.wikisource.org/wiki/Ariane_501_Inquiry_Board_report" target="_top">Ariane 133 501 Inquiry Board report</a> 134 </i>. </span><span class="publishername"> 135 <a href="https://en.wikisource.org/wiki/Main_Page" target="_top">Wikisource</a> 136 . </span><span class="date">July 19, 1996. </span></p> 137</div> 138<div class="biblioentry"> 139<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> 140 <a href="https://accu.org/index.php/journals/324" target="_top">CheckedInt: A 141 Policy-Based Range-Checked Integer</a> 142 </i>. </span><span class="publishername"> 143 <a href="https://accu.org/index.php" target="_top">Overload Journal #58</a> 144 . </span><span class="date">December 2003. </span></p> 145</div> 146<div class="biblioentry"> 147<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> 148 <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top"> 149 <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 150 Orders Fix for Possible Power Loss in Boeing 787</a> 151 </a> 152 </i>. </span><span class="publishername">New York Times. </span><span class="date">April 30, 2015. </span></p> 153</div> 154<div class="biblioentry"> 155<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> 156 <a href="https://buildsecurityin.us-cert.gov/bsi/articles/knowledge/coding/312-BSI.html" target="_top">Safe 157 Integer Operations</a> 158 </i>. </span><span class="publishername"> 159 <a href="https://buildsecurityin.us-cert.gov" target="_top">U.S. Department of 160 Homeland Security</a> 161 . </span><span class="date">May 10, 2013. </span></p> 162</div> 163<div class="biblioentry"> 164<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> 165 <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top">Secure 166 Coding in C and C++</a> 167 </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> 168</div> 169<div class="biblioentry"> 170<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> 171 <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. 172 Ensure that operations on unsigned integers do not wrap</a> 173 </i>. </span><span class="publishername"> 174 <a href="https://www.cert.org" target="_top">Software Engineering Institute, 175 Carnegie Mellon University</a> 176 . </span><span class="date">August 17, 2014. </span></p> 177</div> 178<div class="biblioentry"> 179<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> 180 <a href="https://www.securecoding.cert.org/confluence/display/c/INT30-C.+Ensure+that+unsigned+integer+operations+do+not+wrap" target="_top">INT32-C. 181 Ensure that operations on signed integers do not result in 182 overflow</a> 183 </i>. </span><span class="publishername"> 184 <a href="https://www.cert.org" target="_top">Software Engineering Institute, 185 Carnegie Mellon University</a> 186 . </span><span class="date">August 17, 2014. </span></p> 187</div> 188<div class="biblioentry"> 189<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> 190 <a href="http://doublewise.net/c++/bounded/" target="_top">C++ Bounded Integer 191 Library</a> 192 </i>. </span></p> 193</div> 194<div class="biblioentry"> 195<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"> 196 <a href="http://www.open-std.org/jtc1/sc22/wg21/" target="_top">Addison-Wesley</a> 197 . </span><span class="copyright">Copyright © 2014 by Pearson Education, Inc.. </span><span class="date">January 15, 2012. </span></p> 198</div> 199<div class="biblioentry"> 200<a name="forum"></a><p>[<abbr class="abbrev">Forum</abbr>] <span class="author"><span class="surname">Forum Posts</span>. </span><span class="title"><i> 201 <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top"> 202 <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3352.html" target="_top">C++ 203 Binary Fixed-Point Arithmetic</a> 204 </a> 205 </i>. </span><span class="publishername"> 206 <a href="https://groups.google.com/a/isocpp.org/forum/?fromgroups#!forum/std-proposals" target="_top">ISO 207 C++ Standard Future Proposals</a> 208 . </span></p> 209</div> 210</div> 211</div> 212<table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr> 213<td align="left"></td> 214<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 215 Software License</a></p> 216</div></td> 217</tr></table> 218<hr> 219<div class="spirit-nav"> 220<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> 221</div> 222</body> 223</html> 224
