添加AddressSanitizer后boost cpp_int出现栈缓冲区下溢问题求助

1. Boost.Multiprecision内部内存边界问题：cpp_int在处理字节序列转换时，内部可能使用了栈上临时缓冲区，且存在越界访问操作——正常编译下这类访问未触发崩溃，但ASAN的严格内存检测会直接捕获到栈缓冲区下溢/越界问题。
2. ASAN与编译器交互暴露潜在bug：开启ASAN后会改变内存布局和检测规则，原本隐藏的cpp_int内部内存操作问题被暴露，这也解释了Clang 15、GCC 7.3.3等不同版本编译器都出现崩溃的现象。
3. 旧版Boost的兼容性bug：早期Boost版本（如1.75之前）的cpp_int模块在ASAN环境下存在兼容性问题，你找到的GCC专属issue本质上是跨编译器的内存访问类bug。

• 升级Boost到最新稳定版：Boost 1.79及之后的版本对cpp_int的ASAN兼容性做了针对性修复，更新后大概率能解决栈缓冲区下溢问题。
• 指定cpp_int使用堆分配：cpp_int支持通过模板参数指定存储策略，使用堆分配替代栈分配，避免栈缓冲区操作风险：

  using BigInt = boost::multiprecision::cpp_int<
      boost::multiprecision::cpp_int_backend<
          0, 0, 
          boost::multiprecision::unsigned_magnitude, 
          boost::multiprecision::heap_allocator
      >
  >;
  

• 手动实现安全的字节转换逻辑：绕过cpp_int可能存在问题的构造函数，逐字节构建BigInt，确保每一步内存访问安全：

  #include <boost/multiprecision/cpp_int.hpp>
  #include <array>
  
  using BigInt = boost::multiprecision::cpp_int;
  
  BigInt array_to_bigint(const std::array<uint8_t, 32>& arr) {
      BigInt result = 0;
      // 若输入为小端序，需反转数组遍历顺序
      for (const auto byte : arr) {
          result = (result << 8) | static_cast<BigInt>(byte);
      }
      return result;
  }
  

• 临时屏蔽ASAN对Boost的检测（权宜之计）：若暂时无法升级Boost，可创建ASAN黑名单文件（如asan_blacklist.txt），将cpp_int相关文件加入黑名单：

  src:*/boost/multiprecision/cpp_int.hpp
  src:*/boost/multiprecision/detail/cpp_int.hpp
  

  然后在CMake中添加编译选项：-fsanitize-blacklist=${CMAKE_SOURCE_DIR}/asan_blacklist.txt，注意这只是绕过检测，并未修复问题，不推荐长期使用。
• 检查字节序匹配：确认std::array的字节序与cpp_int构造函数预期一致，比如cpp_int部分构造函数默认处理小端序，若你的数组是大端序，直接传入会导致内部逻辑出错进而触发越界。

内容的提问来源于stack exchange，提问作者xthebat