软件静态分析疑惑

ajizhou

1、静态分析的问题，程序编译时难道能通过吗？比如一个典型的例子，先使用后定义这种静态分析问题，编译器在编译时就会提示错误的吧？既然如此静态分析意义何在呢？
2、有没有什么资料能详细讲解静态分析的问题原理、影响及静态分析的好处的呢？
谢谢！本人学习了些静态分析的东西，也做过一些静态分析的东西，但不系统，所以产生了以上的疑问，望高人指点。谢谢！

天外繁星

静态分析 可以通过
1.类型和单位分析；
2.引用分析；
3.表达式分析；
4.接口分析；
通过代码审查，代码走查 等方法来实现；

天外繁星

静态分析 可以通过
1.类型和单位分析；
2.引用分析；
3.表达式分析；
4.接口分析；
通过代码审查，代码走查 等方法来实现；

土土的豆豆

1. 具体编译程序看具体代码了。后定义时肯定会检查出来，毕竟不是正确的语义约束。。但是也是分析啊？静态分析不是万能的，可以解决部分代码语义、定义、约束问题，或者说是一目了然的明显错误。
2. 资料可以从论坛上查找，也可以去买专业的书籍来阅读，更需要你自己实践。度娘、谷哥都会祝你一臂之力的
其实静态分析是相对动态来说的，即不运行程序。使用的工具主要是你的眼睛，譬如进行文档审阅、代码走查、UI界面检查等等。你用了代码跑一下，调试了就可以算白盒测试范围中代码级检查了，当然用了自动化工具去辅助，效果更佳！