Loop Extended Symbolic Execution on List Manipulating Programs

Abstract:

Article Preview

Current symbolic execution is challenged by its ability to deal with loops. The case gets worse for loops manipulating recursive data structures. In this paper, we extend classic symbolic execution techniques for error detection of programs manipulating lists in loops. The idea is to enhance the symbolic execution with the utilization of quantitative aspect of the shape, and to construct the exit state of the loop. The exit state is constrained by a set of numeric constraints containing normal symbolic variables in programs and instrumented symbolic variables on the shapes. A prototype tool has been implemented and experiments are conducted on some commonly used list manipulating programs.

Info:

Periodical:

Edited by:

Han Zhao

Pages:

3010-3014

DOI:

10.4028/www.scientific.net/AMM.130-134.3010

Citation:

R. J. Li et al., "Loop Extended Symbolic Execution on List Manipulating Programs", Applied Mechanics and Materials, Vols. 130-134, pp. 3010-3014, 2012

Online since:

October 2011

Export:

Price:

$35.00

In order to see related information, you need to Login.

In order to see related information, you need to Login.