利用静态数据流和动态数据流分析故障