使用CREST测试 前对多文件程序的 Instrumentation 方法

       CREST 是 一个 面向C语言的 自动测试用例生成工具，采用 concolic testing 的技术 对 C 程序进行 bug检查。CREST 在 应用到 目标程序之前，需要对其进行预先处理 intrumentation。由 专门改编的CIL （C Intermediate Language)  完成这项工作。 但是 CREST 的主页上 只提供了 对于 单文件 代码的 处理方法： crestc  文件.c。然而大多开源软件都是 比较复杂的 多文件大型程序。这里 有两种比较常用的方法：

1. 用CIL 中的 merge 命令 将多文件程序 整合成单文件代码，需要在configure 之后 更改 makefile 文件的内容：