Hi,
On 1 November 2016 at 12:17, Papapanagiotakis-Bousy, Iason
wrote:
> Hello,
>
>
>
> I am a new user of KLEE, I was looking into symbolic execution in order to
> extract the constraints of the input variables of a program for each path in
> the code.
>
> Following the initial tutorials and sear
Dear Iason,
I think a possible solution might be to modify ExprPPrinter class, such that
KQuery format would instead displaythe constraints in the format that you want.
Best,
Andrew
On Tuesday, 1 November 2016, 22:28, "Papapanagiotakis-Bousy, Iason"
wrote:
Hello, I am a new
user
Hello,
I am a new user of KLEE, I was looking into symbolic execution in order to
extract the constraints of the input variables of a program for each path in
the code.
Following the initial tutorials and searching on the web I've managed to get
both the KQuery and SMT2 formatted constraints ge