[Soot-list] looking at the fields

[Eric Bodden]

Hi Daniela.

I think a points-to analysis may be what you are looking for. Such an
analysis lets you compute for every variable the set of (abstract)
objects that the variable could point to.

There's much documentation online for doing points-to analysis with
Soot (e.g. using Spark).

Eric

On 26 January 2011 15:51, daniela antonova <daniela.antonova at gmail.com> wrote:
> Hi,
>
> I would like to track the values which are ever saved in a field.
> For example, in the following class I would like to be able to find
> that at the end of the program list contains var1 and var2.
>
> class A {
>      private List list;
>
>      public static void main(String[] args) {
>              String val1 = "Blablabla";
>              String val2 = "jibberish";
>
>              list.add(val1);
>              list.add(val2);
>      }
> }
>
> I apologise if this question is stupid, but I am still trying to
> educate myself on static analysis.
>
> Thanks a lot!!!!!
> Daniela
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>



-- 
Dr. Eric Bodden, http://bodden.de/
Principal Investigator in Secure Services at CASED
Coordinator of the CASED Advisory Board of Study Affairs
PostDoc at Software Technology Group, Technische Universität Darmstadt
Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt