| 程序静态分析中的双重模型策略 |
| |
| 引用本文： | 黄春浩,赵洋,蔡志父,潘金贵. 程序静态分析中的双重模型策略[J]. 计算机应用研究, 2003, 20(10): 42-45 |
| |
| 作者姓名： | 黄春浩 赵洋 蔡志父 潘金贵 |
| |
| 作者单位： | 南京大学,计算机软件新技术国家重点实验室;南京大学,计算机科学与技术系,江苏,南京,210093 |
| |
| 基金项目： | 日本富士通公司国际合作研究基金资助项目 |
| |
| 摘 要： | 介绍了描述程序信息的两种模型(EPOM和OSTPM)以及它们之间的联系，并举例介绍了如何利用这两种模型进行程序的静态分析检测。
|
| 关 键 词： | 静态分析 可扩展程序对象模型 对象 域 型 层次式程序表示模型 |
| 文章编号： | 1001-3695(2003)10-0042-04 |
| 修稿时间： | 2002-09-25 |
Strategy of Twin Models in Program Static Analysis |
| |
| Abstract: | 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. |
| |
| Keywords: | Static Analysis EPOM(Extended Program Object Model) OSTPM(Hierarchical Program Model based on Object Scope and Type) |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
