Dear all, what is the current state of state merging in KLEE? According to previous posts there are several issues on the topic:
(1) How to decide when to merge states? (2) What to do with states whose heaps have diverged? (Problems on KLEE memory model) (3) What is the impact of merging states on the constraint solver? Some papers are also referred http://www.doc.ic.ac.uk/~cristic/papers/exe-rwset-tacas-08.pdf http://ww2.cs.mu.oz.au/~thansen/stateJoining.pdf But probably there are much more works in literature. Are you currently working on the topic? Best regards, Giuseppe ---------------------------------------------------------------------------- Giuseppe Di Guglielmo?????? Dept. of Computer Science - University of Verona Strada le Grazie, 15 - 37134 Verona - Italy Phone Office:?? +39 045 8027049? Fax:??? +39 045 8027068 Phone Home:???? +39 045 6152251? ITA Mobile: +39 347 0493371 USA Mobile: +1 765 5864475 WWW: http://profs.sci.univr.it/~diguglielmo email: giuseppe.diguglielmo at univr.it? Skype: giuseppe.diguglielmo ----------------------------------------------------------------------------