摘要：
在实验室学长的帮助下，我完成了第一个C#界面程序。整体感觉是：简单，易用，但是界面有点老土。 第一次接触C#的我还是比较畏惧地接受了这个任务，我也摒弃了以往学语言时候的坏习惯（借一本厚厚的“深入浅出”，然后从头开始研读），因为老的方法总是让我半途而废，坚持不下来。而这一次，虽然我也借了一本厚厚的书，但是我没有一下子被书淹没，我直接从学长给的实例程序入手，一点点地读程序。 由于有C++的基础，对于面向对象语言的理解还是比较深刻的，所以很快，我便慢慢地读懂了程序的整个流程，也发现了C#编界面的几个优点： 1.控件种类多，插入方便，而且很方便定位到程序中（只要双击控件就可以了） 2.简单... 阅读全文
摘要：
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\inclu... 阅读全文