A NOVEL SYMBOLIC EXECUTION FRAMEWORK FOR MULTI-PROCEDURE PROGRAM ANALYSIS
Modern software systems, which are often largescale, with multi-procedure and complex data structures, must be extremely high quality. We present a novel framework based on symbolic execution for automatic analysis of such systems and checking of properties. We provide an improved approach of the traditional symbolic execution, namely the General-Cutting symbolic execution. We change the ways of dealing with the function calls. The process of this new approach is divided into two stages. How to deal with calling context when accessing unknown input data and how to deal with the relationship between function callings are two main challenges to the General- Cutting symbolic execution algorithm. We adopt an extensible lazy initialization method and General Execution Map Cutting method to handle these problems. It can deal with arbitrary and complex input data.
symbolic ezecution static analysis inter-procedure analysis
Fan Wenqing Liang Hongling Yang Yixian Xu Guoai
Key Laboratory of network and information attack & defence technology of MOE, Beijing University of Posts and Telecommunications, Beijing, China Information Security Center, State Key Laboratory of Networking and Switching Technology, Beijing University o
国际会议
北京
英文
858-863
2009-10-18（万方平台首次上网日期，不代表论文的发表时间）