[Soot-list] Post Dominators

Silviu ANDRICA silviu.andrica at epfl.ch
Tue Jul 14 11:41:15 EDT 2009


Hello,
    It seems to work.
    Thanks a lot!

Silviu
Eric Bodden wrote:
> Right, Xing, I forgot about that. That may indeed be it.
>
>
> Silviu, you should find a current build of the SVN version of Soot here:
> http://plg.uwaterloo.ca/%7Eolhotak/build/sootclasses.jar
>
> Can you please check this out?
>
> Eric
>
> 2009/7/14 Xing Fang <xfang at ecn.purdue.edu>:
>   
>> Hi Silviu,
>>
>> I think I might have seen the problem before. Are you using the Soot 2.3.0
>> stable release? In the method
>>
>> soot.toolkits.graph.MHGDominatorsFinder.doAnalysis(), there is a line
>>
>> fullSet.flip(0, graph.size()-1);//set all to true
>>
>> if you change it to
>>
>> fullSet.flip(0, graph.size());//set all to true
>>
>> that should solve your problem. This is actually already fixed in the
>> latest version of the file in the CVS head.
>>
>> Best,
>> Xing
>>
>> On Tue, 14 Jul 2009, Silviu ANDRICA wrote:
>>
>>     
>>>       
>> _______________________________________________
>> 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/20090714/e909394b/attachment.html 


More information about the Soot-list mailing list