std :: string_view trên chuỗi tạm thời - bắt bởi Asan

Question

này được treo lủng lẳng con trỏ | dụ tham khảo:

#include <string> 
#include <string_view> 
#include <iostream> 

std::string foo() { 
    return "test"; 
} 

int main() { 
    std::string_view bar = foo(); // bar is pointed to destructed string 
    std::cout << bar << std::endl; 
} 

Địa chỉ khử trùng không thể bắt nó, ít nhất là với các tùy chọn mặc định. Có thể bắt các lỗi như vậy với dung dịch vệ sinh không?

UPD.

Báo cáo lỗi này:

• https://bugs.llvm.org/show_bug.cgi?id=35285
• https://github.com/google/sanitizers/issues/879

Answer 1

tôi đoán (bạn chưa cung cấp phiên bản trình biên dịch) là operator << được thực hiện bên ngoài để Asan không thể khử trùng nó và phát hiện lỗi (trừ khi bạn xây dựng lại libstdC++ với Asan). Dưới đây là những gì tôi nhận được với GCC của tôi 6.2 (tôi chút thay đổi repro như tôi không có quyền truy cập vào c++1z):

call operator delete(void*) 
.L17: 
    movq %rbx, %rsi 
    movl std::cout, %edi 
    call std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*) 
    call std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)