What is static code analysis?