SootUp: A Redesign of the Soot Static Analysis Framework

被引：1

作者：

Karakaya, Kadiray ^{[1
]}

Schott, Stefan ^{[1
]}

Klauke, Jonas ^{[1
]}

Bodden, Eric ^{[1
,2
]}

Schmidt, Markus ^{[1
]}

Luo, Linghui ^{[3
]}

He, Dongjie ^{[4
]}

机构：

[1] Paderborn Univ, Heinz Nixdorf Inst, Paderborn, Germany

[2] Fraunhofer IEM, Paderborn, Germany

[3] Amazon Web Serv, Berlin, Germany

[4] Chongqing Univ, Chongqing, Peoples R China

来源：

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, TACAS 2024 | 2024年 / 14570卷

关键词：

Static program analysis; Soot; SootUp; POINTS-TO ANALYSIS;

D O I：

10.1007/978-3-031-57246-3_13

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：229 / 247

页数：19

共 50 条

[1] Natural semantics as a static program analysis framework
Glesner, S
Zimmermann, W
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2004, 26 (03): : 510 - 577
[2] A symbolic analysis framework for static analysis of imperative programming languages
Burgstaller, Bernd
Scholz, Bernhard
Blieberger, Johann
JOURNAL OF SYSTEMS AND SOFTWARE, 2012, 85 (06) : 1418 - 1439
[3] srcPtr: A Framework for Implementing Static Pointer Analysis Approaches
Zyrianov, Vlas
Newman, Christian D.
Guarnera, Drew T.
Collard, Michael L.
Maletic, Jonathan, I
2019 IEEE/ACM 27TH INTERNATIONAL CONFERENCE ON PROGRAM COMPREHENSION (ICPC 2019), 2019, : 144 - 147
[4] Sparse Framework Based Static Taint Analysis Optimization
Wang L.
He D.
Li L.
Feng X.
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2019, 56 (03): : 480 - 495
[5] Jasmine: A Static Analysis Framework for Spring Core Technologies
Chen, Miao
Tu, Tengfei
Zhang, Hua
Wen, Qiaoyan
Wang, Weihang
PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022, 2022,
[6] MAF: A Framework for Modular Static Analysis of Higher-Order Languages
Van Es, Noah
Van der Plas, Jens
Stievenart, Quentin
De Roover, Coen
2020 20TH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION (SCAM 2020), 2020, : 37 - 42
[7] Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis
Liu, Jiangchao
Liu, Jierui
Di, Peng
Wu, Diyu
Zheng, Hengjie
Liu, Alex X.
Xue, Jingling
PROCEEDINGS OF THE 32ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2023, 2023, : 114 - 126
[8] The effect of soot on the combustor analysis
Goto, A
Hagiya, H
Morozumi, Y
Aoki, H
Miura, T
KAGAKU KOGAKU RONBUNSHU, 2005, 31 (06) : 404 - 410
[9] A Framework for Quantifying the Size and Fractal Dimension of Compacting Soot Particles
Beeler, Payton
Corbin, Joel C.
Sipkens, Timothy A.
Fierce, Laura
ENVIRONMENTAL SCIENCE & TECHNOLOGY, 2025, 59 (12) : 5994 - 6003
[10] Observation of restructuring of nanoparticle soot aggregates in a diffusion flame by static light scattering
di Stasio, S
JOURNAL OF AEROSOL SCIENCE, 2001, 32 (04) : 509 - 524

← 1 2 3 4 5 →