[Soot-list] toolkit for precondition inference

[Marc-André Laverdière]

Hi Yongzhi,

I am not aware of anything in soot that does that. It wouldn't be too
difficult to create an IDE analysis with Heros that supports a complex
lattice of possible values (though I am not sure about the efficiency of
the encoding).


-- 
Marc-André Laverdière-Papineau
Doctorant - PhD Candidate

On 08/27/2013 09:12 PM, Yongzhi Wang wrote:
> Dear All,
> 
> I was wondering if Soot has some builtin tools that can perform
> precondition inference. If not, any other precondition inference tool
> that is suitable for java analysis is acceptable to me. 
> 
> The precondition inference means as follows.Suppose we have the
> following java method change(int i), we know after statement i = i-10, i
> will be (i>0). The precondition inference will figure out that before
> the statement, i should be i>10.
> 
> change(int i){
>     // inferred precondition: i >10;
>     i = i-10;
>     // assert(i>0);
> }
> 
> Thanks!
> 
> Best regards,
> Yongzhi
> 
> 
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>