[Soot-list] Call the colorer twice for the same Scene.v()

wii w1zagr33n at gmail.com
Tue Apr 29 03:05:37 EDT 2014


Hi

Thanks anyway, Eric :)

By the way, in case someone faces the same issue by enabling the 
following options flags, I managed to color the variables correctly on 
Jimple file.

         Options.v().set_print_tags_in_output(false);
         Options.v().set_xml_attributes(true);
         Options.v().set_keep_line_number(true);
         Options.v().set_keep_offset(true);

Though, still there is no coloring on source code.
I'd appreciate any ideas.

Thanks in advance,

W.

On 28/04/2014 08:58 μμ, Bodden, Eric wrote:
> Hello.
>
> Sorry but I have no explanation for it. Looks like this needs some debugging...
>
> Best wishes,
> Eric
>
> On 28.04.2014, at 18:09, wii <w1zagr33n at gmail.com> wrote:
>
>> Hi Eric,
>>
>> Thanks for your answer.
>> I face the following problems:
>>
>> 1. I created a ColorTag and also a customized tag MyTag. Although the tags are created on the xml file
>> there's none tag on the source file and the colorTags appear on false positions on the jimple file.
>>
>> e.g As we can see from the XML:
>>
>> <srcPos sline="0" eline="0" spos="0" epos="0"/>
>> <jmpPos sline="9" eline="9" spos="8" epos="12"/>
>> <color r="45" g="255" b="84" fg="0" aType="Unknown"/>
>> <text info="MyTag at line: 3" aType="AliasLocalTag"/>
>> </attribute>
>>
>>
>> Is there any plain explanation for this?
>>
>> 2. I observe that the colour tags appear on better position if the analysis uses the source code, but in
>> this case the results of the Points-to Analysis aren't correct. Instead, if the analysis uses the class files,
>> there are no colour tags but at least the results of Spark are correct.
>> Is there any way to have both?
>>
>> Thank you very much in advance,
>>
>> W.
>> On 09/04/2014 04:31 μμ, Bodden, Eric wrote:
>>> Hi.
>>>
>>>> 1. I want to run a second colorer after soot returns to my main. Is it possible to call it at that point?
>>> At this point all method bodies will have been released/nulled, so that is possibly too late. Why not call it from within a pack?
>>>
>>>> 2. As it seems quite hard to find it out, for a points-to analysis which colorer do I have to call? Does
>>>> every colorer connects with an analysis? How does that works?
>>> There are some predefined colorors for some predefined analyses. If you want one for another analysis then you have to write one yourself. This should be easy, though. Simply create ColorTags for the appropriate statements.
>>>
>>> Cheers,
>>> Eric
> --
> Prof. Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
> Head of Secure Software Engineering  at Fraunhofer SIT, TU Darmstadt and EC SPRIDE
> Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
> Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt
>



More information about the Soot-list mailing list