初识goto-cc编译器~~

　　What？

　　　　　　对C和C++源文件的编译器，产生程序的控制流图。goto-cc属于静态分析器，并不能检测出文件的错　　　　误，但是它产生的控制流图可以继续地被用来动态分析，后续的工作可以交给CBMC或SATABS来处理。

　　How？

　　　　方法一：

　　　　配置cl环境：

　　　　命令行目录...Microsoft Visual Studio 9.0\VC\bin加入path

　　　　添加lib环境变量...\Microsoft Visual Studio 9.0\VC\lib

　　　　添加include环境变量...\Microsoft Visual Studio 9.0\VC\include　　　　　　　　　   　　　　　　

　　　　将...\Microsoft Visual Studio 9.0\Common7\IDE加入path

　　　　方法二：

　　　　直接使用VS2010自带的命令提示行。

　　Process？

　　　　命令行输入：goto-cc --dot 文件名