  We propose a new static program analysis called program behavior analysis.
The analysis aims to calculate possible symbolic expressions for every variable
at each program point. We design a new lattice, transfer function, and widening
operator to accommodate the analysis. Furthermore, we extend the analysis to
interprocedural.
