[Soot-list] Record Dynamic Value

[Pedro Louro]

Hi Eric,

Thank you for your fast response! My problem is that the readline() is
assigned to a jimple temp variable:
temp$3 = virtualinvoke br.<java.io.BufferedReader: java.lang.String
readLine()>()

It is possible to pass the value of this "temp$3" or its necessary to
get the corresponded Local?

Thank you very much!

Best Regards
Pedro Louro

On 11 March 2011 14:40, Eric Bodden
<bodden at st.informatik.tu-darmstadt.de> wrote:
> Hi Pedro.
>
> Yes, you would need to get a handle to the dynamic value by finding
> the soot.Local that the return value of readline() is assigned to.
> Then you can pass that local as an argument wherever you want.
>
> Eric
>
> On 10 March 2011 18:11, Pedro Louro <pedrolour at gmail.com> wrote:
>> Hello,
>>
>> I´m trying to use a BodyTransformer in order to instrument a program
>> to record the readline() (for example) input from the user.
>> I´ve seen the tutorial to instrument a class file, but I will need to
>> make some sort of a call with the dynamic value of the virtualinvoke.
>> Is that possible?
>>
>> Best Regards
>> Pedro Louro
>> _______________________________________________
>> 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
>