8.1 线性静态分析的假设