Check the following link:
klee: High level overview of KLEE.
|
| |
klee: High level overview of KLEE.
| |
|
On Sunday, March 20, 2016 11:19 PM, Sumit Kumar <[email protected]>
wrote:
Hi,
Can anyone please explain in brief how the memory is modelled in KLEE.
Specifically what the classes MemoryObject and ObjectState represent and how
they are associated with each other.
--
Thanks and Regards
Sumit
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
