Symbolic Analysis of Programs
Programming tools and compilers require sophisticated techniques to statically reason about program semantics. Existing program analysis techniques often fail to give precise answers about the meaning of a program due to imprecise approximations. In order to overcome the deficiencies of existing program analysis approaches we have continued the research in the field of symbolic analysis , , , , , . Symbolic analysis is a static, global program analysis that examines each expression of the input program only once and attempts to derive a precise mathematical characterization of the computations. The result of this analysis is called “program context” , which comprises program semantics for an arbitrary program point. The program context is a symbolic representation of variable values or behaviors arising at run-time of the program. Therfore, symbolic analysis can be seen as a compiler that translates a program into a different language. As a target language we employ symbolic expressions and symbolic recurrences.
KeywordsPath Condition Recurrence System Symbolic Expression Symbolic Evaluation Conditional Expression
Unable to display preview. Download preview PDF.