d+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>INT32-C</p>
</div>
<div class="biblioentry">
<a name="stone"></a><p>[stone] <span class="author"><span class="firstname">David</span> <sp