There are several alternatives to static code analysis including dynamic analysis and manual code review ... such as pattern matching, data flow analysis, control flow analysis, or abstract ...