[cfe-commits] [cfe-dev] How to fix null-deref-ps.c on FreeBSD?
kremenek at apple.com
Wed Feb 18 08:15:08 PST 2009
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>
>> In general, doing this kind of analysis doesn't just require
>> inter-procedural analysis, but it requires doing a whole-program
>> 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.
More information about the cfe-commits