This is a list of notable tools for static program analysis (program analysis is a synonym for code analysis).