[Soot-list] one question about inter-procedural def-use analysis

[Richard L. Halpert]

Ahmer Ahmedani did his Master's Thesis on this topic, using Soot: Ahmer
Ahmedani's Master's Thesis: Information flow in a Java intermediate language
<http://www.sable.mcgill.ca/publications/thesis/#ahmerMastersThesis>.

Also, I wrote the soot.jimple.toolkits.infoflow package which tracks
explicit information flow (flow via assignments, but not via control
decisions).  The package is not very user friendly.  You would have to
invoke it manually by constructing an InfoFlowAnalysis object (no command
line option).  It works by generating a whole-program data flow graph (using
a very conservative approximation for flow occuring within the class
library).  The analysis will then provide you with flow summaries for each
method that describe what method parameters, class fields, and static fields
flow to each other or to the method's return value.  There are some
granularity options for the results, and also the option to include or
exclude primitive data flow (ie, you can do just objects if you want).

-Richard

On Tue, Aug 12, 2008 at 8:25 AM, jiangfan shi <jiangfan.shi at gmail.com>wrote:

> Hi, All,
>
> I am doing a project requiring a inter-procedure data dependency
> analysis (def-use). Before I dig into the coding by myself for the
> task, I wonder if  there are some available data-flow analysis  or
> similar analysis in Soot?
>
> Thanks in advance.
>
> Jiangfan
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20080812/46cea1dd/attachment.htm