wololo
Joined 17 years ago
Karma
278
Submissions
147
Member since
Jan 19
[email protected]
View on Hacker NewsJoined 17 years ago
-- http://www.skepticalraptor.com/skepticalraptorblog.php/pseud...
It's cool because: we analyze paths taken in binaries to find bugs.
I like to imagine a world where automated analysis supplements testing by providing a middle ground of "moderate gain + no programmer effort" (if you're interested, http://bugchecker.net)
* Shared libraries: yes, and it doesn't need a header. Not supported yet in the interface. It does need access to the function symbols though.