Symbolic analysis of programs is a process of statically detecting program properties which covers data and control flow information at well defined program points. The information provided by symbolic analysis is useful in compiler optimization, code generation, program verification, testing, reverse-engineering, comprehension, specialization, and debugging, performance analysis, and parallelization.
KeywordsRecurrence Relation Program Variable Path Condition Symbolic Expression Program Point
Unable to display preview. Download preview PDF.