Describir: Static Analysis