Logos Static Analysis