A software product line for static analyses: the OPAL framework.

Michael Eichberg, Ben Hermann

Browse the full PLDI paper archive.