C/C++使用AddressSanitizer检测内存错误

AddressSanitizer 是一种内存错误检测工具,编译时添加 -fsanitize=address 选项可以在运行时检测出非法内存访问,当发生段错误时,AddressSanitizer 会输出详细的错误报告,包括出错位置的代码行号和调用栈,有助于快速定位问题。

demo.c段错误程序

cpp 复制代码
#include <stdio.h>
#include <assert.h>

void buggy_function(int *ptr) {
    // 确保指针不是 NULL
    //assert(ptr != NULL);
    *ptr = 10;
}

int main() {
    int *ptr = NULL;
    *ptr = 10;
    return 0;
}

gcc编译

bash 复制代码
gcc -g -fsanitize=address demo.c

可以在运行程序时通过设置 ASAN_OPTIONS 环境变量,将 AddressSanitizer 的输出重定向到文件。具体命令如下:

bash 复制代码
export ASAN_OPTIONS="log_path=asan_log.txt"
./a.out

生成日志如下:

bash 复制代码
bwton@DESKTOP-UJNM808:~/project/tmp$ cat asan_log.txt.302
=================================================================
==302==ERROR: AddressSanitizer: SEGV on unknown address 0x000000000000 (pc 0x560783400895 bp 0x7ffdf421abd0 sp 0x7ffdf421abc0 T0)
==302==The signal is caused by a WRITE memory access.
==302==Hint: address points to the zero page.
    #0 0x560783400894 in main /home/bwton/project/tmp/demo.c:12
    #1 0x7ff6d0eb4c86 in __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x21c86)
    #2 0x560783400719 in _start (/home/bwton/project/tmp/a.out+0x719)

AddressSanitizer can not provide additional info.
SUMMARY: AddressSanitizer: SEGV /home/bwton/project/tmp/demo.c:12 in main
==302==ABORTING
bwton@DESKTOP-UJNM808:~/project/tmp$

Eclipse编译

如果是嵌入式设备使用Eclipse编译,可如下设置:

1. 添加编译选项

  1. 在编译器的设置中,找到 Miscellaneous(杂项)部分。

  2. Other flags(其他标志)框中添加 -fsanitize=address

  3. 如果你使用的是 C++ 编译器,也可以在 GCC C++ Compiler 下重复相同的步骤。

2. 修改链接器设置

为了确保 AddressSanitizer 正常工作,还需要在链接器中添加相应的选项:

  1. 在同样的 Tool Settings 下,选择 GCC C Linker

  2. Miscellaneous 部分的 Other flags 中添加 -fsanitize=address

  3. 如果运行时报错"error while loading shared libraries: libasan.so.1:"可以在编译时添加静态链接-static-libasan

相关推荐
ajassi2000几秒前
开源 C++ QT QML 开发(十八)多媒体--音频播放
c++·qt·开源
BS_Li21 分钟前
C++11(可变参数模板、新的类功能和STL中的一些变化)
c++·c++11·可变参数模板
奶茶树21 分钟前
【C++】12.多态(超详解)
开发语言·c++
草莓熊Lotso23 分钟前
《算法闯关指南:优选算法--二分查找》--17.二分查找(附二分查找算法简介),18. 在排序数组中查找元素的第一个和最后一个位置
开发语言·c++·算法
努力努力再努力wz27 分钟前
【C++进阶系列】:万字详解特殊类以及设计模式
java·linux·运维·开发语言·数据结构·c++·设计模式
磨十三27 分钟前
【C++进阶】从零实现一个支持动态扩容的 Vector 容器(含移动语义与内存管理详解)
开发语言·c++
bkspiderx30 分钟前
C++设计模式之行为型模式:策略模式(Strategy)
c++·设计模式·策略模式
泽虞41 分钟前
《Qt应用开发》笔记p4
linux·开发语言·数据库·c++·笔记·qt·算法
ajassi200041 分钟前
开源 C++ QT QML 开发(十三)多线程
c++·qt·开源
mahuifa42 分钟前
C++(Qt)软件调试---binutils工具集详解(39)
linux·c++·软件调试·binutils