[Soot-list] Enquery on the handling of Interprocedure-CFG

[Eric Bodden]

Well, there is all sorts of different whole-program analyses that Soot
can run for you and then you can base your analysis on the results of
these analyses. For instance Soot can create a call graph or a
points-to analysis out-of-the box.

The rest is then up to you. Usually, an interprocedural data-flow
analysis consists of an intraprocedural data-flow analysis (which you
can easily implement, see http://www.bodden.de/2008/09/22/soot-intra/)
and some glue code. The glue code really depends on your analysis and
there are no templates for it. You have to write that one entirely
yourself.

Eric

2008/11/6 dongyu sun <sundongyu at yahoo.com>:
> thx.. So based on existing SOOT classes, is there anyway to perform some
> inter-procedure control/data analysis.. Maybe with some class extension??
>
> Or we have to build from scrach to achive it??
>
> --- On Thu, 11/6/08, Eric Bodden <eric.bodden at mail.mcgill.ca> wrote:
>
> From: Eric Bodden <eric.bodden at mail.mcgill.ca>
> Subject: Re: [Soot-list] Enquery on the handling of Interprocedure-CFG
> To: "dongyu sun" <sundongyu at yahoo.com>
> Cc: soot-list at sable.mcgill.ca
> Date: Thursday, November 6, 2008, 11:34 AM
>
> Hello.
>
>>      Is SOOT able to construct inter-procedure CFG and do inter-procedural
>> data and control flow analysis with ready made function? Any program
> snippet
>> available?
>
> I guess the short answer would be "no". Interprocedural analyses are
> very different and it would be very hard to provide a framework that
> fits all.
>
>>        Also, Does any one used the toolkit called WALA? How does WALA
>> compared to SOOT when doing inter-procedure CFG data/control analysis? In
>> general, what is the respective strength between WALA and soot?
>
> I cannot answer that question, unfortunately, but if somebody knows I
> would be happy to hear about it, too.
>
> Eric
>
> --
> Eric Bodden
> Sable Research Group, McGill University, Montréal, Canada
> Got an interesting job offer? http://www.bodden.de/hire-me/
>
>



-- 
Eric Bodden
Sable Research Group, McGill University, Montréal, Canada
Got an interesting job offer? http://www.bodden.de/hire-me/