基于LLVM的静态程序有界模型检测

来源 :华侨大学 | 被引量 : 0次 | 上传用户：shying

【摘要】

：

回回产卜爹仇贱回——回日E回。”。回祖一回“。回干肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》砧叫]们羽制作:陈恬’＃陈川个美食 Back to yield

【作者】

：

陈云潇

【出处】

：

华侨大学

【发表日期】

：

2004年期

【关键词】

：

程序验证底层虚拟机有界模型检测 SMT求解器控制依赖

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

回回产卜爹仇贱回——回日E回。”。回祖一回“。回干肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》砧叫]们羽制作:陈恬’＃陈川个美食 Back to yield Buddy revenge - back to Japan E back. “Back once again.” Back to the dried meat in the magic N_. NH lP7-ewwe - “a” $ MN.W; - __._ - ------ "anvil called] feather production: Chen Tian

其他文献

对病毒实验室生物安全问题的认识及管理的探讨

会议

甘肃镇原县发现宋代铜印

期刊

镇原县

多点反馈管理模式在骨科术后医院感染控制中的应用观察

手术切口感染在骨科手术患者治疗中极为常见,骨科术后切口感染(SSI)在医院感染中约占10%,对医疗质量及患者预后产生严重不良影响[1].随着各级医疗管理机构对感染工作的重视程

期刊

医院感染控制危重急症病房空气骨科病房应用观察骨科术后管理机构医疗质量

马子冲锰矿急倾斜极薄矿脉采矿方法研究

急倾斜极薄矿脉开采时,常遇到采矿方法难以确定、损失率贫化率高、作业空间狭小等问题。为研究适宜的采矿方法,以马子冲锰矿的急倾斜极薄矿脉为研究对象,结合矿山矿脉稳固性