故障（fault ）主要表现为数据流异常（data flow anomaly，DFA），所以故障检查主要就是 DFA 检查。DFA 检查 是程序静态分析的一个重要方面。
基于4个网页-相关网页
data-flow anomaly 数据流异常
·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐
模块上移
模块下移
不移动