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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
