1. apt-get install 安装cbmc,cppcheck,frama-c
2. 安装依赖包： soaplib: sudo easy_install soaplib xmltodict: sudo easy_install xmltodict

parser文件夹：源代码文件，用来解析三个静态分析软件的检测结果 sourcefile:保存客户端传来的文件，生成最后需要的xml文件 xmlfile：保存中间结果文件