-
自动检测C#源代码严重错误的工具——Coverity Prevent
作者: huior / 发表于 2008-06-23 17:09:47
Coverity,提高软件质量和安全的领先者,2008年6月3日在Microsoft Tech-Ed Conference发布了Coverity Prevent for C#,该产品利用新的分析引擎——由coverity研究所和开发实验室开发,专门用于检测Microsoft .NET...在蓝鲸项目,似乎大家对质量的关注意识有些欠缺,于是在项目上的不同角色、不同工作年限的人之间采样做了一次访谈,上面这个问题就是其中访谈的问题之一。有同事曾提醒我说这种题就是送分题,肯定不会有人回答不出。可是,事实并非如此…
-
C/C++源代码浏览器CodeSurfer简介
作者: huior / 发表于 2008-04-15 10:14:33
GrammaTech官方网站英文介绍在 http://www.grammatech.com/products/codesurfer/overview.html,请参考。
以下是huior的中文翻译,转载请注明出处。
文中的图片直接链接了GrammaTech的官方网址,如果图片显示很...在蓝鲸项目,似乎大家对质量的关注意识有些欠缺,于是在项目上的不同角色、不同工作年限的人之间采样做了一次访谈,上面这个问题就是其中访谈的问题之一。有同事曾提醒我说这种题就是送分题,肯定不会有人回答不出。可是,事实并非如此…
-
GrammaTech静态分析技术概述——结局
作者: huior / 发表于 2008-03-17 11:49:19
Viewing and Managing Results
CodeSonar的报告是由Web Server和数据库组件hub管理。Hub负责存储管理分析的结果,实际的分析经常是在另外一个机器上进行。CodeSonar的分析进程,运行在执行编译的机器上(所以它才...在蓝鲸项目,似乎大家对质量的关注意识有些欠缺,于是在项目上的不同角色、不同工作年限的人之间采样做了一次访谈,上面这个问题就是其中访谈的问题之一。有同事曾提醒我说这种题就是送分题,肯定不会有人回答不出。可是,事实并非如此…
-
GrammaTech静态分析技术概述——3
作者: huior / 发表于 2008-03-14 09:39:39
In-Depth Example Analysis
CodeSonar的两个重要的特性是精确率和执行效率。CodeSonar能够做到这点,其技术情况请看下面的一个简单例子分析。代码如下:
以上的控制流程图CFG显示了这里有两个条件判断...在蓝鲸项目,似乎大家对质量的关注意识有些欠缺,于是在项目上的不同角色、不同工作年限的人之间采样做了一次访谈,上面这个问题就是其中访谈的问题之一。有同事曾提醒我说这种题就是送分题,肯定不会有人回答不出。可是,事实并非如此…
-
GrammaTech静态分析技术概述——2
作者: huior / 发表于 2008-03-12 11:13:38
Quick Product Overview
GrammaTech公司的CodeSonar在代码编译时就能分析整个软件项目,当然如果愿意,用户也可以只分析其中的一部分,而且不需要修改你的代码和编译脚本。用户象往常一样编译,CodeSonar监...在蓝鲸项目,似乎大家对质量的关注意识有些欠缺,于是在项目上的不同角色、不同工作年限的人之间采样做了一次访谈,上面这个问题就是其中访谈的问题之一。有同事曾提醒我说这种题就是送分题,肯定不会有人回答不出。可是,事实并非如此…
-
GrammaTech静态分析技术概述——1
作者: huior / 发表于 2008-03-07 14:39:11
以下文字是根据《GrammaTech CodeSonar Overview》翻译过来的,该文档可以从GrammaTech公司网站下载。翻译版作者huior,转载请务必注明出处。
CodeSonar Enterprise是GrammaTech公司的静态分析工具,可以发现C/C...在蓝鲸项目,似乎大家对质量的关注意识有些欠缺,于是在项目上的不同角色、不同工作年限的人之间采样做了一次访谈,上面这个问题就是其中访谈的问题之一。有同事曾提醒我说这种题就是送分题,肯定不会有人回答不出。可是,事实并非如此…
-
找到一个静态分析工具GrammaTech CodeSonar
作者: huior / 发表于 2008-03-05 11:25:54
因工作需要,一直在寻找静态分析方面比较好的工具,今天终于找到一个,以下是该工具datasheet的翻译版,因翻译仓促,可能会有翻译不当的地方,以后发现会逐步改正。
CODESONAR
静态分析工具,编译时就能发现代码...在蓝鲸项目,似乎大家对质量的关注意识有些欠缺,于是在项目上的不同角色、不同工作年限的人之间采样做了一次访谈,上面这个问题就是其中访谈的问题之一。有同事曾提醒我说这种题就是送分题,肯定不会有人回答不出。可是,事实并非如此…