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
![](https://secure.gravatar.com/avatar/5202050de94c974b13c6043b8a27e793?size=40&default=https%3A%2F%2Fassets.uvcdn.com%2Fpkg%2Fadmin%2Ficons%2Fuser_70-6bcf9e08938533adb9bac95c3e487cb2a6d4a32f890ca6fdc82e3072e0ea0368.png)
Structure member value tracking is available in the upcoming PC-lint Plus.