Describir: Applied abstract analysis