[Soot-list] Search for information flow tracking tool
sunfire001 at gmail.com
Mon Jan 28 15:32:46 EST 2008
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
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!
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
> requires me to find the set of variables that can affect the value of
> variable. For instance...
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Soot-list