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 条

[31] DIGITAL IMAGE ANALYSIS OF BURNING DROPLETS IN THE PRESENCE OF BACKLIGHT DIFFRACTION AND SOOT
Bhaskar, Ramya
Shaw, Benjamin D.
IMAGE ANALYSIS & STEREOLOGY, 2019, 38 (01) : 53 - 61
[32] Analysis of soil and soot deposits by X-ray computed microtomography
Suman, Alessio
Vulpio, Alessandro
Casari, Nicola
Pinelli, Michele
di Lillo, Francesca
D'Amico, Lorenzo
POWDER TECHNOLOGY, 2021, 394 : 608 - 621
[33] Progress in Parallelization of Static Program Analysis
Lu S.-M.
Zuo Z.-Q.
Wang L.-Z.
Ruan Jian Xue Bao/Journal of Software, 2020, 31 (05): : 1243 - 1254
[34] Zero Knowledge Static Program Analysis
Fang, Zhiyong
Darais, David
Near, Joseph P.
Zhang, Yupeng
CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2021, : 2951 - 2967
[35] Software Metrics in Static Program Analysis
Vogelsang, Andreas
Fehnker, Ansgar
Huuck, Ralf
Reif, Wolfgang
FORMAL METHODS AND SOFTWARE ENGINEERING, 2010, 6447 : 485 - +
[36] Static Analysis for Independent App Developers
Brutschy, Lucas
Ferrara, Pietro
Mueller, Peter
ACM SIGPLAN NOTICES, 2014, 49 (10) : 847 - 860
[37] Analysis of soot formation and oxidation processes in the diesel engine fueled by n-octanol/biodiesel blends based on a detailed soot population balance model
Li, Jing
Gong, Shiqi
Liang, Yifei
Wu, Shaohua
Liu, Rui
Yang, Wenming
FUEL, 2024, 358
[38] Spray flame soot sampling and morphology analysis of butanol-diesel blends
Yan, Fangqin
Cheng, Xiaobei
Qiu, Liang
Huang, Ronghua
Huang, Sheng
Liu, Bei
JOURNAL OF THE ENERGY INSTITUTE, 2017, 90 (06) : 855 - 863
[39] Multi-component characterization of aviation kerosene and analysis of fuel soot formation
Qin W.
Sun Z.
Shao Y.
Jing R.
Yan J.
Hangkong Dongli Xuebao/Journal of Aerospace Power, 2024, 39 (02):
[40] Influence of Different Thermal Aging Conditions on Soot Combustion with Catalyst by Thermogravimetric Analysis
Yang, Yi
Fang, Jia
Huang, Junfeng
Qin, Zihan
Zhang, Qian
Pu, Ping
Pan, Suozhu
MATERIALS, 2021, 14 (13)

← 1 2 3 4 5 →