| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10342566 | Journal of Systems and Software | 2012 | 22 Pages |
Abstract
⺠We present a generic symbolic analysis framework for imperative programming languages. ⺠Our framework computes all valid variable bindings at a given program point. ⺠Variable bindings are kept in an algebraic structure called supercontext. ⺠Path expression algebra models control flow information of programs. ⺠A homomorphism maps path expressions into the symbolic domain.
Related Topics
Physical Sciences and Engineering
Computer Science
Computer Networks and Communications
Authors
Bernd Burgstaller, Bernhard Scholz, Johann Blieberger,