基于Matlab的一维条形码检测实验结

北京大学博士学位论文 第四章 校验和感知的模糊测试技术 原型系统。在约束求解器的选择上，TaintScope最初选用STP[85, 158]求解器。但 是使用过程中发现，STP求解器只能运行在Linux平台下，而且自身存在内存泄 露问题。在综合比较其他约束求解器特性后，TaintScope目前采用了微软开发 的Z3求解器[177]。与STP相比，Z3的求解效率更高，而且具有跨平台特性。值得 说明的是，求解器是TaintScope系统的后端模块。在设计上，TaintScope并不局 限于某种特定的求解器。 4.7 实验结果 4.7.1 实验设置 表 4.1: 测试程序信息 Category Application Version OS File Format Checksum Algorithm Image Viewer Google Picasa 3.1.0 Windows PNG CRC Adobe Acrobat 9.1.3 Windows PNG CRC Network Tool Snort 2.8.4.1 Linux PCAP TCP/IP Tcpdump 4.0.0 Linux PCAP TCP/IP Misc ClamAV 0.95.2 Linux CVD MD5 GNU Tar 1.22 Linux Tar Archive Tar objcopy 2.17 Linux Intel Hex Hex Open-vcdiff 0.6 Linux VCDIFF Adler32 在实验部分，为了测试TaintScope系统的有效性，本文选取了Windows、 Linux等平台上多款流行应用程序。表4.1列出了测试程序的具体信息。其中，第 二列给出了程序的名称，第三列给出了程序的版本信息，第四列给出了程序所运 行的操作系统信息。下面简单介绍一下这几款程序。 • Picasa是由Google开发，广泛使用的图像查看、编辑软件； • Acrobat是Adobe公司开发的PDF格式编辑、阅览、制作软件； • ClamAV是Linux环境下最流行的反病毒软件； – 61 –