[cfe-dev] How to fix null-deref-ps.c on FreeBSD?

[Ben Laurie]

On Tue, Feb 17, 2009 at 6:51 PM, Ted Kremenek <kremenek at apple.com> wrote:
> In general, doing this kind of analysis doesn't just require
> inter-procedural analysis, but it requires doing a whole-program analysis
> across multiple source files.  This is necessary because the definition for
> the panic function itself likely occurs in one specific file.  Doing this
> kind of whole-program analysis requires some infrastructure that is a big
> TODO for the analyzer.  Having this kind of whole-program analysis in place
> would also open the door for doing a lot more sophisticated checks.

Yes please - so does this TODO have any kind of shape yet?