正文
《信息与电子工程前沿(英文)》 >> 2017年 第18卷 第3期 doi: 10.1631/FITEE.1500379
基于改进规则检查静态分析技术的高效脆弱性检测方法
. Hubei Provincial Key Laboratory of Intelligent Robot, Wuhan Institute of Technology, Wuhan 430205, China.. Industrial Robot Engineering Center, Wuhan Institute of Technology, Wuhan 430205, China.. School of Computer and Information Engineering, Henan Normal University, Xinxiang 453007, China.. School of Computer Science and Telecommunication Engineering, Jiangsu University, Zhenjiang 212013, China.. School of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan 430074, China
摘要
关键词
基于规则的静态分析技术 ; 软件质量 ; 软件验证 ; 性能改进
正文