[klee-dev] Making memory space partially symbolic

[sudiptac]

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
>

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