10.3969/j.issn.1006-9348.2017.12.098
安全协议多目标语言代码缺陷检测方法仿真
对安全协议多目标语言代码的缺陷检测,能够有效提高语言代码的利用效率?语言代码的缺陷检测,需要计算出各个语句块人度和出度,形成可并行化的源程序文本语句块分区,完成缺陷检测.传统方法获得配置参数值类型,并将查询数据返回到列,但忽略了形成源程序文本语句块分区,导致检测精度偏低.提出基于PChart的安全协议多目标语言代码缺陷检测方法.安全协议多目标源语言的源程序文本形成携带语法信息的符号流,通过对源程序控制依赖图进行遍历得到语言的源程序文本语句块分区,设计一种显式地进行内存分配与机器语言近似的中间表示,计算出语言源程序文本各个语句块入度和出度,形成可并行化的源程序文本语句块分区,在语言代码中间表示的基础上缺陷检测目标代码.实验结果表明,所提方法可有效提升目标代码的执行效率.
安全协议多目标、语言代码、缺陷检测
34
TP311.5(计算技术、计算机技术)
2018-02-01(万方平台首次上网日期,不代表论文的发表时间)
共4页
443-446