@inproceedings{10.1145/2614628.2614630,
author = {Eichberg, Michael and Hermann, Ben},
title = {A Software Product Line for Static Analyses: The OPAL Framework},
year = {2014},
isbn = {9781450329194},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/2614628.2614630},
doi = {10.1145/2614628.2614630},
abstract = {Implementations of static analyses are usually tailored toward a single goal to be efficient, hampering reusability and adaptability of the components of an analysis. To solve these issues, we propose to implement static analyses as highly-configurable software product lines (SPLs). Furthermore, we also discuss an implementation of an SPL for static analyses -- called OPAL -- that uses advanced language features offered by the Scala programming language to get an easily adaptable and (type-)safe software product line.OPAL is a general purpose library for static analysis of Java Bytecode that is already successfully used. We present OPAL and show how a design based on software produce line engineering benefits the implementation of static analyses with the framework.},
booktitle = {Proceedings of the 3rd ACM SIGPLAN International Workshop on the State of the Art in Java Program Analysis},
pages = {1–6},
numpages = {6},
keywords = {static analysis, program analysis, abstract interpretation, software product line engineering, design},
location = {Edinburgh, United Kingdom},
series = {SOAP '14}
}