Using static analysis to reduce dynamic analysis overhead

被引：6

作者：

Yong, SH ^{[1
]}

Horwitz, S ^{[1
]}

机构：

[1] Univ Wisconsin, Dept Comp Sci, Madison, WI 53706 USA

来源：

FORMAL METHODS IN SYSTEM DESIGN | 2005年 / 27卷 / 03期

关键词：

static analysis; dynamic debugging; runtime types; POINTER;

D O I：

10.1007/s10703-005-3401-0

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Dynamic analysis (instrumenting programs with code to detect and prevent errors during program execution) can be an effective approach to debugging, as well as preventing harm from being caused by malicious code. One problem with this approach is the runtime overhead introduced by the instrumentation. We define several techniques that involve using the results of static analysis to identify some cases where instrumentation can safely be removed. While we have designed the techniques with a specific dynamic analysis in mind (that used by the Runtime Type-Checking tool), the ideas may be of more general applicability.

引用

页码：313 / 334

页数：22

共 50 条

[41] The Architectural Review of Web Security in Static and Dynamic Analysis
Wu, Raymond
Hisada, Masayuki
[J]. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2009, 9 (08): : 277 - 286
[42] Security Analysis of IoT Frameworks using Static Taint Analysis
Yavuz, Tuba
Brant, Christopher
[J]. CODASPY'22: PROCEEDINGS OF THE TWELVETH ACM CONFERENCE ON DATA AND APPLICATION SECURITY AND PRIVACY, 2022, : 203 - 213
[43] Security analysis of menstruation cycle tracking applications using static, dynamic and machine learning techniques
Deverashetti, Mounika
Ranjitha, K.
Pradeepthi, K., V
[J]. JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, 2022, 67
[44] Static and dynamic analysis of corrugated-core sandwich plates using finite strip method
Zamanifar, Hossein
Sarrami-Foroushani, Saeid
Azhari, Mojtaba
[J]. ENGINEERING STRUCTURES, 2019, 183 : 30 - 51
[45] The Effects of Static Analysis for Dynamic Software Updating: An Exploratory Study
Ahmed, Babiker Hussien
Lee, Sai Peck
Su, Moon Ting
[J]. IEEE ACCESS, 2020, 8 : 35161 - 35171
[46] A Comparison of Static and Dynamic Analysis to Identify Microservices in Monolith Systems
Andrade, Bernardo
Santos, Samuel
Silva, Antonio Rito
[J]. SOFTWARE ARCHITECTURE, ECSA 2023, 2023, 14212 : 354 - 361
[47] Accelerating Java']JavaScript Static Analysis via Dynamic Shortcuts
Park, Joonyoung
Park, Jihyeok
Youn, Dongjun
Ryu, Sukyoung
[J]. PROCEEDINGS OF THE 29TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '21), 2021, : 1129 - 1140
[48] Combining Static and Dynamic Analysis to Decompose Monolithic Application into Microservices
Sellami, Khaled
Saied, Mohamed Aymen
Ouni, Ali
Abdalkareem, Rabe
[J]. SERVICE-ORIENTED COMPUTING (ICSOC 2022), 2022, 13740 : 203 - 218
[49] An approach for mapping features to code based on static and dynamic analysis
Rohatgi, Abhishek
Hamou-Lhadj, Abdelwahab
Rilling, Juergen
[J]. PROCEEDINGS OF THE 16TH IEEE INTERNATIONAL CONFERENCE ON PROGRAM COMPREHENSION, 2008, : 234 - 239
[50] Static and dynamic analysis of a rock slope in Sikkim: A case study
Kallam, Naveen Reddy
Adapa, Murali Krishna
[J]. GEOMECHANICS AND GEODYNAMICS OF ROCK MASSES (EUROCK2018), VOLS 1 AND 2, 2018, : 889 - 894

← 1 2 3 4 5 →