US8286140B2 - System, Computer Program, and Method for a Static Code Coverage Analyzer for Computer Programs