4.1. What is static code analysisΒΆ