[klee-dev] How to parse (and convert) constraint expressions

[Qiao Kang]

Hi,

I'm wondering if we can parse a constraint expression in KLEE and
potentially convert it to another format. For instance, given this
constraint: (Sle 0 (ZExt w32 (Read w8 0 a))). Is there an esay way to parse
it (i.e., using existing APIs) and output a string like "a >= 0"? I'm only
considering simple linear constraints like this one.

Thanks,
Qiao
-------------- next part --------------
HTML attachment scrubbed and removed