科研之友
微信
新浪微博
Facebook
分享链接
摘要
对安全协议多目标语言代码的缺陷检测,能够有效提高语言代码的利用效率。语言代码的缺陷检测,需要计算出各个语句块入度和出度,形成可并行化的源程序文本语句块分区,完成缺陷检测。传统方法获得配置参数值类型,并将查询数据返回到列,但忽略了形成源程序文本语句块分区,导致检测精度偏低。提出基于PChart的安全协议多目标语言代码缺陷检测方法。安全协议多目标源语言的源程序文本形成携带语法信息的符号流,通过对源程序控制依赖图进行遍历得到语言的源程序文本语句块分区,设计一种显式地进行内存分配与机器语言近似的中间表示,计算出语言源程序文本各个语句块入度和出度,形成可并行化的源程序文本语句块分区,在语言代码中间表示的基础上缺陷检测目标代码。实验结果表明,所提方法可有效提升目标代码的执行效率。
- 出版日期2017
- 单位首都经济贸易大学
