A software product line for static analyses: The OPAL framework - Eichberg, Michael; Hermann, Ben (Proceedings of the 3rd ACM SIGPLAN International Workshop on the State of the Art in Java Program Analysis - SOAP '14)