   Integer Overflow in C/C++</a>
      </i>. </span><span class="publishername">
        <a href="http://dl.acm.org/citation.cfm?id=2337223&amp;picked=prox" target="_top">Proceedings
        of the 34th International Conference on Software Engineering (ICSE),
        Zurich, Switzerland</a>
      . </span><span class="date">June 2012. </span>Dietz</p>
</div>
<div class="biblioentry">
<a name="garcia"></a><p>[garcia] <span class="author"><span class="firstname">J. Daniel</span> <span class="surname">Garcia</