Re: [klee-dev] Concolic execution with Klee

Thanks Andrew. I just figured out that my question had been asked before. https://mailman.ic.ac.uk/mailman/htdig/klee-dev/2013-November/000489.html I'm trying Chaoqiang's suggestion on using seed. Best, Sang On Fri, May 11, 2018 at 6:33 PM, Andrew Santosa wrote: > Hi

Re: [klee-dev] Concolic execution with Klee

Hi Sang, I don't think that is possible in KLEE since firstly, given concrete inputsit will likely simplify the constraints into a constant (true/false). Secondly,it does not collect the constraints into the path condition whenever it candecide that a branch can only go one way, which is to