Coverity's implementation of static analysis can follow all the possible paths of execution through source ...