Design your analysis: a case study on implementation reusability of data-flow functions

The development of efficient data flow analyses is a complicated task. As requirements change and special cases have to be considered, implementations may get hard to maintain, test and reuse. We propose to design these analyses regarding the principle of separation of concerns. Therefore, in this paper we present a reference design for data flow analyses in the context of the IFDS/IDE algorithm. We conducted a case study in order to inspect the level of reuse that can be achieved with our design and found it to be helpful for the efficient development of new analyses. Categories and Subject Descriptors F3.2 [Logics and Meanings of Programs]: Semantics of Programming Languages—Program analysis General Terms Design Keywords Separation of concerns, static analysis, design, ifds, ide, flow function

• Type: Journal
• Year: 2015
• Where: PLDI
• Authors: Johannes Lerch, Ben Hermann
• Keywords: PLDI 2015, Programming Languages