Re: [CIL users] Using the visitor for interprocedural analysis

[Nathan C. <co...@cs...>]

partial.ml is the closest thing in the CIL distribution to what you are 
looking for.

You have to create a calligraph that you can then query when you reach a 
Call instruction to know where it goes.

The visitor is good for flow-insensitive analyzes, but you want 
flow-sensitive so you need something more complicated.

Nathan

Swarat Chaudhuri wrote:
> Hello,
> 
> I apologise in advance for posing a question that I am sure won't quite be
> the deepest. Nonetheless, a newbie gotta do what a newbie gotta do...
> 
> I want to traverse the CFG of a C program for an interprocedural
> analysis-- more specifically, I want my traversal engine to "jump" from a
> call node to the entry point of the called procedure. Can I use the
> Visitor to do this (or when the visitor talks about descendants, is it
> really talking about intraprocedural descendants)? Is there a CIL example
> which does this sort of thing (I looked at the files in the ext directory
> but none seem to do this)?
> 
> If not, how do I get the statement corresponding to the entry point from a
> Call (_,Lval(Var(vi),NoOffset),_,_) pattern? Do I have to write a
> preprocessor that logs the name of procedures, or is there something built
> in?
> 
> Best,
> Swarat
> 
> 
> 
> 
> 
> 
> -------------------------------------------------------
> This SF.net email is sponsored by: Splunk Inc. Do you grep through log files
> for problems?  Stop!  Download the new AJAX search engine that makes
> searching your log files as easy as surfing the  web.  DOWNLOAD SPLUNK!
> http://sel.as-us.falkag.net/sel?cmd=lnk&kid=103432&bid=230486&dat=121642
> _______________________________________________
> CIL-users mailing list
> CIL...@li...
> https://lists.sourceforge.net/lists/listinfo/cil-users