Designing Code Analysis Frameworks (DECAF @ ISSTA'16)

Call for Participation

Designing a code-analysis framework is not an easy task. Design decisions that framework builders took more than a decade ago are still affecting the way many researchers implement their static analyses today. However, modern software systems are often heterogeneous and gigantic in size, employing many programming languages and APIs. Further, modern program analyses tend to be user-driven and interactive, as opposed to traditional program analyses that were more targeted towards whole-program optimizations. As analysis framework authors, we have recently been discussing the various strengths and weaknesses of our systems regarding the needs of modern analyses and analyzed software systems. One idea expressed was perhaps to start over with a new analysis framework that could incorporate into its design all the lessons we have learnt from current frameworks.

Workshop on WALA (WoW)

I’m very pleased to announce that I will be co-organizing the Workshop on WALA (WoW), which will be co-located with PLDI’15. Please stay tuned for what we have for you in store!