Describir: Reasoning About the Unknown in Static Analysis.