An MDE Approach for Modular Program Analyses
Buğra M. Yildiz, Christoph M. Bockisch, Arend Rensink, Mehmet Akşit · 2017
Program analyses are an important tool to check if a system fulfills its specification. A typical implementation strategy for program analyses is to use an imperative, general-purpose language like Java, and access the program to be analyzed through libraries that offer an API for reading, writing and manipulating intermediate code, such as BCEL or ASM for Java bytecode. We claim that this hampers reuse and interoperability.