Efficient vulnerability detection based on an optimized rule-checking static analysis technique
- ISSN号：1673-5447
- 期刊名称：《中国通信：英文版》
- 时间：0
- 分类：TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
- 作者机构：[1]Hubei Provincial Key Laboratory of Intelligent Robot, Wuhan Institute of Technology, Wuhan 430205, China, [2]Industrial Robot Engineering Center, Wuhan Institute of Technology, Wuhan 430205, China, [3]School of Computer and Information Engineering, Henan Normal University, Xinxiang 453007, China, [4]School of Computer Science and Telecommunication Engineering, Jiangsu University, Zhenjiang 212013, China, [5]School of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan 430074, China
- 相关基金：Project supported by the National High-Tech R＆D Program（863）of China（No.2013AA12A202）; the National Natural Science Foundation of China（Nos.61172173,41501505,and 61502205）; the Natural Science Foundation of Hubei Province,China（No.2014CFB779）; the Youths Science Foundation of Wuhan Institute of Technology（No.K201546）
同期刊论文项目
位置：