Paper Title:
Loop Extended Symbolic Execution on List Manipulating Programs
  Abstract

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, Z. F. Wang, L. M. Dong, "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
$32.00
Share

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

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

Authors: Jian Ping Liu, Bang Yan Ye, Jian Xi Peng
Abstract:To improve the validity and efficiency of feature recognition for 3D reconstruction from engineering drawings, this paper presents a new...
543
Authors: Dan Zhang, Rong Cai Zhao, Lin Han, Wei Fang Liang, Jin Qu, Xiao Nan Liu
Abstract:Using FPGA for general-purpose computation has become a hot research topic in high-performance computing technologies. However, the...
812
Authors: Hui Yang, Shu Ming Chen, Tie Bin Wu
Materials and Its Applications
Abstract:Instruction compression technique overcomes the drawbacks of traditional VLIW architectures with low density in the instruction cache....
146
Authors: Jian Jun Yang, Hong Zhan, Ji Wen Tan, Yu Cheng Ding
Chapter 5: Frontiers of Mechanical Engineering
Abstract:In laser processing, optimizing the shortest process time is not equal to optimizing the shortest path, and the spare travel time decided the...
1504
Authors: Wen Zhong Ma, Zhi Wang, Yao Rong Li, Wei Zhang
Chapter 6: Electronic and Radio Engineering
Abstract:An acquisition and tracing algorithm of GPS receiver is introduced. The shortage of time domain acquisition algorithm is pointed out by...
1556