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

来源 :计算机应用研究 | 被引量 : 0次 | 上传用户:intaaab
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍了描述程序信息的两种模型(EPOM和OSTPM)以及它们之间的联系,并举例介绍了如何利用这两种模型进行程序的静态分析检测。
其他文献
本文为CA Unicenter TNG在大亚湾核电站推广使用的总结与经验,简单介绍了客户端选件功能、客户控制台功能、服务器及网络选件功能,具体介绍了作者在实施TNG系统时遇到的问题与
本文介绍了一种利用DDE实现非固定格式报表生成的方法,该方法具有较好的通用和实用性,对MIS开发人员具有很好的参考价值。
ATM高速交换技术是通信网发展的趋势局域网仿真是ATM与现有局域网综合的方案之一。本文分析了ATM局域网仿真(LANE)技术,并给出了一个实现局域网仿真应用的实例。
文档和人员是OA系统工作流的两个基本要素。当人员不在同一区域时,其工作流被称作远程工作流,其安全机制不同于局域工作流。以远程工作流为模型,着重讨论其安全认证机制,将远程工作流分解成虚拟工作流和人员认证流两部分。虚拟工作流采用与局域网相同的安全策略,维持工作正常运行,在一定延迟时间后启动人员认证流,在得到认证流的结果并认为正确后,才将虚拟工作流的结果变成最终结果。
本文以沈东货运管理系统的开发为例,对基于ORACLE的面向对象(OOM)的管理信息系统开发中的几个问题进行了研究和改进,从而使货运管理信息系统的整体响应速度加快,系统性能有了明显的提高。。
通过Internet进行地图发布,让更多的人通过Internet获取地理信息是WebGIS进一步发展、WebGIS走进大众面临的重大课题。针对此问题论述了在.NET架构下实现基于GeoMediaWebMap的网络地图发布,并将其应用到重庆市渝北区土地利用规划管理信息系统。
基于广义信息系统的体系结构 ,针对物流系统自身的特性 ,提出物流信息系统体系结构 (LISA)。这个结构包括 :战略计划系统、协调控制系统、业务处理系统和信息平台、信息基础设施。对于该结构的组成部分 ,分析了其交互关系并详细描述了它们的输入、输出和功能
本文介绍了VisualFoxPro3.0环境下组合查询类和通用查询类的设计实现方法,这些类对任何MIS系统都是适用的,并且不需要进行任何修改。
二次信息过滤是根据搜索引擎返回的网页,对过滤结果进行理解、分析并进一步过滤,以使结果优化。二次过滤中的样本分类处理中,通过对基于Bayesian算法的网页识别技术的研究,探讨了基于改进的Bayesian算法的网页识别技术,用于对二次过滤中的整篇文档进行进一步的分析以提高过滤效果。