Stories
Slash Boxes
Comments

SoylentNews is people

Code Analyzer Turned Out to be Smarter Than One of its Creators

posted by martyb on Monday October 23 2017, @06:48AM   Printer-friendly
from the MY-code-is-perfect! dept.

Andrey_Karpov writes:

I am really astonished by the capabilities of static code analysis. The tool surprised me the other day as it turned out to be smarter and more attentive than I am. I found I must be careful when working with static analysis tools. Code reported by the analyzer often looks fine and I'm tempted to discard the warning as a false positive and move on. I fell into this trap and failed to spot bugs...Even I, one of the PVS-Studio developers.

So, appreciate and use static code analyzers! They will help save your time and nerve cells.

[Ed note: I debated running this story as there was an element of self-promotion (aka Bin Spam), but the submitter has been with the site for a while and has posted informative comments. Besides, I know there have been far too many times when I've seen a compiler complain about some section of my code and I'm thinking there is nothing wrong with it — and then I, finally, see my mistake. Anyone have samples of code where you just knew the compiler or static analyzer was wrong, only to find out otherwise? --martyb]

Original Submission

 
This discussion has been archived. No new comments can be posted.
Code Analyzer Turned Out to be Smarter Than One of its Creators | Log In/Create an Account | Top | 91 comments | Search Discussion
Display Options Threshold/Breakthrough Mark All as Read Mark All as Unread
The Fine Print: The following comments are owned by whoever posted them. We are not responsible for them in any way.

  • (Score: 2) by FatPhil on Monday October 23 2017, @11:15AM

    by FatPhil (863) <{pc-soylent} {at} {asdf.fi}> on Monday October 23 2017, @11:15AM (#586271) Homepage
    Compilers didn't "tighten the rules", they simply adopted support for a more modern version of the standard. Don't blame them for first supporting an early version, then supporting a later version. I think the change you're talking about was about the CFront 2.0 level, there were lots of changes around that time.
    --
    Great minds discuss ideas; average minds discuss events; small minds discuss people; the smallest discuss themselves
    Starting Score:    1  point
    Karma-Bonus Modifier   +1  
    Total Score:   2