基于Matlab的一维条形码检测无法通过畸形数据

4.5 校验和感知的模糊测试方法概述 4.5.1 基本思想 校验和机制导致传统模糊测试失效主要原因在于（1）畸形数据无法通过校 验和检查；（2）把所有输入都当做符号执时，符号执行和约束求解技术不能有效 求解复杂路径约束。下面围绕这两个问题，介绍校验和感知的模糊测试技术基本 思想。 针对畸形数据无法通过校验和检查的问题，本文提出的解决办法的核心思想 是禁用程序中对输入数据进行完整性检测，强制目标程序接收这些畸形数据。详 细地说，如果我们能够定位程序中的校验和检查点，我们就可以在校验和检查点 修改程序，使程序接收所有输入。这种强制程序执行的方法在软件破解和恶意代 码分析领域有着广泛应用[75, 121, 168]。 – 48 –