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.

翻译：我们提出一种新的静态程序分析方法——程序行为分析。该分析旨在计算每个程序点上每个变量的可能符号表达式。为了适应这一分析，我们设计了一种新的格结构、转移函数和 widening 算子。此外，我们将该分析扩展为过程间分析。