论文部分内容阅读
介绍了描述程序信息的两种模型(EPOM和OSTPM)以及它们之间的联系,并举例介绍了如何利用这两种模型进行程序的静态分析检测.
程序静态分析中的双重模型策略
【摘 要】
：
介绍了描述程序信息的两种模型(EPOM和OSTPM)以及它们之间的联系,并举例介绍了如何利用这两种模型进行程序的静态分析检测.
【机 构】
：
南京大学
【出 处】
：
计算机应用研究
【发表日期】
：
2004年期
【基金项目】
：
日本富士通公司资助项目;
其他文献
In order to analyze the characteristics of wheel-rail vibration of the vertical section in a high-speed railway,a vehicle-line dynamics model is established usi
化学是一门自然科学,有丰富的内容和复杂的知识体系.化学学习,不仅要求学生了解化学的常识,还要学生能够根据化学的现象推算复杂的化学知识,更要求学生能学以致用,掌握化学的
如何进一步促进综合实践活动向纵深发展,挖掘教育资源,让这门新课程展现出其独有的魅力已成为目前我们所有综合实践活动管理者和指导者必须面对的一个全新课题.要以实践活动
挟沙水流卡门常数是描述含沙水流流速分布的重要参数,目前水流流速分布规律主要分为两种模式:变k模式和Coleman模式.本文根据国内外现有资料归纳总结了卡门常数的研究现状,并
探讨网络环境下参考文献的功能及其实现。
Explore the Functions and Implementation of References in Network Environment.
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
代数式的内容,在七年级数学课程中是极为重要的部分,同时又是以往使学生感到枯燥乏味的部分.新世纪版实验教材,一反传统上代数式的内容主要以运算为主的设计,突出了代数式的
Clear knowledge on the reaction thrust of water jet is valuable for better design of water jet propulsion system.In this paper,theoretical,numerical and experim
针对某大量程、高动态武器用捷联惯性组合数据测量、交互传输及处理的时间轴同步性问题,进行形成机理分析研究.结合系统要求,采取相应手段进行处理.最终对处理效果进行实验验