一个静态分析器的设计与实现  

A Design and Implementation about Static Analysis Tool

作　　者：李亚红[1] 郝克刚[1] 葛玮[1] 

机构地区：[1]西北大学计算机科学系软件工程研究所,陕西西安710069

出　　处：《微机发展》2004年第12期117-119,共3页Microcomputer Development

摘　　要：从理论上阐述了软件静态分析的概念、意义及分类,以及静态分析器与编译器的不同,并详细、系统地介绍了一个静态分析器的设计与实现。描述了它的关于软件系统信息和模块信息提取功能,又从实现的角度介绍了该分析器程序的系统结构及数据结构。初步的实践证明上述静态分析器可以提高数据采集效率,能够对程序系统信息及模块信息进行有效提取。Expatiate the concept, meaning and classes of the static analysis tool from the theory, while give the difference between the static analysis tool and complier. At the same time, the paper introduces a design and implementation about static analysis tool, with the software system information and models information. In another hand, the paper from the implementation's angle give system structure and data structure of this static analysis tool. Based on the practice, it has proved that the static analysis tool has made evidence effective when it collects data and distills the program's system information and models information.

关 键 词：软件工程 静态分析 静态测试 静态分析器 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]