SootUp: A Redesign of the Soot Static Analysis Framework

SootUp: A Redesign of the Soot Static Analysis Framework

연구 분야: Verification

학회: International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Since its inception two decades ago, SOOT has become one of the most widely used open-source static analysis frameworks. Over time it has been extended with the contributions of countless researchers. Yet, at the same time, the requirements for SOOT have changed over the years and become increasingly at odds with some of the major design decisions that underlie it. In this work, we thus present SOOTUP, a complete reimplementation of SOOT that seeks to fulfill these requirements with a novel design, while at the same time keeping elements that SOOT users have grown accustomed to.