<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">2014-03-04 23:38 GMT+01:00 Ray Dillinger <span dir="ltr"><<a href="mailto:bear@sonic.net" target="_blank">bear@sonic.net</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

As a developer, I rely on that warning because unreachable code is ALWAYS a mistake. </blockquote></div><br>Why with buffer overflows no code is truly unreachable! So I would rely on that warning to detect any possible buffer overflow.</div>

<div class="gmail_extra"><br></div><div class="gmail_extra">Could someone make such a thing? It'd be an absolute victory for code checking!</div><div class="gmail_extra"><br></div><div class="gmail_extra">Detect parameter ranges, scan for interesting changes in those parameters (hopefully intelligently) and viola? Zero bruteness? Just a proof generator?</div>

</div>