[Soot-list] Search for information flow tracking tool

[Sunny]

Hello Eric and Alvin.

Thanks for your quick responses!

Actually I am not quite sure whether this analysis belongs to information
flow tracking or slicing. But I read WASSIM A. MASRI's dissertation which
has the following definitions for the two cocepts:


*Information flow:* Information flow occurs from object *y *(*source*) to
object *x *(*target *or *sink*) whenever information stored in *y *is
propagated directly or indirectly to object *x*, .i.e., if information about
*y *can be inferred by examining *x*.
*Program Slicing*: Program Slicing is concerned with finding all statements
in a program that directly or indirectly influence another statement in a
program.

So I think this analysis is closer to the information flow tracking.
Anyways, they are closely related to each other and I will certainly take a
look at those tools you mentioned. Thank you for your time!

Cheers,

Sunny

On Jan 28, 2008 2:30 PM, Alvin Yan <feiya200 at cs.uregina.ca> wrote:

>  It sounds like a forward data flow analysis to me. You can take a look at
> the package soot.jimple.toolkits there're all kinds of analysis,
>
> or extend Soot's flow analysis to write your own. There's a good example
> in the Soot's survivor's guide.
>
>
>
>
>  *From:* Sunny <sunfire001 at gmail.com>
> *Sent:* Monday, January 28, 2008 9:41 AM
> *To:* soot-list at sable.mcgill.ca
> *Subject:* [Soot-list] Search for information flow tracking tool
>
> Dear All,
>
> I am new in the field of data/control flow analysis, and my current
> project
> requires me to find the set of variables that can affect the value of
> another
> variable. For instance...
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20080128/4d59b2ba/attachment.htm