earticle

영어

In program testing, the accurate information of path feasibility can improve the efficiency of static analysis. The dynamic judgment method of path feasibility needs to execute program, and the resultis usually not sound. On the basis of symbolic execution, this paper proposes a new static judgmentmethod, whichsimultaneouslycomputes two interval sets of each symbolic variable: possible value set and necessary value set. According to these range information, we can easily give the definitejudgment of a path: feasible, infeasible or uncertain. Experiment shows that the method is appropriate and efficient in case of the weakly relevant input.