A Framework for Construction and Evaluation of High-Level Specifications for Program Analysis Techniques.