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