A Comparative Study of Industrial Static Analysis Tools

Tools based on static analysis can be used to find defects in programs. Tools that do shallow analyses based on pattern matching have existed since the 1980's and although they can analyze large pr...