微计算机信息
微計算機信息
미계산궤신식
CONTROL & AUTOMATION
2007年
24期
189-190,120
,共3页
静态分析%代码检测%抽象语法树
靜態分析%代碼檢測%抽象語法樹
정태분석%대마검측%추상어법수
本文给出了以抽象语法树为基础的软件静态分析工具的体系结构,介绍了该工具中各个模块的设计与实现方法,着重于规则库的设计,以及利用定义好的规则实现自动化的代码检测的过程.
本文給齣瞭以抽象語法樹為基礎的軟件靜態分析工具的體繫結構,介紹瞭該工具中各箇模塊的設計與實現方法,著重于規則庫的設計,以及利用定義好的規則實現自動化的代碼檢測的過程.
본문급출료이추상어법수위기출적연건정태분석공구적체계결구,개소료해공구중각개모괴적설계여실현방법,착중우규칙고적설계,이급이용정의호적규칙실현자동화적대마검측적과정.