程序静态分析中的双重模型策略  

Strategy of Twin Models in Program Static Analysis

作　　者：黄春浩[1,2] 赵洋[1,2] 蔡志旻[1,2] 潘金贵[1,2] 

机构地区：[1]南京大学计算机软件新技术国家重点实验室 [2]南京大学计算机科学与技术系,江苏南京210093

出　　处：《计算机应用研究》2003年第10期42-45,共4页Application Research of Computers

基　　金：日本富士通公司国际合作研究基金资助项目

摘　　要：介绍了描述程序信息的两种模型(EPOM和OSTPM)以及它们之间的联系,并举例介绍了如何利用这两种模型进行程序的静态分析检测。In this paper,we introduce two models(EPOM and OSTPM) and their relationship which can help us do the static analysis.In the end,we synthesize the two models to deal with some impeachments.

关 键 词：静态分析 可扩展程序对象模型 对象 域 型 层次式程序表示模型 

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