数据流相关软件故障的静态检测

• Detection of Data-Flow Related Software Fault