Proceedings of the 2015 4th International Conference on Computer, Mechatronics, Control and Electronic Engineering

Code Level Context Sensitivity Exploration Algorithm

Authors
LiJing Yan, Zheng Shan, Xiaoyan Xu, Fei Xue
Corresponding Author
LiJing Yan
Available Online November 2015.
DOI
10.2991/iccmcee-15.2015.189How to use a DOI?
Keywords
Behavior model; Function call graph; Context sensitivity; Source code level; Inter-procedure analysis
Abstract

The context sensitivity is an important property in program analysis which can improve the analysis accuracy of the function call context of the source codes and helps to improve the abilities of the compiler optimization and verification procedures. The automata model based on the function call of the program source code is an effective method of modeling the behaviors of the current software, but this method does not consider the context sensitivity of the software function calls. To solve this problem, on the base of high-performance open source compiler Open64, we achieve a source code level context sensitivity exploration algorithm to analyze the relationships between the points of the function calls. Using the iterator, by the circulating way, the algorithm traverses the calling relationships between functions and obtains the context sensitive information analysis results. With this method, it can guide the source code modeling of using the single context sensitivity or the mixed context sensitivity models. In the benchmark sets SPEC2006 and NPB3.3.1, we verify the correctness of the algorithm, and the results show that the proposed algorithm can detect the context sensitivity of the source code level, and the hybrid context sensitivity modeling approach which we used, comparing with other modeling methods, has had a higher accuracy.

Copyright
© 2015, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 2015 4th International Conference on Computer, Mechatronics, Control and Electronic Engineering
Series
Advances in Engineering Research
Publication Date
November 2015
ISBN
978-94-6252-110-0
ISSN
2352-5401
DOI
10.2991/iccmcee-15.2015.189How to use a DOI?
Copyright
© 2015, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - LiJing Yan
AU  - Zheng Shan
AU  - Xiaoyan Xu
AU  - Fei Xue
PY  - 2015/11
DA  - 2015/11
TI  - Code Level Context Sensitivity Exploration Algorithm
BT  - Proceedings of the 2015 4th International Conference on Computer, Mechatronics, Control and Electronic Engineering
PB  - Atlantis Press
SP  - 1007
EP  - 1013
SN  - 2352-5401
UR  - https://doi.org/10.2991/iccmcee-15.2015.189
DO  - 10.2991/iccmcee-15.2015.189
ID  - Yan2015/11
ER  -