[Soot-list] Diff between whole-progam mode and...

[Zeinab Lashkaripour]

Hi Eric,
Thanks for you detailed reply.
But there was a sentence in your reply that confused me a bit.
".. for instance, you are interested only in analyzing control flow then
IFDS/IDE would be the wrong tool,..."
When we want data flow analysis which is flow sensitive, we use the control flow which means we analyze the control flow. Do these 2 sentences have contrast?

Cheers,


----- Original Message -----
From: Eric Bodden <eric.bodden at ec-spride.de>
To: Zeinab Lashkaripour <lashkaripour at yahoo.com>
Cc: "soot-list at sable.mcgill.ca" <soot-list at sable.mcgill.ca>
Sent: Wednesday, January 16, 2013 6:19 PM
Subject: Re: [Soot-list] Diff between whole-progam mode and...

Hello.

whole-progam mode just tells Soot to build a call graph, and points to
sets for a "whole program", typically indicated by the transitive
closure of methods reachable from a main method. It does not do
anything else, in particular it does not tell Soot which actual
analyses to run or how.
IFDS/IDE is a framework for defining specialized inter-procedural
data-flow analyses that run within Soot's whole-program mode. Using
IFDS/IDE makes sense if data-flow analysis is what you want. But if,
for instance, you are interested only in analyzing control flow then
IFDS/IDE would be the wrong tool, while you may still be wanting to
use whole-program mode.

Eric

On 16 January 2013 15:34, Zeinab Lashkaripour <lashkaripour at yahoo.com> wrote:
> Dear Reader,
> I would be glad if someone could tell me what is the Difference between
>     1) whole-progam mode of Soot and
>     2) IFDS/IDE and Soot
> in Inter-procedural Data-flow Analysis?
>
> Best Regards,
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>



-- 
Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130116/1b3617d3/attachment.html