论文部分内容阅读
对安全协议多目标语言代码的缺陷检测,能够有效提高语言代码的利用效率。语言代码的缺陷检测,需要计算出各个语句块入度和出度,形成可并行化的源程序文本语句块分区,完成缺陷检测。传统方法获得配置参数值类型,并将查询数据返回到列,但忽略了形成源程序文本语句块分区,导致检测精度偏低。提出基于PChart的安全协议多目标语言代码缺陷检测方法。安全协议多目标源语言的源程序文本形成携带语法信息的符号流,通过对源程序控制依赖图进行遍历得到语言的源程序文本语句块分区,设计一种显式地进行内存分配与机器语言近似的中间表示,计