[klee-dev] Concolic execution with Klee

[Andrew Santosa]

 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 always happen givenconcrete inputs.
Best,
Andrew

   On Friday, 11 May 2018, 4:52:50 am GMT+8, Sang Phan <phanquocsang at gmail.com> wrote:  
 
 Hello,

I'm interested in collecting the constraints for just one particular input, e.g. x = 3. Is it possible to do that with Klee?

Thank you,
Sang
_______________________________________________
klee-dev mailing list
klee-dev at imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
  
-------------- next part --------------
HTML attachment scrubbed and removed