Mingyue Jiang
2014-01-29 07:30:20 UTC
Dear All,
As said in OSDI 2008 paper, KLEE make a lot of effort to simplify expressions. I want to use Kleaver to do constraint solving as well as output the simplified constraints.
I'm analysing the source code but few indications are obtained.
Can you show me how to obtain the simplified expressions by Kleaver?
Thanks.
Best regards,
Mingyue Jiang
As said in OSDI 2008 paper, KLEE make a lot of effort to simplify expressions. I want to use Kleaver to do constraint solving as well as output the simplified constraints.
I'm analysing the source code but few indications are obtained.
Can you show me how to obtain the simplified expressions by Kleaver?
Thanks.
Best regards,
Mingyue Jiang