路径敏感的源码关联变量模式挖掘及缺陷检测-模式识别与人工智能.pdfVIP

第25 卷摇 第4 期摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 模式识别与人工智能摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 Vol.25摇 No.4 摇 2012年8月摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 PR AI摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 Aug摇 摇 2012 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 路径敏感的源码关联变量模式挖掘及缺陷检测* 1,2 1 1 1 2 于秀梅 摇 摇 梁摇 彬 摇 摇 陈摇 红摇 摇 谢素斌 摇 摇 王眉林 1(中国人民大学 信息学院摇 北京 100872) 2(中国信息安全测评中心摇 北京 100085) 摘摇 要摇 大量而广泛存在的源码系统使得