静态分析工具调研与应用

Reverse-Engineering 较全的工具总结：http://wiki.yobi.be/wiki/Reverse-Engineering

网址：

1.        the archive of CCFinderOfficial Site  http://www.ccfinder.net/ccfinderxos.html

2.        Documents http://www.ccfinder.net/doc/10.2/en/index.html

3.        两个使用说明

a)       Tutorial of GUI front-endGemX

b)       Tutorial of CLI Tool ccfx

4.        The software and textsimilarity tester SIM http://dickgrune.com/Programs/similarity_tester/

5.       simsimilarity https://www.google.com.hk/?gws_rd=ssl#newwindow=1&safe=strict&q=sim+similarity

6.       Simian - Similarity Analyser http://www.harukizaemon.com/simian/index.html

运行：GUI front-end GemX

这是分析过的数据！直接打开即可！

其他资源

1.        静态代码分析工具汇总http://blog.csdn.net/jinhill/article/details/6673734

2.        List of tools for static codeanalysis  https://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis#C.2C_C.2B.2B

3.        Flawfinder http://www.dwheeler.com/flawfinder/

4.        Splint http://www.splint.org/

5.        代码静态分析工具——splint的学习与使用 

6.        cppchecker sourceforge http://cppcheck.sourceforge.net/

7.        cppcheck的安装和使用

8.        使用cppcheck检查代码

冗余代码检查工具Simian      http://www.programgo.com/article/51701284467/  

此网页推荐了一些链接，没看过！

cppcheck c++静态代码检查

C语言代码检查工具-splint

C语言代码检查工具－－Splint

代码检查

C++代码中的内存泄漏检查（一）

C++语言代码检查工具PC-Lint简介

C++语言代码检查工具PC-Lint简介

C++代码检查工具PC-Lint简介zz

水滴石穿C语言之代码检查工具

C++语言代码检查工具PC-Lint简介