Logos static code analysis