doc: use asan_symbolize