Re: [klee-dev] Target-Directed Symbolic Execution with KLEE

Hi Cristian, thanks for the hint, I will take a look. — Yannic > On 25 Jan 2017, at 16:01, Cristian Cadar wrote: > > Hi Yannic, you might like to take a look at KATCH: > http://srg.doc.ic.ac.uk/projects/katch/ > > > The code

Re: [klee-dev] Target-Directed Symbolic Execution with KLEE

Hi Yannic, you might like to take a look at KATCH: http://srg.doc.ic.ac.uk/projects/katch/ The code is available, but unfortunately not integrated into the mainline. Cristian On 23/01/17 15:31, Yannic Noller wrote: Hi Jason, thanks, I know the example and you are right: this is probably the

Re: [klee-dev] Target-Directed Symbolic Execution with KLEE

Hi Yannic, Have you looked into the maze tutorial https://feliam.wordpress.com/2010/10/07/the-symbolic-maze/ ? I am no KLEE veteran but here is my suggestion: If I understand correctly what you are trying to achieve, then you could use what is shown in the tutorial and at the end instead of