基于抽象解释的迹划分技术研究

来源 :计算技术与自动化 | 被引量 : 0次 | 上传用户:z7120
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
确保程序中没有运行时错误,对于软件安全性的保证十分重要。基于抽象解释的静态分析方法对程序语义进行抽象,是验证运行时错误最合适的形式化方法之一。然而抽象解释对于程序语义的抽象可能导致过近似问题,从而引发误报,降低了分析精度。因此提出了迹划分的技术,根据程序的迹对程序控制流图进行划分,对静态分析过程进行局部细化,减少了抽象解释过程中过近似引发的误报。迹划分技术以局部分析效率降低为代价换来了分析精度的提高。
其他文献
目的分析肢端肥大症患者糖代谢异常的发生情况及其影响因素。方法回顾性分析50例肢端肥大症患者的临床资料,根据糖代谢检测指标评估糖代谢异常的发生情况。比较不同糖耐量状
BP神经网络易于陷入局部最小点以及收敛速度较慢,为了克服这些缺陷,本文对BP神经网络进行改进。通过对BP神经网络的样本进行采样分析,得到训练目标函数与输入向量之间的相关
针对传统预测控制算法在解决非线性系统控制问题时,存在难以建立精确的数学模型、控制精度不高等缺点,提出一种新的非线性系统预测控制方案。以多BP神经网络作为并行预测模型
肺动脉高压是一种难治的、严重的并呈进行性发展的心肺疾病,其表现为肺血管重构、免疫炎症失调和线粒体代谢功能紊乱等一系列问题,并可能涉及微小RNA的改变,可导致右心室后负
中国的英语词汇教学受结构主义语言学的影响,很少重视词汇教学中的语用因素,一直把词汇教学简单地归为词汇量或者词汇的基础意义的教学。本文在回顾以前的词汇教学的基础上提
帕金森病是临床上常见的神经系统疾病,严重影响中老年人健康。目前以西药治疗为主,但副作用明显,而中医药治疗帕金森病有一定效果,且无明显副作用。本文就近年来中医药治疗帕
目的:建立黑老虎根药材薄层色谱鉴别方法。方法:采用薄层色谱法对不同产地的黑老虎根药材进行定性鉴别。结果:以甲苯–乙酸乙酯(7∶3)为展开剂,色谱图斑点清晰,分离度好。结论:该研
目的观察探讨对肺癌围术期患者实施早期肺康复干预对生活质量的影响。方法从2016年4月至2018年5月于本院接受手术的肺癌患者中选取76例患者作为研究对象,采用随机数表法进行
从研究知识资本存量结构与区域经济增长关系的角度出发,可以把知识资本分为区域人力资本、技术资本、顾客资本和市场资本。国内外实例充分说明,要加大区域人力资本、技术资本、
任务型语言教学是二十世纪八十年代以来外语教学研究的重要课题,国家教育部在新的英语课程标准中明确提倡任务型语言教学,它是强调学习过程的一种语言教学途径和方法。本研究