Abstract近年来,基于模糊的自动化软件测试经历了复兴。尤其是反馈驱动的模糊化已经因其在有限的输入语料库中有效地执行随机测试的能力而广为人知。尽管取得了很多进展,但两个常见的问题是幻数和(嵌套的)校验和。通常使用诸如污点跟踪和符号执行等昂贵的计算方法来克服这些障碍。不幸的是,此类方法通常需要访问源代码、对环境的相当精确的描述(例如,库调用或底层操作系统的行为)或平台指令集的确切语义。在本文中,
Copyright © 2005-2025 51CTO.COM 版权所有 京ICP证060544号