使用 FindBugs的原因和方法   静态分析工具承诺无需开发人员费劲就能找出代码中已有的缺陷.当然,如果有多年的编写经验,就会知道这些承诺并不是一定能兑现.尽管如此,好的静态分析工具仍然是工具箱中的无价之宝.在这个由两部分组成的系列文章的第一部分中,高级软件工程师 Chris Grindstaff 分析了 FindBugs如何帮助提高代码质量以及排除隐含的缺陷. 代码质量工具的一个问题是它们容易为开发人员提供大量但并非真正问题的问题--即伪问题(false positives).出现伪问题时

以前一直想写个静态代码的检查工具,能够根据语法分析自动找出内存泄露的问题,今天发现facebook开源了这样一个工具,可以检查Java , Object c  和c代码,美中不足的是不支持C++. facebook的这款工具叫Infer,用于在发布移动应用之前对代码进行分析,找出潜在的问题.目前 Facebook 使用该工具来分析 Facebook 的 App,包括 Android .iOS.Facebook Messenger 和 Instagram 等等 Facebook 称该工具帮助其每个

问题描述 求助:ruby的静态代码检查有什么好的工具或者方法吗? 如题,大神们,求赐教!感激不尽!!!!链接也可以,我自己都搜不到什么好的链接,呵呵! 解决方案 Ruby静态分析工具检视:metric_fu, Simian, Saikuro以及其他 http://www.infoq.com/cn/news/2009/09/code-quality-metric-fu/ 解决方案二: 我找了个工具还不错,大家可以参考https://github.com/bbatsov/rubocop

为了让开发团队在其代码中提升安全问题和漏洞的发现,Rogue Wave发布了新的安全报告功能,新的Java检查器,CERT分类法的更新等静态代码分析工具. Klocwork 2017.1是Rogue Wave发布的最新版本,并引入了一个新的内置图形安全报告,能够总结前三大漏洞,以及发生这些问题的热点. 据介绍,这些报告的初衷是将项目状态报告纳入管理层或其他业务相关部门.团队可以根据最受欢迎的安全规则创建安全报告,包括CWE Top 25,CERT-C,DISA-STIG等. 每个报告提供了前三大

问题描述 有高手,对这个了解的么?原理是咋样的,大家可以交流一哈,准备开发一个工具还实现提高代码质量.所谓静态代码检查,即是对程序代码的检查,发现一些未定义的变量.数据类型不匹配.返回局部变量.数组字符串边界溢出.内存泄露等等.. 解决方案 解决方案二:等你研究出来了,可以卖给微软解决方案三:引用1楼Z65443344的回复: 等你研究出来了,可以卖给微软 大神有没有好的指教啊?谈谈你有没有这方面的经验分享的?解决方案四:你代码跑起来都不见得每次都会内存泄露,边界溢出,要不一定等到进入哪个分支,

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

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

问题描述 有谁可以推荐一款适用于android的静态代码复查工具,最好不要是针对java的,例如findbugs,而是主要是针对android的一些特性,例如,Activity,service,view,等等. 解决方案

Flow是Facebook出品的,针对JavaScript的静态类型检查工具.其代码托管在github之上,并遵守BSD开源协议. 关于Flow 它可以帮助我们捕获JavaScript开发中的常见错误,而不需要额外地修改你原有的代码,比如静态类型转换,空值引用等问题. 同时,Flow为JavaScript添加了静态类型的语法标识,这样开发者便可以明确代码中的类型,让其自动地被Flow所维护. 目前,Flow具有以下两特性: 1. Flow的类型检查具有可选性 除非你明确告诉Flow需要对某些文件