I suggest you ...

Implement structure value tracking

Provide basic structure value tracking. Especially for null pointers. Consider the following:

xres->lif=NULL;
foo(xres->lif->stuff);

Should flag deference of xres->lif as "known null access"

16 votes
Vote
Sign in
Check!
(thinking…)
Reset
or sign in with
  • facebook
  • google
    Password icon
    I agree to the terms of service
    Signed in as (Sign out)
    You have left! (?) (thinking…)
    Gardell, StevenGardell, Steven shared this idea  ·   ·  Admin →

    0 comments

    Sign in
    Check!
    (thinking…)
    Reset
    or sign in with
    • facebook
    • google
      Password icon
      I agree to the terms of service
      Signed in as (Sign out)
      Submitting...

      Feedback and Knowledge Base