We are currently experiencing intermittent issues impacting performance. We apologize for the inconvenience.
By Topic

A novel symbolic execution framework for multi-procedure program analysis

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Fan Wenqing ; Key Lab. of network & Inf. attack&defence Technol. of MOE, Beijing Univ. of Posts & Telecommun., Beijing, China ; Liang Hongling ; Yang Yixian ; Xu Guoai

Modern software systems, which are often large-scale, 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.

Published in:

Broadband Network & Multimedia Technology, 2009. IC-BNMT '09. 2nd IEEE International Conference on

Date of Conference:

18-20 Oct. 2009