4.3.27.4 -Nlevel=4

分析整个程序，并报告使用某些程序执行路径时会发生的条件错误，以及在 -Nlevel=3 下执行的分析。

在此分析级别上，存在更多诊断消息。分析算法通常对应于 -Nlevel=3 的分析算法，所不同的是任何无效值现在会生成一条错误消息。在此级别上进行分析所需的时间增大两个数量级（大约慢 20 到 100 倍）。在这种情况下，所需的额外时间与以递归、条件语句等为特征的程序复杂性成正比。因此，对超过 100,000 行的程序使用此级别的分析可能很困难。