J. Lerch and B. Hermann, “Design your analysis: a case study on implementation reusability of data-flow functions,” in Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2015, 2015.