Describir: Static analysis of software