On Fri, Apr 30, 2010 at 1:20 AM, Giuseppe Di Guglielmo <giuseppe.diguglielmo at univr.it> wrote: > 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?
FWIW, I am not personally working on this. - Daniel > > 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 > ---------------------------------------------------------------------------- > > > > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >
