故障（fault ）主要表现为数据流异常（data flow anomaly，DFA），所以故障检查主要就是 DFA 检查。DFA 检查 是程序静态分析的一个重要方面。
基于1个网页-相关网页
主要表现为数据流异常
The main manifestation is abnormal data flow
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动