[klee-dev] A high level question

[Bo Fang]

Hi all,

I am wondering if it is possible to introduce something like "rewriting
logic" into the KLEE. For example, I want to add an symbol in KLEE and
define all of the rules for instructions to perform corresponding
operations on that symbol. I am quite new to KLEE and it would be really
appreciated if you can point me to the code. Thanks in advance.

Bo
-------------- next part --------------
HTML attachment scrubbed and removed