[klee-dev] ?????? One phenomenon after the execution using klee

Thanks a lot! -- -- ??: "Dan Liew"<d...@su-root.co.uk>; : 2017??5??11??(??) 7:53 ??: ""<zyj183247...@qq.com>; : "klee-dev"<klee-dev@imperial.ac.uk>; : Re: [klee-de

Re: [klee-dev] One phenomenon after the execution using klee

Hi, On 10 May 2017 at 03:55, 曾杰 wrote: > Hi, all, > If you write test.c with an error out of bound and test2.c with an > error assertion failed. > You first symbolically execution test.bc(using clang to generate), and > then the test2.c. you will find the contents

[klee-dev] One phenomenon after the execution using klee

Hi, all, If you write test.c with an error out of bound and test2.c with an error assertion failed. You first symbolically execution test.bc(using clang to generate), and then the test2.c. you will find the contents in klee-last are different from the latest generated contents in