Hunter一种指令集体系结构无关二进制级动态测试用例生成技术.pdfVIP

CN43一】zs8／TP 计算机工程与科学 2011年第33卷第4期 ISSN1007—130X V01．33。No．4。2011 COMPUTERENGINEERING＆SCIENCE ————■■●——一I 文章编号：1007—130X(2011)04—0069—06 Hunter：一种指令集体系结构无关的 二进制级动态测试用例生成技术。 H unter．ISA_^IndependentBinary Level TestGeneration Dynamic 李根，卢 凯，张英，卢锡城，冯 华，张巍 Ll Wei Gen。LUKai，ZHANG Hua，ZHANG Ying。LUXi—cheng．FENG (国防科学技术大学计算机学院，湖南长沙410073) of ofDefense (School Science，National Technology。Changsha410073IChina) Computer University 摘 要：动态测试用例生成技术是一类新兴的软件测试技术。由于使用该类技术无需任何人工干预， 也无需验证人员具备任何专业知识，同时该类技术能够无误地发现程序错误，越来越多的研究者采用该技 术查找预发布的二进制级软件错误。然而，已有的该类技术及其实现系统不具有可重定向性，只能处理面 向某种特定指令集体系结构(ISA)的二进制代码，进行测试用例的生成与查错。本文提出了一种全新的 指令集体系结构无关的二进制级动态测试用例生成技术，以及实现该技术的系统Hunter。与已有的动态 测试用例生成技术不同，Hunter具有极强的可重定向性，可对任何指令集体系结构的二进制代码进行查 化执行、约束收集、约束求解以及测试用例生成，从而使整个过程与ISA无关。我们实现了Hunter，将其 重定向至32位x86、PowerPC和SpareISA，并使用该系统为6个含有已知错误的测试程序查错。实验结 ISA编写的二进制应用中隐藏极深的错误。 且Hunter能够有效地发现面向32位x86、PowerPC和Spare Abstract：Thetest is to dynamic approachbecomingincreasinglypopularfindingsecurity generation vulnerabilitiesin andmoreresearchinstitutesand usethis tofind software．More organizationsapproach vulnerabilitiesin code．However。the level test ap— security binary existingbinarydynamicgeneration andtoolsarenot can findvulnerabilitiesinbinariesfora ISA． only specific proaehes retargetabl