抽象解释

在抽象域上执行程序，比如只关心变量的正负或区间，而不是具体值。