CoBOT 2.7.2 支持C++

作者:彭婷

CoBOT2.7.2采用了全新的解析框架,提供对C++的支持。新增MISRA2008C++和GJB8114等规则。

北京全路通信信号研究设计院部署

作者:曹晶峥

给该单位部署的系统,是针对该单位用户提出的需求进行定制的,共包括21类218条规则,同时也针对该单位的报表需求,对检测结果内容和形式进行了定制。在使用定...

解放军总装备某单位部署

作者:曹晶峥

经过前期的调研,程序语义缺陷的检测分析,是该单位重点关注的方面。 另外,该单位某些工程编码需要用到C++的QT库,曾今出现过这样的情况:经过某国外工具多次...

1 2 2

关于静态分析工具误漏报的思考

作者:胡婉莉

漏报率通常是用户在选择静态分析工具时的重要考察参数,然而漏报往往很难被发现。低漏报意味着分析工具必须尽可能的覆盖更多程序执行路径,然而这些执行路径中...

CoBOT在部署一年之后的经验分享

作者:胡婉莉

在一年多的部署之中,我们也不可避免的遭遇一些问题。我们遇到的第一个问题是实验室和商业化的巨大不同。主要体现在一下几个方面: (1)首先,实验室中...

静态分析工具使用调研

作者:胡婉莉

作为静态分析工具的开发人员,如何提高自己产品的竞争力一直是我们关心的问题。发表于ICSE 2013的文章Why Don’t Software Developers Use Static Analysis To...

Qt中的内存泄露

作者:胡婉莉

QT作为一个跨平台的C++开发框架,包含一个功能丰富的C++类库及简便易用的集成开发工具。在C++中,我们都知道new和delete必须一一配对使用,否则会发生内存泄露...

1 1