Coverity: A few billion lines of code later

Amongst my regular fiction, I'm also going over back issues of Communications of the ACM (I'm a member).

One very interesting article was A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World. It details the various ways Coverity had to adapt from being a research tool to a commercial tool.

I found particular interesting how they have to dumb down certain bug detection, so that users could understand them instead of thinking it was a false positive. Also, I liked the little table of various transforms they have to make between compilers to make sense of their code - QNX has lowest count, while Metrowerks is the worst .

Having a comment from Bjarne Stroustrup (designer of C++) is pretty cool, too!

Comments

Post a Comment

Popular posts from this blog

[Fixed] Just Cause 3 Mouse offset

I've sort of "fixed" my mouse offset problems and cursor exits from Just Cause 3. For whatever reason, both seem to happen sometime, specially if I need to change focus from the game. Sometimes just going to another app and returning solves it, otherwise if I go to Options, Graphics, and turn full screen back on (or turn it off and on again), it seems to get fixed. However, still annoying.
Read more

Solved - You have an incorrect version of driver "vmx86.sys" - VMWare Workstation 8

I have just installed VMWare Workstation 8 over my old VMWare Workstation 6.5 on Windows 7. On my first run I already got the error message: Could not get vmx86 driver version: The handle is invalid. You have an incorrect version of driver "vmx86.sys". Try reinstalling VMware Workstation. Failed to initialize monitor device. Obviously, I was concerned, but there is a simple way to solve it - just right-click the VMWare Workstation icon and use Run as Administrator. This is a bit annoying, but at least it is easy to solve. Update: I forgot to mention it, but as Dave said on the comments, you can right-click on the program shortcut, choose Properties, Compatibility tab and check Run as Administrator so that it will always run properly. Thanks, Dave!
Read more

Elon Musk: How the Billionaire CEO of SpaceX and Tesla is shaping our Future - Book Review

Elon Musk: How the Billionaire CEO of SpaceX and Tesla is shaping our Future - by Ashlee Vance - is a very entertaining biography about Elon Musk (which as the title says, is the biggest drive behind SpaceX and Tesla, and is also involved in SolarCity - all companies with possible huge effects in the world).  The story half reads as a bigger-than-life fictional account of what a genius industrialist goes through to save the world from pollution (with Tesla and SolarCity) and to get us into space. The fact that it all happened makes it even more interesting. It also made me really want to get a Tesla. Well, kind of... The triumphs really do, but the listings of problems don't (irrelevant either way as they are not available here)... Less revisions and "free" gas would be great, though. I'd also love to get cheap solar from SolarCity! Overall, very entertaining, and pretty much recommended for anyone interested in any of the companies.
Read more