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

Structure member value tracking is available in the upcoming PC-lint Plus.