[Cryptography] The GOTO Squirrel! [was GOTO Considered Harmful]

[Lodewijk andré de la porte]

2014-03-04 23:38 GMT+01:00 Ray Dillinger <bear at sonic.net>:

> As a developer, I rely on that warning because unreachable code is ALWAYS
> a mistake.


Why with buffer overflows no code is truly unreachable! So I would rely on
that warning to detect any possible buffer overflow.

Could someone make such a thing? It'd be an absolute victory for code
checking!

Detect parameter ranges, scan for interesting changes in those parameters
(hopefully intelligently) and viola? Zero bruteness? Just a proof generator?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.metzdowd.com/pipermail/cryptography/attachments/20140306/1f9b52fc/attachment.html>