节点文献

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

Strategy of Twin Models in Program Static Analysis

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【Author】 HUANG Chunhao,?ZHAO Yang,?CAI Zhimin,?PAN Jingui f Computer Science & Technology,Nanjing University,Nanjing Jiangsu 210093,China)

【机构】南京大学计算机软件新技术国家重点实验室；南京大学计算机科学与技术系；南京大学计算机科学与技术系江苏南京210093；江苏南京210093；江苏南京210093；

【摘要】介绍了描述程序信息的两种模型(EPOM和OSTPM)以及它们之间的联系,并举例介绍了如何利用这两种模型进行程序的静态分析检测。更多还原

【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.更多还原

【关键词】静态分析；可扩展程序对象模型；基于对象、域和型的层次式程序表示模型；
【Key words】 Static Analysis； EPOM(Extended Program Object Model)； OSTPM(Hierarchical Program Model based on Object,Scope and Type)；

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

【文献出处】计算机应用研究 ,Application Research of Computers , 编辑部邮箱 ,2003年10期

【分类号】TP311.1
【被引频次】1
【下载频次】90

知网节下载

节点文献中：

本文链接的文献网络图示:

本文的引文网络

节点文献