论文部分内容阅读
介绍了描述程序信息的两种模型(EPOM和OSTPM)以及它们之间的联系,并举例介绍了如何利用这两种模型进行程序的静态分析检测。
程序静态分析中的双重模型策略
【摘 要】
：
介绍了描述程序信息的两种模型(EPOM和OSTPM)以及它们之间的联系,并举例介绍了如何利用这两种模型进行程序的静态分析检测。
【机 构】
：
南京大学,南京大学
【出 处】
：
计算机应用研究
【发表日期】
：
2003年10期
【基金项目】
：
日本富士通公司资助项目
其他文献
本文为CA Unicenter TNG在大亚湾核电站推广使用的总结与经验，简单介绍了客户端选件功能、客户控制台功能、服务器及网络选件功能，具体介绍了作者在实施TNG系统时遇到的问题与
本文介绍了一种利用ＤＤＥ实现非固定格式报表生成的方法，该方法具有较好的通用和实用性，对ＭＩＳ开发人员具有很好的参考价值。
ＡＴＭ高速交换技术是通信网发展的趋势局域网仿真是ＡＴＭ与现有局域网综合的方案之一。本文分析了ＡＴＭ局域网仿真（ＬＡＮＥ）技术，并给出了一个实现局域网仿真应用的实例。
文档和人员是OA系统工作流的两个基本要素。当人员不在同一区域时,其工作流被称作远程工作流,其安全机制不同于局域工作流。以远程工作流为模型,着重讨论其安全认证机制,将远程工作流分解成虚拟工作流和人员认证流两部分。虚拟工作流采用与局域网相同的安全策略,维持工作正常运行,在一定延迟时间后启动人员认证流,在得到认证流的结果并认为正确后,才将虚拟工作流的结果变成最终结果。
本文以沈东货运管理系统的开发为例，对基于ＯＲＡＣＬＥ的面向对象（ＯＯＭ）的管理信息系统开发中的几个问题进行了研究和改进，从而使货运管理信息系统的整体响应速度加快，系统性能有了明显的提高。。
通过Internet进行地图发布,让更多的人通过Internet获取地理信息是WebGIS进一步发展、WebGIS走进大众面临的重大课题。针对此问题论述了在.NET架构下实现基于GeoMediaWebMap的网络地图发布,并将其应用到重庆市渝北区土地利用规划管理信息系统。
基于广义信息系统的体系结构 ,针对物流系统自身的特性 ,提出物流信息系统体系结构 (LISA)。这个结构包括 :战略计划系统、协调控制系统、业务处理系统和信息平台、信息基础设施。对于该结构的组成部分 ,分析了其交互关系并详细描述了它们的输入、输出和功能
本文介绍了ＶｉｓｕａｌＦｏｘＰｒｏ３．０环境下组合查询类和通用查询类的设计实现方法，这些类对任何ＭＩＳ系统都是适用的，并且不需要进行任何修改。
二次信息过滤是根据搜索引擎返回的网页,对过滤结果进行理解、分析并进一步过滤,以使结果优化。二次过滤中的样本分类处理中,通过对基于Bayesian算法的网页识别技术的研究,探讨了基于改进的Bayesian算法的网页识别技术,用于对二次过滤中的整篇文档进行进一步的分析以提高过滤效果。