[Soot-list] Soot-list Digest, Vol 105, Issue 1
Zhoulai
zell08v at gmail.com
Tue Jan 7 08:55:59 EST 2014
You are welcome.
You may want to distinguish the 'value' in Soot and the 'value' in our
general semantics of natural languages.
The value in soot is an object of a concrete class that implements the
Value interface: http://www.sable.mcgill.ca/soot/doc/soot/Value.html.
Suppose you have an object 'o' of type Soot.Value. Suppose that the
concrete type of 'o' is JimpleLocal, then you look at the source code of
JimpleLocal class and find out o.getValue().toString() actually invokes
o.getValue().getName(). So you see o.getValue() returns the name of the
entity, not their value(s) in the sense of general semantics.
Anyway, the values (in general semantics) associated with program variables
can be changing dynamically. You may be interested in the set of possible
values associated with a scalar variable or an access path, which can only
be done with approximation techniques like abstract interpretation.
Cheers,
Zhoulai Fu (http://zhoulaifu.com)
On Tue, Jan 7, 2014 at 4:04 AM, <wangjyee at gmail.com> wrote:
> Thanks, Zhoulai.
>
> So is it possible that I add print statement using the variables captured
> by getValue() or sth? Can what toString() returns acts as input for the
> print statement?
>
> Thanks and best regards,
> Jingyi
>
> *发件人:* Zhoulai
> *发送时间:* 2014年1月3日 14:24
> *收件人:* Jingyi Wang
> *抄送:* soot-list at sable.mcgill.ca
> *主题:* Re: [Soot-list] Soot-list Digest, Vol 105, Issue 1
>
>
> The problem of finding the exact set of values of program variables is
> known to be undecidable, and approximate solutions have been extensively
> studied. A value in the soot terminology is a only a variable or an
> expression, and its getValue().toString() returns their names, but never
> their values as stored in the memory.
>
> No, such analysis is not necessarily inter-procedural as approximation can
> be done intra-procedurally as well. In addition, you may want to avoid
> regarding such analysis as data-flow kind as traditional data-flow
> analysis techniques are commonly not enough to give a decent approximation
> of program values, in particular if you are interested in numeric values.
> See A. Miné's thesis [http://www.di.ens.fr/~mine/these/index.html.en].
>
> Zhoulai
>
>
> On Fri, Jan 3, 2014 at 3:45 AM, <wangjyee at gmail.com> wrote:
>
>> More details on the question.
>>
>> The primary goal is we want to excute a program and capture the
>> varibales’ values that has been used along the execution path, not the
>> reference. So it’s kind of inter-procedural dataflow analysis and
>> being dynamic.
>>
>> Thanks and best regards,
>> Jingyi
>>
>> *发件人:* soot-list-request at sable.mcgill.ca
>> *发送时间:* 2014年1月3日 1:00
>> *收件人:* soot-list at sable.mcgill.ca
>> *主题:* Soot-list Digest, Vol 105, Issue 1
>>
>> Send Soot-list mailing list submissions to
>> soot-list at sable.mcgill.ca
>>
>> To subscribe or unsubscribe via the World Wide Web, visit
>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>> or, via email, send a message with subject or body 'help' to
>> soot-list-request at sable.mcgill.ca
>>
>> You can reach the person managing the list at
>> soot-list-owner at sable.mcgill.ca
>>
>> When replying, please edit your Subject line so it is more specific
>> than "Re: Contents of Soot-list digest..."
>>
>>
>> Today's Topics:
>>
>> 1. How to print out the values of variables in a valuebox in
>> soot? (Jingyi Wang)
>> 2. Re: How to print out the values of variables in a valuebox in
>> soot? (Zhoulai)
>>
>>
>> ----------------------------------------------------------------------
>>
>> Message: 1
>> Date: Thu, 2 Jan 2014 11:36:41 +0800
>> From: Jingyi Wang <wangjyee at gmail.com>
>> Subject: [Soot-list] How to print out the values of variables in a
>> valuebox in soot?
>> To: soot-list at sable.mcgill.ca
>> Message-ID:
>> <CAJ1AeGE9gB+2bWGrnfs-=vhVJk+K-o2N+J5cBtUF+ZrHcVWELg at mail.gmail.com>
>> Content-Type: text/plain; charset="iso-8859-1"
>>
>> This is the related code fragment where I can't print out the values from
>> valuebox. May I know what's the problem?
>>
>> public GuaranteedDefsAnalysis(UnitGraph graph)
>> {
>> super(graph);
>> DominatorsFinder df = new MHGDominatorsFinder(graph);
>> unitToGenerateSet = new HashMap<Unit, FlowSet>(graph.size() * 2 + 1,
>> 0.7f);
>>
>> // pre-compute generate sets
>> for(Iterator unitIt = graph.iterator(); unitIt.hasNext();){
>> Unit s = (Unit) unitIt.next();
>> FlowSet genSet = emptySet.clone();
>>
>> for(Iterator domsIt = df.getDominators(s).iterator();
>> domsIt.hasNext();){
>> Unit dom = (Unit) domsIt.next();
>> for(Iterator boxIt = dom.getDefBoxes().iterator();
>> boxIt.hasNext();){
>> ValueBox box = (ValueBox) boxIt.next();
>> box.getValue().toString(); // simply using toString
>> does not work
>> if(box.getValue() instanceof Local)
>> genSet.add(box.getValue(), genSet);
>> }
>> }
>>
>> unitToGenerateSet.put(s, genSet);
>> }
>>
>> doAnalysis();
>> }
>>
>>
>> --
>> Wang Jingyi, PhD Student
>> Information Systems Technology and Design
>> Singapore University of Technology and Design
>> Tel: 65-84187716
>> Email: jingyi_wang at mymail.sutd.edu.sg
>> -------------- next part --------------
>> An HTML attachment was scrubbed...
>> URL:
>> http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20140102/ff03467b/attachment-0001.html
>>
>> ------------------------------
>>
>> Message: 2
>> Date: Thu, 2 Jan 2014 12:30:18 +0100
>> From: Zhoulai <zell08v at gmail.com>
>> Subject: Re: [Soot-list] How to print out the values of variables in a
>> valuebox in soot?
>> To: Jingyi Wang <wangjyee at gmail.com>
>> Cc: Soot List <soot-list at sable.mcgill.ca>
>> Message-ID:
>> <CAKV0nke6_FZKTnYsQEBUhYm=KPEs+xFURPFbV9o=uXKtjKMhcw at mail.gmail.com>
>> Content-Type: text/plain; charset="iso-8859-1"
>>
>> Hi,
>>
>> toString() returns a String, so you might have forgot to print it to your
>> console~
>>
>> Zhoulai Fu
>>
>>
>> On Thu, Jan 2, 2014 at 4:36 AM, Jingyi Wang <wangjyee at gmail.com> wrote:
>>
>> > This is the related code fragment where I can't print out the values
>> from
>> > valuebox. May I know what's the problem?
>> >
>> > public GuaranteedDefsAnalysis(UnitGraph graph)
>> > {
>> > super(graph);
>> > DominatorsFinder df = new MHGDominatorsFinder(graph);
>> > unitToGenerateSet = new HashMap<Unit, FlowSet>(graph.size() * 2 +
>> 1, 0.7f);
>> >
>> > // pre-compute generate sets
>> > for(Iterator unitIt = graph.iterator(); unitIt.hasNext();){
>> > Unit s = (Unit) unitIt.next();
>> > FlowSet genSet = emptySet.clone();
>> >
>> > for(Iterator domsIt = df.getDominators(s).iterator();
>> domsIt.hasNext();){
>> > Unit dom = (Unit) domsIt.next();
>> > for(Iterator boxIt = dom.getDefBoxes().iterator();
>> boxIt.hasNext();){
>> > ValueBox box = (ValueBox) boxIt.next();
>> > box.getValue().toString(); // simply using toString
>> does not work
>> > if(box.getValue() instanceof Local)
>> > genSet.add(box.getValue(), genSet);
>> > }
>> > }
>> >
>> > unitToGenerateSet.put(s, genSet);
>> > }
>> >
>> > doAnalysis();
>> > }
>> >
>> >
>> > --
>> > Wang Jingyi, PhD Student
>> > Information Systems Technology and Design
>> > Singapore University of Technology and Design
>> > Tel: 65-84187716
>> > Email: jingyi_wang at mymail.sutd.edu.sg
>> >
>> >
>> >
>> >
>> >
>> > _______________________________________________
>> > 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/20140102/09e571db/attachment-0001.html
>>
>> ------------------------------
>>
>> _______________________________________________
>> Soot-list mailing list
>> Soot-list at sable.mcgill.ca
>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>>
>>
>> End of Soot-list Digest, Vol 105, Issue 1
>> *****************************************
>>
>> _______________________________________________
>> 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/20140107/c734396f/attachment-0001.html
More information about the Soot-list
mailing list