[cfe-dev] Inter procedural analysis in CLang

[Nimrod Partush]

I see, thanks for the update. Good chance my thesis is will be using the
engine so i'll be able to contribute.

On Wed, Dec 1, 2010 at 7:24 PM, Ted Kremenek <kremenek at apple.com> wrote:

> Hi Nimrod,
>
> Inter-procedural analysis is a feature we are working on in
> GRExprEngine/GRCoreEngine, but is not yet mature (and we have a long way to
> go).  Currently there is some support for doing inter-procedural analysis
> via function call inlining, but this isn't really going to be highly
> scalable.  One possible direction is to support general inter-procedural
> analysis via function summaries, but that work hasn't commenced yet.  We
> also don't have the infrastructure in place yet to do analysis across
> translation units, since the analyzer is invoked (in isolation) on each
> separate source file.
>
> On Dec 1, 2010, at 5:44 AM, Nimrod Partush wrote:
>
> Hey,
>
> I'd like to perform static analysis using CLang. I took a look at the
> GRCoreEngine class which seems like the place to go for this, but i see that
> it performs intra-procedural analysis only.
>
> Can i perform an inter-procedural analysis in CLang? Would i need to adjust
> GRCoreEngine for that?
>
> Also, if anyone can point me to a tutorial on CLang bases analysis i would
> be ever so grateful.
>
> Thanks.
>
> --
> Regards,
> Nimrod
>
>  _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
>
>
>


-- 
Regards,
Nimrod
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20101201/1bd5ac0d/attachment.html>