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 -------------- next part -------------- HTML attachment scrubbed and removed