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

相关推荐
道尔柯南5 分钟前
C++ string 类详解:从常用接口到深拷贝,彻底掌握字符串处理
android·java·c++
十二3 小时前
【洛谷题解】P1083 [NOIP 2012 提高组] 借教室(二分答案 + 差分)
数据结构·c++·算法·蓝桥杯
D e re k ZH5 小时前
C++ 从零入门(一):基础语法与程序结构
数据结构·c++·算法
zjxtxdy7 小时前
C++面向对象程序开发-类与对象
开发语言·c++
東隅已逝,桑榆非晚8 小时前
算法6. 双指针法-查找总价格为目标的两个商品
c++·学习·算法
qq_406981039 小时前
c++拷贝构造函数
开发语言·c++
HUANGZHENXUAN12311 小时前
最大子矩阵和:从 O(n⁴) 到 O(n³) 的列压缩 + Kadane
c语言·前端
H.莓飛12 小时前
【C++】【STL】vector_OJ题
linux·服务器·开发语言·数据结构·c++·visual studio
Rabitebla12 小时前
【Linux操作系统】进程篇(十一):进程程序替换——从底层原理到 exec 函数族
linux·服务器·c++·笔记·学习·算法
沫璃染墨12 小时前
从零入门计算机网络系列(十五):TCP可靠传输机制详解——从序号与确认应答到乱序处理
服务器·网络·c++·tcp/ip·tcp