“Finding Undefined Behavior Bugs by Finding Dead Code”

Hi,

just a heads-up for something that seems worth watching:
http://blog.regehr.org/archives/970

Software can be expected in August, it says.

Regards,
-- 
Aristotle Pagaltzis // <http://plasmasturm.org/>

• “Finding Undefined Behavior Bugs by Finding Dead Code” by Aristotle Pagaltzis
• RE: “Finding Undefined Behavior Bugs by Finding Dead Code” by bulk 88