SootUp: A Redesign of the Soot Static Analysis Framework
K. Karakaya, S. Schott, J. Klauke, E. Bodden, M. Schmidt, L. Luo, D. He, in: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature Switzerland, Cham, 2024.
Download
No fulltext has been uploaded.
Book Chapter
| Published
| English
Author
Karakaya, KadirayLibreCat ;
Schott, StefanLibreCat;
Klauke, JonasLibreCat ;
Bodden, EricLibreCat ;
Schmidt, Markus;
Luo, Linghui;
He, Dongjie
Project
Abstract
<jats:title>Abstract</jats:title><jats:p>Since its inception two decades ago, <jats:sc>Soot</jats:sc> 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 <jats:sc>Soot</jats:sc> 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 <jats:sc>SootUp</jats:sc>, a complete reimplementation of <jats:sc>Soot</jats:sc> that seeks to fulfill these requirements with a novel design, while at the same time keeping elements that <jats:sc>Soot</jats:sc> users have grown accustomed to.</jats:p>
Publishing Year
Book Title
Tools and Algorithms for the Construction and Analysis of Systems
ISBN
LibreCat-ID
Cite this
Karakaya K, Schott S, Klauke J, et al. SootUp: A Redesign of the Soot Static Analysis Framework. In: Tools and Algorithms for the Construction and Analysis of Systems. Springer Nature Switzerland; 2024. doi:10.1007/978-3-031-57246-3_13
Karakaya, K., Schott, S., Klauke, J., Bodden, E., Schmidt, M., Luo, L., & He, D. (2024). SootUp: A Redesign of the Soot Static Analysis Framework. In Tools and Algorithms for the Construction and Analysis of Systems. Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-57246-3_13
@inbook{Karakaya_Schott_Klauke_Bodden_Schmidt_Luo_He_2024, place={Cham}, title={SootUp: A Redesign of the Soot Static Analysis Framework}, DOI={10.1007/978-3-031-57246-3_13}, booktitle={Tools and Algorithms for the Construction and Analysis of Systems}, publisher={Springer Nature Switzerland}, author={Karakaya, Kadiray and Schott, Stefan and Klauke, Jonas and Bodden, Eric and Schmidt, Markus and Luo, Linghui and He, Dongjie}, year={2024} }
Karakaya, Kadiray, Stefan Schott, Jonas Klauke, Eric Bodden, Markus Schmidt, Linghui Luo, and Dongjie He. “SootUp: A Redesign of the Soot Static Analysis Framework.” In Tools and Algorithms for the Construction and Analysis of Systems. Cham: Springer Nature Switzerland, 2024. https://doi.org/10.1007/978-3-031-57246-3_13.
K. Karakaya et al., “SootUp: A Redesign of the Soot Static Analysis Framework,” in Tools and Algorithms for the Construction and Analysis of Systems, Cham: Springer Nature Switzerland, 2024.
Karakaya, Kadiray, et al. “SootUp: A Redesign of the Soot Static Analysis Framework.” Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature Switzerland, 2024, doi:10.1007/978-3-031-57246-3_13.