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 条

[21] Asymptotic Analysis Soot Model and Experiment for a Directed Injection Engine
LIU Yongfeng1
Chinese Journal of Mechanical Engineering, 2012, (05) : 1011 - 1015
[22] A Survey of Parametric Static Analysis
Park, Jihyeok
Lee, Hongki
Ryu, Sukyoung
ACM COMPUTING SURVEYS, 2021, 54 (07)
[23] The fractal characteristics of atmospheric coated soot: Implication for morphological analysis
Luo, Jie
Zhang, Qixing
Zhang, Chenchong
Zhang, Yongming
Chakrabarty, Rajan K.
JOURNAL OF AEROSOL SCIENCE, 2021, 157
[24] Asymptotic Analysis Soot Model and Experiment for a Directed Injection Engine
Liu Yongfeng
Pei Pucheng
Xiong Qinghui
Lu Yong
CHINESE JOURNAL OF MECHANICAL ENGINEERING, 2012, 25 (05) : 1011 - 1015
[25] Aromatic structures of carbonaceous materials and soot inferred by spectroscopic analysis
Apicella, B
Alfe, M
Barbella, R
Tregrossi, A
Ciajolo, A
CARBON, 2004, 42 (8-9) : 1583 - 1589
[26] Soot-based Global Pathway Analysis: Soot formation and evolution at elevated pressures in co-flow diffusion flames
Zhou, Dezhi
Yang, Suo
COMBUSTION AND FLAME, 2021, 227 (227) : 255 - 270
[27] Mathematical Analysis of Soot Particles in Oil Used as System State Indicator
Valis, D.
Zak, L.
Vintr, Z.
Hasilova, K.
2016 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEM), 2016, : 486 - 490
[28] Analysis of the impact of agglomeration and surface chemistry models on soot formation and oxidation
Bhatt, J. S.
Lindstedt, R. P.
PROCEEDINGS OF THE COMBUSTION INSTITUTE, 2009, 32 : 713 - 720
[29] Simulation and analysis of the soot particle size distribution in a turbulent nonpremixed flame
Lucchesi, Marco
Abdelgadir, Ahmed
Attili, Antonio
Bisetti, Fabrizio
COMBUSTION AND FLAME, 2017, 178 : 35 - 45
[30] Observation and analysis of the formation of diesel soot with a laser light extinction method
Miyamoto, Noboru
Ogawa, Hideyuki
Goto, Nobumasa
Sasaki, Hiromi
Nippon Kikai Gakkai Ronbunshu, B Hen/Transactions of the Japan Society of Mechanical Engineers, Part B, 1988, 54 (506): : 2961 - 2965

← 1 2 3 4 5 →