c语言静态分析工具,雨田静态分析工具下载

雨田静态分析系统是一款简单易用的文件分析软件，能方便的得出数据流、代码分析结果，对同志们有很大帮助，有需要的就来IT猫扑下载吧！

雨田静态分析工具介绍

雨田静态分析系统，可以对文件进行静态分析，具体包括基本指标分析、数据流分析、复杂度分析、循环分析以及代码质量分析，非常有利于代码质量的提高，有需要的赶紧来下载使用吧。

雨田静态分析系统安装教程

1.下载软件到本机；

2.双击安装文件；

3.选择安装地址；

4.耐心等待片刻；

5.安装大成功！

如何学好程序的静态分析

静态分析这东西，对于初学者，你要从不懂到开始领悟，上来就系统的看书是浪费时间且收效不大的。

尤其怕影响到你的信心和耐性。

我的建议是先不用看书，上网找一些好的国外大学的相关的slide，多找几个大学的，免得思维受特定的例子和讲解方法的局限。

先扫一遍，简单总结下，然后就开始自己写程序实现，不确定的细节先自己想，慢慢把自己的例子弄复杂，观察方法和结果随之带来的变化，期间主要体会和自己平时脑子动态debug走程序的思维有何不同。

这是关键，这个想通了，你就成一半了，相信我，这个过程不容易。

然后就可以在一些分析工具如soot, llvm等，上实现你的算法体会程序的特性对你的方法的影响。

这些都过一遍后，再系统的看书，你就知道为什么要有这样或那样的理论来支撑静态分析了。

由此可举一反三，事半功倍。

更新日志

修正了规则检查部分的类型比较功能，提高了类型比较的正确率

修正了原版本中对switch语句的控制流图分析中的错误

扩初了系统包含文件库，使系统分析的效率得以提高

修正了切换文件过程中在点击节点前，信息视图仍为上个文件中的数据的问题。

完善了对try,catch,throw的处理