[Soot-list] toolkit for precondition inference

[Yongzhi Wang]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130827/2e42a276/attachment.html