Hello there, I was wondering: it is possible to use KLEE on a binary compiled with AddressSanitizer? Obviously using WLLVM to get the LLVM IR.
Regards, Alexandre. _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev