【摘 要】
：
符号执行是一种实用的验证程序中是否包含某类错误的技术,具有0误报率的优点,但是主流的执行工具并不支持分析多线程程序。本文对已有的多线程程序的符号执行工具进行分析,发
【机 构】
：
清华大学计算机科学与技术系,华为技术有限公司2012实验室
论文部分内容阅读
符号执行是一种实用的验证程序中是否包含某类错误的技术,具有0误报率的优点,但是主流的执行工具并不支持分析多线程程序。本文对已有的多线程程序的符号执行工具进行分析,发现存在的问题有:1)有些工具性能好,但是不支持外部库,实用性很差;2)有些工具支持外部库函数,但是版本老,难以更新和维护,无法检查减法溢出、乘法溢出、移位溢出等基本类型的bug。本文基于最主流的符号执行工具KLEE设计并实现支持多线程程序的符号执行工具——MTSE(Multi-Thread Symbolic Execution)。MTSE支持l
其他文献
计算机X线摄影(Computed radiography简称CR),是目前X线平片数字化的比较成熟的技术,它是使用可记录并有激光读出X线成像信息的成像板(imaging plate简称IP版)做为载体,经X线
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
目的:探讨痔瘘术后镇痛、减少术后并发症、缩短病程的最佳护理方法.方法:将84例痔瘘术后病人随机分为两组,A组实验组,42例使用PCA泵加个体化主动促康复护理,B组对照组,采用传
新课改活动的全面实施使我国的英语教材在很多方面都与以往不同,与过去的教材相比较,当前我国的英语教材不单单重视学生的读写部分,同时也引导并培养学生听说以及写作能力,总