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 条
  • [1] Using Static Analysis to Reduce Dynamic Analysis Overhead
    Suan Hsi Yong
    Susan Horwitz
    Formal Methods in System Design, 2005, 27 : 313 - 334
  • [2] Lowering STM Overhead with Static Analysis
    Afek, Yehuda
    Korland, Guy
    Zilberstein, Arie
    LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, 2011, 6548 : 31 - 45
  • [3] Automatic program assessment using static and dynamic analysis
    Arifi, Sara Mernissi
    Ouali, Ismail Nait Abdellah
    Zahi, Azeddine
    Benabbou, Rachid
    PROCEEDINGS OF 2015 THIRD IEEE WORLD CONFERENCE ON COMPLEX SYSTEMS (WCCS), 2015,
  • [4] Static and Dynamic Malware Analysis Using Machine Learning
    Raghuraman, Chandni
    Suresh, Sandhya
    Shivshankar, Suraj
    Chapaneri, Radhika
    FIRST INTERNATIONAL CONFERENCE ON SUSTAINABLE TECHNOLOGIES FOR COMPUTATIONAL INTELLIGENCE, 2020, 1045 : 793 - 806
  • [5] Advance Malware Analysis Using Static and Dynamic Methodology
    Saurabh
    2018 INTERNATIONAL CONFERENCE ON ADVANCED COMPUTATION AND TELECOMMUNICATION (ICACAT), 2018,
  • [6] Static and Dynamic Malware Analysis Using Machine Learning
    Ijaz, Muhammad
    Durad, Muhammad Hanif
    Ismail, Maliha
    PROCEEDINGS OF 2019 16TH INTERNATIONAL BHURBAN CONFERENCE ON APPLIED SCIENCES AND TECHNOLOGY (IBCAST), 2019, : 687 - 691
  • [7] Combined Static and Dynamic Analysis
    Artho, Cyrille
    Biere, Armin
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 131 : 3 - 14
  • [8] Integrating Static and Dynamic Malware Analysis Using Machine Learning
    Mangialardo, R. J.
    Duarte, J. C.
    IEEE LATIN AMERICA TRANSACTIONS, 2015, 13 (09) : 3080 - 3087
  • [9] Static and dynamic analysis of silicon NEMS
    Tang, Z
    Aluru, NR
    NANOTECH 2003, VOL 2, 2003, : 464 - 467
  • [10] Static and Dynamic Analysis of Android Malware
    Kapratwar, Ankita
    Di Troia, Fabio
    Stamp, Mark
    ICISSP: PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS SECURITY AND PRIVACY, 2017, : 653 - 662
12345