<div dir="ltr">I see, thanks for the update. Good chance my thesis is will be using the engine so i'll be able to contribute.<div><br><div class="gmail_quote">On Wed, Dec 1, 2010 at 7:24 PM, Ted Kremenek <span dir="ltr"><<a href="mailto:kremenek@apple.com">kremenek@apple.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div style="word-wrap:break-word">Hi Nimrod,<div><br></div><div>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.</div>

<div><br><div><div><div></div><div class="h5"><div>On Dec 1, 2010, at 5:44 AM, Nimrod Partush wrote:</div><br></div></div><blockquote type="cite"><div><div></div><div class="h5"><div dir="ltr">Hey,<div><br></div><div>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.</div>



<div><br></div><div>Can i perform an inter-procedural analysis in CLang? Would i need to adjust GRCoreEngine for that?</div><div><br></div><div>Also, if anyone can point me to a tutorial on CLang bases analysis i would be ever so grateful.</div>



<div><br></div><div>Thanks.<br clear="all"><br>-- <br><div dir="ltr"><span style="font-family:arial, sans-serif;font-size:13px;border-collapse:collapse">Regards,<br><font color="#888888">Nimrod</font></span></div><br>
</div></div></div></div>
_______________________________________________<br>cfe-dev mailing list<br><a href="mailto:cfe-dev@cs.uiuc.edu" target="_blank">cfe-dev@cs.uiuc.edu</a><br><a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a><br>

</blockquote></div><br></div></div></blockquote></div><br><br clear="all"><br>-- <br><div dir="ltr"><span style="font-family:arial, sans-serif;font-size:13px;border-collapse:collapse">Regards,<br><font color="#888888">Nimrod</font></span></div>

<br>
</div></div>