安全协议多目标语言代码缺陷检测方法仿真

摘要

对安全协议多目标语言代码的缺陷检测,能够有效提高语言代码的利用效率？语言代码的缺陷检测,需要计算出各个语句块人度和出度,形成可并行化的源程序文本语句块分区,完成缺陷检测.传统方法获得配置参数值类型,并将查询数据返回到列,但忽略了形成源程序文本语句块分区,导致检测精度偏低.提出基于PChart的安全协议多目标语言代码缺陷检测方法.安全协议多目标源语言的源程序文本形成携带语法信息的符号流,通过对源程序控制依赖图进行遍历得到语言的源程序文本语句块分区,设计一种显式地进行内存分配与机器语言近似的中间表示,计算出语言源程序文本各个语句块入度和出度,形成可并行化的源程序文本语句块分区,在语言代码中间表示的基础上缺陷检测目标代码.实验结果表明,所提方法可有效提升目标代码的执行效率.%This article proposes a method for detecting defects in multi-object language codes of security protocol based on PChart.Source program text of multi-objective source language with security protocol forms symbol stream with grammatical information.Then,control dependence graph of source program is traversed,and text statement block partition of source program of language is obtained.Moreover,an intermediate representation is designed.It explicitly performs memory allocation and it is similar to machine language.Thus,in-degree and out-degree of each statement block of language source program text are calculated to form parallelizable partition of statement block of source program text.On the basic of intermediate representation of language codes,the target cude is defectively detected.Simulation result shows that the proposed method can effectively improve the execution efficiency of target codes.