求索阁

PC-Lint是一个历史悠久，功能异常强劲的静态代码检测工具。它的使用历史可以追溯到计算机编程的远古时代（30多年以前）。经过这么多年的发展，它不但能够监测出许多语法逻辑上的隐患，而且也能够有效地帮你提出许多程序在空间利用、运行效率上的改进点，在很多专业级的软件公司，比如Microsoft， PC-Lint检查无错误无警告是代码首先要过的第一关，我个人觉得，对于小公司和个人开发而言，PC-Lint也非常重要，因为基于开发成本考...

微软web2.0开发示例Kobe，重蹈了Oxite的覆辙。Ayende连续发表了五篇高质量的Kobe探讨贴： Kobe – In the nuts & bolts and don’t really liking it Kobe – Data Access done wrong Kobe – When the documentation is the only delivery that matters Kobe – an example of exception handling done wrong Kobe – Architectural Overview Ayende使用Simian工具对代码进行静态分析，发现位于67个文件中的873个...

    C/C++语言的语法拥有其它语言所没有的灵活性，这种灵活性带来了代码效率的提升，但相应增加了代码中存在隐患的可能性。静态代码检查工具PC-Lint则偏重于代码的逻辑分析，它能够发现代码中潜在的错误，比如数组访问越界、内存泄漏、使用未初始化变量等。本文将介绍如何安装和配置PC-Lint代码检查工具以及如何将PC-Lint与常见的代码编辑软件集成。 1 引  言 2 PC-Lint介绍 3 PC-Lint的...

    常用的C/c++代码检查工具有PC-Lint和LogiSCOPE下面主要介绍PC-Lint。     PC-Lint是C/C++软件代码静态分析工具，你可以把它看作是一种更加严格的编译器。它不仅可以检查出一般的语法错误，还可以检查出那些虽然符合语法要求但不易发现的潜在错误。使用PC-Lint在代码走读和单元测试之前进行检查，可以提前发现程序隐藏错误，提高代码质量，节省测试时间。并提供编码规则检查，规范软件人员的...

FlexeLint 支持windows,linux http://www.gimpel.com/html/flex.htm pclint 只支持 windows http://www.gimpel.com/html/pcl.htm splint 只支持c代码的文件 http://www.splint.org/ cppcheck 支持c++ Cppcheck是一种C/C++代码缺陷静态检查工具。不同于C/C++编译器及其它分析工具，Cppcheck只检查编译器检查不出来的bug，不检查语法错误。 logiscope rulecheck http://blog.csdn.net/jxxy012/article/details/502548 gcc   ...

PC-Lint偏重于代码的逻辑分析，它能够发现代码中潜在的错误，比如数组访问越界、内存泄漏、使用未初始化变量等。 1、  从http://download.csdn.net/detail/liuchang5/3005191 下载破解版PC-lint9.0； 2、  解压缩到D:\soft\PC-lint，生成一个PC-lint.9.0e文件夹； 3、  双击D:\soft\PC-lint\PC-lint.9.0e文件夹下的pclint9setup.exe文件，-->Start-->Next-->Next-->Next，选择安装目录D:\PClin...

静态代码扫描，借用一段网上的原文解释一下(这里叫静态检查)：“静态测试包括代码检查、静态结构分析、代码质量度量等。它可以由人工进行，充分发挥人的逻辑思维优势，也可以借助软件工具自动进行。代码检查代码检查包括代码走查、桌面检查、代码审查等，主要检查代码和设计的一致性，代码对标准的遵循、可读性，代码的逻辑表达的正确性，代码结构的合理性等方面；可以发现违背程序编写标准的问题，程序中不安全、不明确和模糊的...

PC-Lint在linux下叫Flex-Lint，这个代码静态检查工具可以作为命令行扩展工具集成到多种开发环境中，而不像fortify,pvs-studio安装后就集成在VS的开发环境中。所以PC-Lint安装后需要进行一些配置工作，这稍微有点繁琐，但是灵活性也大一些。使用起来应该说是比较方便，如果把静态检查的结果输出到VS的输出窗口中，则可以实现从输出窗口中的警告信息双击快速定位到代码行，方便进行代码修改。 PC-Lint的代码检查可以分为简单检查...

软件集成开发环境（代码编辑、浏览、编译、调试） Emacs            http://www.gnu.org/software/emacs/ Source-Navigator 5.2b2    http://sourceforge.net/projects/sourcenav Anjuta             http://anjuta.sourceforge.net(可用yum安装) 代码索引工具 Cscope...

     Visual GDB把GDB调试工具集成到visual studio 开发环境中，在调试过程中，可以使用visual studio原有的单步执行、设定断定等快捷键，还可以在visual GDB session的窗口中输入GDB的调试命令，集成了visualGDB之后还可以在程序执行的过程中用鼠标悬停的方式查看和修改变量的值，这样在不改变调试习惯的同时还可以使用GDB强大的调试功能，很不错。     除了调试windows项目之外，visualGD...