A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
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-)safedoi:10.1145/2614628.2614630 dblp:conf/pldi/EichbergH14 fatcat:xjajh7atanarxgmi2ohzfibgla