(click to enlarge) The results page of a static analysis tool. In this example, the tool found 1400 uninitialized variables in less than 20 minutes. Recently the FDA software forensics lab announced ...