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 条

[21] The research of aspect-oriented dynamic analysis based on static analysis
Han, Lifang
Hou, Tingting
Shan, Songling
Li, Yikang
Cui, Baojiang
2015 10TH INTERNATIONAL CONFERENCE ON BROADBAND AND WIRELESS COMPUTING, COMMUNICATION AND APPLICATIONS (BWCCA 2015), 2015, : 114 - 119
[22] Static and Dynamic Analysis of Vibro Fluidized Bed Dryer using Finite Element Method
Yohana, Eflita
Haryanto, Ismoyo
Dwiputra, Muhamad Adrian
Luqmanul, Yusuf H.
3RD INTERNATIONAL CONFERENCE ON ENERGY, ENVIRONMENTAL AND INFORMATION SYSTEM (ICENIS 2018), 2018, 73
[23] IoT malware detection using static and dynamic analysis techniques: A systematic literature review
Kumar, Sumit
Ahlawat, Prachi
Sahni, Jyoti
SECURITY AND PRIVACY, 2024, 7 (06):
[24] Using Machine Learning Algorithms to Detect Malware by Applying Static and Dynamic Analysis Methods
Palsa, Jakub
Hurtuk, Jan
Chovanec, Martin
Chovancova, Eva
ACTA POLYTECHNICA HUNGARICA, 2022, 19 (07) : 177 - 196
[25] No Spring Chicken: Quantifying the Lifespan of Exploits in IoT Malware Using Static and Dynamic Analysis
Al Alsadi, Arwa Abdulkarim
Sameshima, Kaichi
Bleier, Jakob
Yoshioka, Katsunari
Lindorfer, Martina
van Eeten, Michel
Ganan, Carlos H.
ASIA CCS'22: PROCEEDINGS OF THE 2022 ACM ASIA CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2022, : 309 - 321
[26] Combined static and dynamic immutability analysis of java program
Yu L.-Q.
Wang L.-Z.
Lei B.
Zhao J.-H.
Li X.-D.
Jisuanji Xuebao/Chinese Journal of Computers, 2010, 33 (04): : 736 - 746
[27] Numerical model for static and dynamic analysis of masonry structures
Radnic, Jure
Harapin, Alen
Matesan, Domagoj
Trogrlic, Boris
Smilovic, Marija
Grgic, Nikola
Baloevic, Goran
GRADEVINAR, 2011, 63 (06): : 529 - 546
[28] Static and Dynamic Analysis for Web Security in Generic Format
Wu, Raymond
Hisada, Masayuki
Ranaweera, Rasika
GLOBAL SECURITY, SAFETY, AND SUSTAINABILITY, PROCEEDINGS, 2009, 45 : 233 - +
[29] Static and Dynamic Integrated Analysis Scheme for Android Malware
Chun-Hao Yung
Wen-Shenq Juang
Journal of Electronic Science and Technology, 2017, 15 (03) : 246 - 250
[30] Static and dynamic analysis of wind turbine tower structure
Xu, Yan
Sun, Wenlei
Zhou, Jianping
ADVANCES IN FRACTURE AND MATERIALS BEHAVIOR, PTS 1 AND 2, 2008, 33-37 : 1169 - +

← 1 2 3 4 5 →