[cfe-commits] [cfe-dev] How to fix null-deref-ps.c on FreeBSD?
benl at google.com
Wed Feb 18 02:00:50 PST 2009
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?
More information about the cfe-commits