论文部分内容阅读
该文把静态分析技术与基于模型的演绎验证结合起来提供了一个框架,分析应用源代码,自动生成一个分析器,它能够推断关于给定程序行为的逻辑约束方面的信息。该文引入了一阶逻辑断言来描述API调用语义。这些断言构成分析器使用的模型。通过实验,该方法可被用来识别Java程序中的关于安全的逻辑错误。
基于模型的应用软件的静态检测方法研究
【摘 要】
：
该文把静态分析技术与基于模型的演绎验证结合起来提供了一个框架,分析应用源代码,自动生成一个分析器,它能够推断关于给定程序行为的逻辑约束方面的信息。该文引入了一阶逻
【机 构】
：
盐城师范学院信息工程学院
【出 处】
：
电脑知识与技术
【发表日期】
：
2015年7X期
【基金项目】
：
盐城师范学院自然科学基金项目(12YCKL014)
其他文献
5—7月苹果生长季，若前期持续高温干旱，后期出现强降雨，易造成高温、高湿的极端果园气候，导致苹果树发生褐烫伤害，症状是树冠下部和内膛叶片似被开水烫伤，迅速褐变甚至干枯，严重者波
随着近代科学技术的发展,机械制造行业的标准也逐渐提高,目前液压行业中经常要求两个元部件同步调的工作已满足加工的需求,但是在机械部件的运动中由于摩擦力、部件本身的精
通过《海角七号》中人物的励志,分析出励志电影中的成长因素。电影用一明一暗两条主线的交织穿插将故事层层推进。明线是,恒春小镇因演唱会"暖场"需要,组建临时乐团的种种矛
饮用水中的有机物容易引起水质污染,是危害人体健康的重要因素。饮用水生物稳定性是关系到有机物滋生的内在因素,净水工艺是通过水厂处理的外在途径达到消除有机物的目的,两
目的:对三种结肠镜术前肠道清洁方法的临床效果比较.方法:第一组采用灌肠液3000ml;第二组采用西沙必利20mg或吗叮啉20mg、灌肠液3000ml;第三组采用西沙比利20mg或吗叮啉20mg
苹果树腐烂病是常规病害，各产区果农都认识，谈该病防治似乎是老生常谈，没有新意，但近几年该病大流行，果农也觉得不可理解。针对此，我们进行了调查，分析了原因，并总结了一些防控经验。
随着科技的不断发展,人们对电力的需求在日益增长,也因此电网工程的建设问题开始被提上日程。介于建设时间受里程碑考核的影响,并且建设资金数目较难变动的原因,电网工程的前
目的对妇科患者围手术期的临床处理措施进行探讨。方法选取本院2013年2月~2014年2月所收治的妇科患者120例作为研究对象,并对其临床资料进行回顾性分析。结果通过手术治疗之
当前社会主义市场经济发展快速,市场竞争也越来越激烈,企业受到内外部环境的影响,面临着复杂的市场关系,风险发生的频率与日俱增,加强企业的风险管理成为重要的研究课题,对防