4.1. What is static code analysis