Is KLEE support address sanitizer?

[LebronX]

Hi,
I would like to use address sanitizer with KLEE. I add flag -fsanitize=address when building my bitcode, but when I am running KLEE, it will generate undefined reference and error about the asan function. Is KLEE support address sanitizer?

KLEE: WARNING: undefined reference to function: __asan_init
KLEE: WARNING: undefined reference to variable: __asan_option_detect_stack_use_after_return
KLEE: WARNING: undefined reference to function: __asan_report_load1
KLEE: WARNING: undefined reference to function: __asan_report_load4
KLEE: WARNING: undefined reference to function: __asan_set_shadow_f5
KLEE: WARNING: undefined reference to function: __asan_stack_malloc_1
KLEE: WARNING: undefined reference to function: __asan_stack_malloc_4
KLEE: WARNING: undefined reference to function: __asan_version_mismatch_check_v8
KLEE: WARNING: undefined reference to function: __gxx_personality_v0
KLEE: WARNING: undefined reference to variable: __sancov_lowest_stack
KLEE: WARNING: undefined reference to function: __sanitizer_cov_8bit_counters_init
KLEE: WARNING: undefined reference to function: __sanitizer_cov_pcs_init
KLEE: WARNING: undefined reference to function: __sanitizer_cov_trace_const_cmp4
KLEE: WARNING: undefined reference to function: __sanitizer_cov_trace_const_cmp8
KLEE: WARNING: undefined reference to variable: __start___sancov_cntrs
KLEE: WARNING: undefined reference to variable: __start___sancov_pcs
KLEE: WARNING: undefined reference to variable: __stop___sancov_cntrs
KLEE: WARNING: undefined reference to variable: __stop___sancov_pcs
KLEE: ERROR: unable to load symbol(__start___sancov_cntrs) while initializing globals.

[ccadar]

Short answer is no, but note that KLEE already finds the kind of bugs that ASan detects.
Please ask questions (as opposed to bug reports) on the mailing list.