On Feb 18, 2009, at 2:00 AM, Ben Laurie <[email protected]> wrote: > On Tue, Feb 17, 2009 at 6:51 PM, Ted Kremenek <[email protected]> > 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. _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
