[Soot-list] How I determine all the expressions dependable of "x" which will be found in the last assignment of the function?

Eric Bodden bodden at st.informatik.tu-darmstadt.de
Tue May 25 02:40:25 EDT 2010


Christina,

ValueBoxes contain values, i.e. expressions, in particular Locals.
That should allow you to easily program what you are looking for.

Eric

--
Dr. Eric Bodden
Software Technology Group, Technische Universität Darmstadt, Germany
Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt



On 22 May 2010 17:34, Cristina Ilie <crysgirlro at yahoo.com> wrote:
> Hi,
>
> If I have for example the following expressions:
>     expr 1: depends on x
>     expr2 : depends on expr 1
>     ....
>     returnValue = function of expr2 and others
>     return returnValue
>
> How can I determine all the expressions which depends on x and ONLY that are
> then found in the assignment of the returnValue variable. getDefs and getuse
> returns me a ValueBox which has not so many methods for code analyze...
>
> I'm using the jtp and wjtp transformers.
>
>
> Cristina
>
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>


More information about the Soot-list mailing list