第4章 抽象解释 抽象解释 在程序静态分析中，用于构造和逼近程序不动点 语义的理论 使用抽象对象域上的计算抽象来逼近程序指称的 具体对象域上的计算，使得程序抽象执行的结果 能够反映出程序真实运行的部分信息 本质上是在计算效率和计算精度之间取得均衡， 以损失计算精度来求得计算的可行性，再通过迭 代计算来增强计算精度第4章 抽象解释 • 抽象解释 – 在程序静态分析中，用于构造和逼近程序不动点 语义的理论 – 使用抽象对象域上的计算抽象来逼近程序指称的 具体对象域上的计算，使得程序抽象执行的结果 能够反映出程序真实运行的部分信息 – 本质上是在计算效率和计算精度之间取得均衡， 以损失计算精度来求得计算的可行性，再通过迭 代计算来增强计算精度