Software Testing Blog

能否忽略Lock读取整型变量?

C sharp logo

原作者: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; public void Start() { lock (threadLock) { value = 100; } } public void Finish() { lock (threadLock) { if (value != 0 ) value = 0;…

Continue reading »

Move Legacy Projects to Agile With This Simple, Shocking Move

I recently had a discussion with someone at an event about how challenging it can be to transition to an Agile software development process on an existing project. The most common approach seems to be focused on going Agile with the new code and leaving old code in its current state. This avoids the distraction…

Continue reading »

Warnings vs errors

C sharp logo

Today on Ask the Bug Guys, reader Raghavendra has a question about this bug: if someValue is of a non-nullable value type that defines an equality operator — like, int or Guid — then this code is legal, but almost certainly wrong, since the condition will always be true. Raghavendra’s question is why should the…

Continue reading »

Coverity and Heartbleed, part 2

Heartbleed_Defect

There has been a lot of concern about the Heartbleed vulnerability in OpenSSL lately. In earlier posts, we’ve talked about how Coverity does not find Heartbleed in its stock configuration. We’ve been feverishly working to protect our users from this type of problem, and have identified a few possibilities. Using existing releases, we can find…

Continue reading »

Throwback Thursday: DHS and Coverity Scan

tbt

On Tuesday, we released the annual Coverity Scan Report, which revealed the analysis of more than 750 million lines of code from open source and commercial C/C++ projects and almost 50 of our most active Java projects in the world. What we found was that, for the first time, the quality in the open source…

Continue reading »

Hot Off the Presses: Coverity Scan Report 2013

Cloudstack_logo

If software is eating the world, then open source software is leading the charge. Interest in open source and the adoption of our Scan service has never been higher. We now have more than 1,500 projects participating in the Scan service and we’re seeing that these projects are raising the bar for the entire industry…

Continue reading »

Coverity and “Heartbleed”

Heartbleed_Defect

A lot of people have been asking whether and how static analysis can help you avoid problems like the so-called Heartbleed vulnerability in your own code. The answer, unsurprisingly, is that it depends. Finding potential defects through static analysis is a great idea. In fact, a lot of tools try to do exactly that with…

Continue reading »

Comments (0)

Why does C# use UTF-16 for strings?

C sharp logo

Today on ATBG a langauge design question from reader Filipe, who asks: Why does C# use UTF-16 as the default encoding for strings instead of the more compact UTF-8 or the fixed-width UTF-32? Good question. First off I need to make sure that all readers understand what these different string formats are. Start by reading…

Continue reading »

A customer focused event with a difference

On March the 20th, we hosted our first UK Customer Theatre and where better to host this than in Theatre-land itself, Leicester Square. The day saw customers come from far and wide to network and to hear the latest and greatest regarding our latest release from the Coverity development team. It started with an introduction from…

Continue reading »

Testing What Matters Most

Ace_Logo

Last summer, Johnny Willemsen, CTO for Remedy IT, delivered a webinar for SD Times to share how the ACE open source project began to implement Coverity as part of their automated testing. ACE, an open source framework that implements many core patterns for concurrent communication software, is part of the ACE+TAO+CIAO+DAnCE open source middleware suite….

Continue reading »