Code Level Context Sensitivity Exploration Algorithm
- 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/).
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 -