今天将CCI项目源码下载下来，整体编译时，看起来是成功了，但是打开Samples下的AnalysisToText时，却报错了。顺着提示找到Z3Wrapper进行编译，这时又报了错。提示说是没有libz3.dll、Microsoft.Z3.dll、Microsoft.Z3V3.dll，找遍了整体项目都没有发现有这些DLL，于是上网搜索一番。
最终找到了Microsoft Research下的Z3项目，有一个安装包z3-4.1.msi，于是将其下载下来(官方下载地址:http://research.microsoft.com/en-us/downloads/0a7db466-c2d7-4c51-8246-07e25900c7e7/)，然后进行安装。
安装完后，对应到路径下找到了bin文件夹（或者x64文件夹），下面有libz3.dll、Microsoft.Z3.dll、Microsoft.Z3V3.dll等dll，将他们全都复制到目录下，然后拷贝到Z3Wrapper项目下，将这些文件添进去，再次进行编译。
本以为这次一定过了，又报了一个问题，提示InterimKey.snk和Version.cs找不到，最终发现这两个文件在SourcesCommon和SourcesCommonInclude下。需要将这些文件进行配置，如果懒得配置，可以将Common文件夹直接找贝到与Sources同级目录下(具体位置可以点开ZeWrapper的签名中对应的签名档路径，如下图)。
按着....CommonInterimKey.snk，可以对应到相应的目录，然后将Common文件夹找到对应的位置。
Mark一下，以备后用。