strict code analysis