[klee-dev] how the memory is modelled in KLEE

[Natasha Arshad]

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 <sumit686215 at gmail.com> 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
klee-dev at imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev


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