Ok, i've made it work by defining new intrinsic, which calls Executor::addExternalObject().
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
- [klee-dev] Accessing klee's process memory from program bei... arrowdodger
- Re: [klee-dev] Accessing klee's process memory from pr... Paul Marinescu
- Re: [klee-dev] Accessing klee's process memory fro... arrowdodger
- Re: [klee-dev] Accessing klee's process memory... arrowdodger
