Hi Mathew,
These are still the recommended ways.
Best wishes,
Cristian
On 22/06/2026 19:30, Mathew via klee-dev wrote:
CAUTION: This message came from outside Imperial. Do not click links or
open attachments unless you recognise the sender and were expecting this
email.
Hi all,
I am working on a project where I need to make only a specific portion
of a buffer symbolic while keeping the rest concrete.
I found a thread from 2015 on this exact topic, where Sean Bartell
suggested two approaches:
- Make the whole array symbolic, then overwrite part of it with concrete
values.
- Make a temporary array symbolic, then copy the symbolic values into
the target range of the large array.
Is there a more recommended way to achieve this in current KLEE?
Any help or suggestions would be greatly appreciated.
Best regards,
Mathew
_______________________________________________
klee-dev mailing list -- [email protected]
To unsubscribe send an email to [email protected]
_______________________________________________
klee-dev mailing list -- [email protected]
To unsubscribe send an email to [email protected]
