王金贺,吴佩泽,彭伯庄
(南方电网数字电网研究院有限公司,广东 广州 510000)
静态检测是一种针对二进制代码或被测软件源程序进行扫描的漏洞处理手段,可从语义、语法等多个角度理解数据化信息中所包含的实际内容,从而实现对待检程序特征的精准化分析,找出执行指令中存在的异常处置行为[1-2]。与二进制技术相比,静态检测是针对软件代码进行审查操作的手段,能够直接确定逻辑关联型漏洞在多维度终端软件中所处的应用位置,且在较为复杂的执行环境下,也可以针对待检查特征进行目的性强化。
在多维度终端软件环境中,随着数据攻击性行为强度的增大,静态漏洞信息的实际运行状态也会出现较大改变。为解决此问题,常规漏洞检测手段在数组访问越界条件的支持下,对缓存区溢出信息参量进行集中处理,再联合内存模型算法,对各节点处的漏洞检测参量进行计算与处理。但与此方法相关的PDR指标水平相对较高,很难在单位时间内承载足量的漏洞信息数据。基于此,提出新型多维度终端软件安装漏洞静态检测技术,在符号计算数据结构的支持下,建立多维度检测语言环境,再借助漏洞字段建模原理,实现对静态检测效率的精确计算。
多维度终端软件安装环境包括漏洞检测模块搭建、路径静态调度策略实施、符号计算数据结构连接3个处理流程,具体操作方法如下。
漏洞检测模块位于多维度终端软件环境之中,以静态分析器作为核心应用元件,在4个执行方向上分别与其他检测结构体相连,能够在提取待检漏洞信息的同时,实现对数据符号集组织的完善与调节[3]。……