A new breed of static analysis tools has recently become available for finding serious programming flaws in software, and its use is rapidly beco...