[klee-dev] KLEE on ASAN-enabled binaries

Alexandre Adamski aadamski at quarkslab.com
Mon Jun 19 15:48:41 BST 2017

Previous message: [klee-dev] klee/runtime/POSIX/fd.c:40: memory error: out of bound pointer
Next message: [klee-dev] KLEE on ASAN-enabled binaries
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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.

Previous message: [klee-dev] klee/runtime/POSIX/fd.c:40: memory error: out of bound pointer
Next message: [klee-dev] KLEE on ASAN-enabled binaries
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the klee-dev mailing list