1996年6月23日至7月1日，我被点名到四川某单位协助排查某系统的技术问题。 我不懂该系统的原理，也不懂硬件，只能从软件角度分析问题。 那时，我所在单位已经为一家美国公司做了3年的软件第三方独立验证和测试，从中学到了代码走查（walkthough）的方法。 我请该单位允许我查看该系统的源程序。该程序的编程语言是X86汇编语言，还好规模不大，走查时间不长。 通过走查，发现以下问题： 系统

1. 静态分析工具 VS 编译器       编译器负责把C源程序快速、高效地转变为可执行文件，不对代码做类型检查（特别是对分别编译的程序），有益于做到快速与高效。       Lint没有“高效”的要求，可以花更多时间对代码进行更深入、仔细的检查。 2. C代码静态分析工具 Its4 读取一个或多个 C/C++源程序，将每个源程序分割成函数标志流，然后检查生成的标志是否存在于漏洞数据

代码走查就是只看代码的规范性，学习到了很多知识，跟大家分享 注释规范问题 类的实例化不要全局变量 规范示范 判NUL问题 判null的范围        1、前台界面往后传时需要进行判空（原因：虽然可以用js进行判断但高手可以进行屏蔽，这时如果没有判断就容易报错）

1. 简介 Findbugs是一个静态分析工具，它检查类或者jar文件，将字节码与一组缺陷模式进行对比以发现可能的问题。利用这个工具可以在不实际运行程序的情况下对软件进行分析。可以帮助改进代码质量。Findbugs提供了方便操作的可视化界面，同时，也可以作为idea插件来使用。 2. 安装 下载：https://plugins.jetbrains.com/plugin/3847-findbu

最近几年的设计圈始终盛行着“设计检查”相关的话题，但可能很多设计师在查阅相关文章时，基本概念都没有弄清楚。 比如走查（Walk through）这个词，英文本意是指“排练”或者“演习” ，那么严格一点讲，“走查”是限定了特定时间阶段的：即产品开发结束到正式上线前。所以，如果一款产品已经到了设计走查阶段，其内容和品质可以认为基本尘埃落定。 如果说，明知道自家的产品更大的困难在于业务本身的规划，或