Hi, you would need to modify the code associated with those klee_
intrinsics to also output state information (see
https://github.com/klee/klee/blob/master/lib/Core/SpecialFunctionHandler.cpp).
Best,
Cristian
On 01/09/2021 16:38, 樊雨鑫 wrote:
Hi,
I am new to Klee, use it to do program
Hi,
I am new to Klee, use it to do program analysis.
I want some intermediate variables' symbolic expressions. So I use
klee_print_expr() and klee_print_range() to make that.
But Klee prints all messages together, and no information show whether two
messages belong to the same