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

[Ted Kremenek]

On Feb 18, 2009, at 2:00 AM, Ben Laurie <benl at google.com> wrote:

> 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?

Unfortunately no.  I have been a little overwhelmed lately, and sadly  
it hasn't had any love from me yet.  If anyone is interested, it would  
be great  help to mock up a skeleton TODO that we could post to the  
website and revise over time.