• 主题
高级搜索  >
历史搜索 清空历史
首页> 中文期刊> 《计算机应用研究》 >程序静态分析中的双重模型策略

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

         
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

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

著录项

  • 来源
    《计算机应用研究》 |2003年第10期|42-45|共4页
  • 作者

    黄春浩; 赵洋; 蔡志父; 潘金贵;

  • 作者单位

    南京大学;

    计算机软件新技术国家重点实验室;

    南京大学;

    计算机科学与技术系;

    江苏;

    南京;

    210093;

    南京大学;

    计算机软件新技术国家重点实验室;

    南京大学;

    计算机科学与技术系;

    江苏;

    南京;

    210093;

    南京大学;

    计算机软件新技术国家重点实验室;

    南京大学;

    计算机科学与技术系;

    江苏;

    南京;

    210093;

    南京大学;

    计算机软件新技术国家重点实验室;

    南京大学;

    计算机科学与技术系;

    江苏;

    南京;

    210093;

  • 原文格式 PDF
  • 正文语种 chi
  • 中图分类 TP311.56;
  • 关键词

    静态分析; 可扩展程序对象模型; 基于对象、域和型的层次式程序表示模型;

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号