Verification of program dynamic behaviours based on static analysis

被引：0
|
作者：
Xu, Shanwei [1 ]
Dasiewicz, P. [1 ]
机构：
[1] Univ Waterloo, Dept Elect & Comp Engn, Waterloo, ON N2L 3G1, Canada
来源：
2008 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-4 | 2008年
关键词：
static analysis; state transition; interaction;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Verification of dynamic behaviours of a program is usually conducted by executing the program on the target platform under different test cases and observing the results. This paper investigates the use of static analysis to verify some aspects of dynamic behaviours including state transitions and sequences of interaction between program components. The paper describes an algorithm to extract a model of state transition directly from source code, regardless of the programming style; and the method of generating execution scenarios from the model to compare with use cases. Our experiments show that this static method is effective in detecting possible coding errors.
引用
收藏
页码：210 / 213
页数：4
相关论文
共 50 条
  • [31] Finite Element Static and Dynamic Analysis for a Piston
    Wang, Y. X.
    Liu, Y. Q.
    Shi, H. Y.
    MANUFACTURING SCIENCE AND ENGINEERING, PTS 1-5, 2010, 97-101 : 3323 - 3326
  • [32] Static Analysis of Java']Java Dynamic Proxies
    Fourtounis, George
    Kastrinis, George
    Smaragdakis, Yannis
    ISSTA'18: PROCEEDINGS OF THE 27TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, 2018, : 209 - 220
  • [33] Integrated static and dynamic analysis for malware detection
    Shijo, P. V.
    Salim, A.
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATION TECHNOLOGIES, ICICT 2014, 2015, 46 : 804 - 811
  • [34] A Static and Dynamic Visual Debugger for Malware Analysis
    Yee, Chan Lee
    Chuan, Lee Ling
    Ismail, Mahamod
    Zainal, Nasharuddin
    18TH ASIA-PACIFIC CONFERENCE ON COMMUNICATIONS (APCC 2012): GREEN AND SMART COMMUNICATIONS FOR IT INNOVATION, 2012, : 765 - 769
  • [35] A Brief Survey of Specification Inference in Static Program Analysis
    Chai, Chuansen
    Yan, Xuexiong
    Wang, Qingxian
    Liu, Shukai
    Sun, Yajing
    Yi, Shuai
    PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON ADVANCES IN MECHANICAL ENGINEERING AND INDUSTRIAL INFORMATICS (AMEII 2016), 2016, 73 : 783 - 787
  • [36] A Detective Tool against SQL Injection Attacks Based on Static Analysis and Dynamic Monitor
    Liu, Zijian
    Xu, Lei
    2013 10TH WEB INFORMATION SYSTEM AND APPLICATION CONFERENCE (WISA 2013), 2013, : 195 - +
  • [37] A framework for static analysis and verification of low-level RTOS code
    Manjunath, Vignesh
    Baunach, Marcel
    JOURNAL OF SYSTEMS ARCHITECTURE, 2024, 154
  • [38] Combining Static and Dynamic Analysis to Improve Machine Learning-based Malware Classification
    Chanajitt, Rajchada
    Pfahringer, Bernhard
    Gomes, Heitor Murilo
    2021 IEEE 8TH INTERNATIONAL CONFERENCE ON DATA SCIENCE AND ADVANCED ANALYTICS (DSAA), 2021,
  • [39] 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
  • [40] 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
12345