Great, thanks for the hint.
Regards,
Sudipta
On 08/07/2015 08:07 PM, Sean Bartell wrote:
Re: [klee-dev] Making memory space partially symbolic
Hi,
sudiptac on 2015-08-07:
Let us assume that we have a large piece of memory, say 128 bytes
of an array. What is the right way to make some (but not all) part
of this array to be symbolic?
Two possible ways:
* Make the whole array symbolic, then overwrite part of it with
concrete values.
* Make a temporary array symbolic, then overwrite part of the large
array with the symbolic values from the temporary array.
In either case, the large array ends up with concrete values in some
indices and symbolic values in others, like you want.
Sean Bartell
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
