Coverity发布2013年度代码检测报告
假设软件最终将占领整个世界，那开源代码一定是整场战役的灵魂与核心。当前环境下，我们对开源代码和Coverity检测服务（Coverity Scan Service）的接受程度已经达到了一个前所未有的高度。超过1,500个项目正在使用Coverity...
View Article能否忽略Lock读取整型变量？
原作者：Eric Lippert ，地址：Can I skip the lock when reading an integer? 今天的问题由我在Coverity的同事Ian从第三方开发者收集： 精简后的代码示例： public class TestLock { private object threadLock = new object(); private int value = 0;...
View Article真假死循环-Coverity的嵌入式支持
在产品设计中，小细节往往体现大智慧，最近笔者在实际的客户现场试用过程中，就遇到了一个看来简单但结果让人诧异的死循环，仔细研究后发现其中大有千秋，示例代码如下： #include <stdio.h> int main(int argc, char *argv[]) { printf("before\n"); while(1); //Here is the infinite_loop...
View ArticleC#的Lock的工作机制
原作者: Eric Lippert, 源地址: How does locking work in C#? 最近读者经常问到的问题是C#中锁（lock）语句的实际运行机制，这听起来似乎有点不可思议，但确实存在一个实际的问题：假如你已经有了一个lock需求，该如何使用C#实现它？...
View ArticleCoverity在航天领域的应用
前言 自从莱特兄弟发明了飞机之后，航天领域开始成为人类最渴望了解却又最畏惧的一个领域。为对宇宙空间进行更深更广的探索，我们进行了无数的尝试，但不可否认的是，在大部分尝试成功的同时，失败也随之而来，而每一次的失败代价都极其昂贵。不少航天灾难的根源都是代码错误，最著名的一个例子：水手1号（ The Mariner...
View Article
