C++本地运行无误，Leetcode编译器报错：AddressSanitizer: heap-buffer-overflow on address

最新推荐文章于 2024-01-29 11:46:54 发布
原创 最新推荐文章于 2024-01-29 11:46:54 发布 · 1.5k 阅读 · 1 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#c++ #leetcode

文章描述了一个由AddressSanitizer检测到的内存缓冲区溢出问题，该问题源于代码中的数组访问越界。由于条件检查的顺序，程序在特定情况下会尝试读取无效地址。正确的解决方案是优化代码，确保先进行边界检查。

在这里插入图片描述

报错提示：

=================================================================
==42==ERROR: AddressSanitizer: heap-buffer-overflow on address 0x602000000016 at pc 0x00000034bcbd bp 0x7ffe28a84fe0 sp 0x7ffe28a84fd8
READ of size 1 at 0x602000000016 thread T0
    #5 0x7fd0c747a082  (/lib/x86_64-linux-gnu/libc.so.6+0x24082)
0x602000000016 is located 0 bytes to the right of 6-byte region [0x602000000010,0x602000000016)
allocated by thread T0 here:
    #3 0x7fd0c747a082  (/lib/x86_64-linux-gnu/libc.so.6+0x24082)
Shadow bytes around the buggy address:
  0x0c047fff7fb0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x0c047fff7fc0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x0c047fff7fd0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x0c047fff7fe0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x0c047fff7ff0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
=>0x0c047fff8000: fa fa[06]fa fa fa fa fa fa fa fa fa fa fa fa fa
  0x0c047fff8010: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
  0x0c047fff8020: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
  0x0c047fff8030: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
  0x0c047fff8040: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
  0x0c047fff8050: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
Shadow byte legend (one shadow byte represents 8 application bytes):
  Addressable:           00
  Partially addressable: 01 02 03 04 05 06 07 
  Heap left redzone:       fa
  Freed heap region:       fd
  Stack left redzone:      f1
  Stack mid redzone:       f2
  Stack right redzone:     f3
  Stack after return:      f5
  Stack use after scope:   f8
  Global redzone:          f9
  Global init order:       f6
  Poisoned by user:        f7
  Container overflow:      fc
  Array cookie:            ac
  Intra object redzone:    bb
  ASan internal:           fe
  Left alloca redzone:     ca
  Right alloca redzone:    cb
  Shadow gap:              cc
==42==ABORTING

问题分析：

报错关键代码：

        
        if (visited[x * n + y]) return 0;
        if (!(x < m && y < n))return 0;
        if (numCal(x) + numCal(y) > k)return 0;

AddressSanitizer（ASan）是一个快速的内存错误检测工具。它非常快，只拖慢程序两倍左右。

应该就是内存泄漏问题，一般出现在数组越界访问之类的。

  • 本地不报错的原因：
    越界的值也能返回……

可以看到上述代码中，为了易读性，我把程序特殊情况挨着列出来，忘记了顺序问题，

如果写成：if (visited[x * n + y] || !(x < m && y < n) || numCal(x) + numCal(y) > k) return 0;

同样会报错，因为也是顺序执行的。

正确写法先判断if (!(x < m && y < n))return 0;

【积土成山】AddressSanitizer: heap-buffer-overflow on address
qq_31382031的博客
04-13 3881
背景，不同场景，内在原理，参考文献 一、背景 1.1 问题背景 1 在做leetcode时，总是会遇到关于“heap-buffer-overflow”的问题； 2 下面对这些场景进行归纳，提出潜在检查点，以及尝试揭示出其内在原理； 1.2 AddressSanitizer 1 快速内存错误检测工具； 2 这里还提供一种方法，进行本地安装和调试； 3 那么在之后如果leetcode不过，然后给出的堆...
ERROR: AddressSanitizer: heap-buffer-overflow on address 0x603000000090 at pc 0x00000034d628 bp 0x7f
CFY1226的博客
07-04 2910
所以在sum+=nums[i];这里，实际上访问的是数组的第i个元素，而不是当前元素。当i的值大于nums的长度时，就会发生访问越界，导致。的问题，这通常是由于。
ERROR: AddressSanitizer: heap-buffer-overflow on address 0x602000000
banzixiang的博客
07-30 1010
leetcode上的一道题，当 s =“a” 这样的单字符的时候，使用memset会出错，ERROR: AddressSanitizer: heap-buffer-overflow on address 0x602000000。有些奇怪， 记录一下，双字符以及以上的时候不会报错，
C++ 问题处理：(Leetcode) ==42==ERROR: AddressSanitizer: heap-buffer-overflow on address 0x602000000118
道纪书生的博客
08-04 1万+
今天刷Leetcode时，代码在本地编译器（VS Code+Gcc）上完美运行，但在Leetcode提交时报错： 错误原因是： ==42==ERROR: AddressSanitizer: heap-buffer-overflow on address 0x602000000118 意思是堆缓冲区发生了溢出，但仔细检查了代码，好像也没发现啥问题，何况测试用例输入到本地编译器里都能运行，百思不得其解。代码如下： #include<bits/stdc++.h> using name
Leetcode报错诊断
unspoken0714的博客
09-09 486
Heap-buffer-overflow 引索越界，做题时maxIndex = nums.size(); 应该是maxIndex = nums.size() - 1; ================================================================= ==30==ERROR: AddressSanitizer: heap-buffer-overflow on address 0x60300000000c at pc 0x000000401749 bp 0x7f
Leetcode报错：AddressSanitizer: heap-buffer-overflow on address 0x619000001d69 at pc 0x0000004024cf bp
Leetcode报错：AddressSanitizer: heap-buffer-overflow on address 0x619000001d69 at pc 0x0000004024cf bp 0x7ffdb04bee90 sp 0x7ffdb04b
05-22 1241
Leetcode报错：AddressSanitizer: heap-buffer-overflow on address 0x619000001d69 at pc 0x0000004024cf bp 0x7ffdb04bee90 sp 0x7ffdb04bee80 先看一下题目 5.最长回文子串 给定一个字符串 s，找到 s 中最长的回文子串。你可以假设 s 的最大长度为 1000。 然后看一下代码：. #define MAXSIZE 1000 //获得串s的反串 char* GetReserve(ch
(Leetcode) ERROR: AddressSanitizer: heap-buffer-overflow
小鹅仔的博客
12-01 875
坐标：LeetCode 605：种花问题 原代码： int len=flowerbedSize; for(int i=0;i<len;i++) { ……} 然后……，它就报错了…… ==42==ERROR: AddressSanitizer: heap-buffer-overflow on address 0x602000000174 at pc 0x55dafceb37fc bp 0x7ffe637aa8c0 sp 0x7ffe637aa8b0 READ of size 4 at
LeetCode面试题 02.03. 删除中间节点——报错： AddressSanitizer: heap-use-after-free
qq_43531377的博客
01-20 2501
项目场景： 实现一种算法，删除单向链表中间的某个节点（即不是第一个或最后一个节点），假定你只能访问该节点。 示例： 输入：单向链表a->b->c->d->e->f中的节点c 结果：不返回任何数据，但该链表变为a->b->d->e->f 问题描述： free(node->next); 加这句将出现AddressSanitizer: heap-use-after-free报错，不加将存在一个无用节点node->next浪费内存（但好像无法解决）
力扣平台delete的问题：delete出现内存报错ERROR: AddressSanitizer: heap-use-after-free on address
CFY1226的博客
06-16 805
重新看了那个报错用例打了日志看也是也报错，应该判题程序会去调用原来的 root，但是程序把原来的 root 已经删了。一般不 delete 也是没问题的，但是就怕有些题数据量一大你不手动回收的话会内存泄露，毕竟我们用的是c++，不像 Java 那样可以自动 gc。关于delete的问题，我的建议如果确定删是没问题的，可以删一下，这也是良好的编码习惯，实际开发不可能一直不回收。但是，将报错用例在IDE里跑了一下，并没有内存问题。是力扣平台的问题，很坑，delete在IDE里面是正常的，并不会出现内存报错。
ERROR: AddressSanitizer: heap-use-after-free on address
yah17763312367的博客
01-24 4922
力扣第二题 记录一下错误原因。虽然错误描述看不懂，但原因是自己的指针指向了自己。 heap堆 heap-use-after-free on address 释放地址后使用堆。 /** * Definition for singly-linked list. * struct ListNode { * int val; * ListNode *next; * ListNode() : val(0), next(nullptr) {} * ListNode(int x
力扣(Leet code)报错AddressSanitizer: heap-buffer-overflow on address
ShakugannoSnivy的博客
09-10 1716
即if(p == 0||data[p-1]!= now)，这样检查到p==0后就不会执行后面的data[p-1]，这是因为||是逻辑上的或，前面的语句符合了就不会继续判断了。在力扣执行 s = "){"情况时，循环代码中if(data[p-1]!= now || p ==0)会先判断data[p-1]，此时由于p==0，p-1必然造成数组越界从而导致报错，在这里，只需要将两个判断条件替换一下位置即可。这种时候在自己编译器上不一定能检查得出问题，对于力扣来说，这种情况大概率就是。
力扣==42==ERROR:AddressSanitizer: heap-buffer-overflow on address
qq_43363657的博客
09-12 6680
出错原因数组越界，或者堆栈溢出。检查循环中的边界条件。 比如在数组nums中，判断和前一个元素是否相等。 for(int L =0; L<count;L ++) { if（nums[L]==nums[L-1]） { } } 此时L从0开始，L-1=-1，出现数组越界。 那么应该在添加语句L>0，即 for(int L =0; L<count;L ++) { if（ L>0 && nums[L]==nums[L-1]） { } .
AddressSanitizer: heap-buffer-overflow on address
zzwjames的博客
04-27 388
用c做leetcode的时候经常出现这种报错，原因是数组访问越界 char a = (char)malloc(sizeof(char)n); 这一步申请空间错了，应该是(sizeof（char)(n+1)); 最后空间存’\0’ ...
LeetCode报错信息：==22==ERROR: AddressSanitizer: heap-buffer-overflow on address 0x502000000100 at pc 0x5
qq_43332536的博客
01-29 3031
在重刷时，写了如下代码，
解决报错：AddressSanitizer: heap-buffer-overflow
热门推荐
发现问题，并解决问题，批判性思维
01-18 2万+
leetcode上报错： ================================================================= ==42==ERROR: AddressSanitizer: heap-buffer-overflow on address 0x60c000000888 at pc 0x00000034f486 bp 0x7ffd5554bb10 sp 0x7ffd5554bb08 READ of size 8 at 0x60c000000888 thread T0
ERROR: AddressSanitizer: heap-buffer-overflow on address 0x6020000000d4 at pc
weixin_58045467的博客
12-01 986
最常见的情况之一是调用超过数组长度的索引元素。
LeetCode错误：AddressSanitizer: heap-buffer-overflow on address...............（3sum）
Ideaddxxpp的博客
04-26 1万+
一下午的时间都填在了这个bug上，比较了别人的代码，明明核心部分都是一样的思路，为啥我的就是过不去，把别人的粘贴过来就可以过......知道是缓冲区溢出，可能是数组访问越界，然后百般检查了vector没问题呀？后来一点点比较我的代码和别人的代码，一个个细微的地方去比较，怎么也想不到最后问题出在一个if判断的语句中，数组访问越界了。 我没有想到这个做与运算的地方要先判断back>0，确保...
Leetcode报错AddressSanitizer: heap-buffer-overflow on address 0x603000000028
huihui_8的博客
08-24 2万+
我们先看代码，贴出来 int singleNumber(int* nums, int numsSize){ int i = 1; int data; data = nums[0]; while (i < numsSize) { if (data != nums[i]) { i++; ...
LeetCode27.移动元素 报错：==42==ERROR: AddressSanitizer: heap-buffer-overflow on address解决
qq_44684877的博客
01-21 1万+
LeetCode 27.移动元素 给你一个数组 nums 和一个值 val，你需要 原地 移除所有数值等于 val 的元素，并返回移除后数组的新长度。 不要使用额外的数组空间，你必须仅使用 O(1) 额外空间并 原地 修改输入数组。 元素的顺序可以改变。你不需要考虑数组中超出新长度后面的元素。 来源：力扣（LeetCode） 链接：https://leetcode-cn.com/problems/remove-element 实现代码： class Solution { public: int re
AddressSanitizer: heap-buffer-overflow on address 0x503000000058 at pc 0x55a2626762ad bp 0x7fffb6e5f6e0 sp 0x7fffb6e5f6d0
最新发布
03-18
<think>嗯，用户遇到了AddressSanitizer报告的heap-buffer-overflow错误，地址是0x503000000058，程序计数器是0x55a2626762ad。我需要先理解这个错误的原因，然后给出解决方案。 首先，AddressSanitizer检测到堆缓冲区溢出，这通常是因为程序访问了超出分配内存范围的地址。用户提到在LeetCode上遇到这个问题，特别是在处理单字符时使用memset出错，而双字符及以上没问题。这可能是因为在处理单字符时，某些边界条件没有处理好，比如数组长度计算错误，或者循环条件设置不当。 根据引用[2]，溢出通常由数组或向量访问越界引起。例如，当分配的内存大小为n，但访问了n或更大的索引时。例如，访问array[n]就会越界，因为有效索引是0到n-1。用户需要检查代码中的数组访问，特别是循环的终止条件是否正确。 引用[4]提到，常见原因之一是调用超出数组长度的索引元素。比如，在循环中是否错误地使用了<=而不是<，或者在处理字符串时未正确处理结束符'\0'的位置。例如，当字符串长度为1时，比如s="a"，strlen(s)返回1，但有效的字符索引是0，如果在循环中错误地访问了索引1，就会导致越界。 用户提供的示例中，当s是单字符时，使用memset出错。可能是在分配内存时分配了不足的空间，或者在调用memset时传入了错误的大小参数。例如，如果为单字符分配了恰好1字节的内存，但memset试图写入超过1字节的数据，就会溢出。或者，可能在计算需要操作的内存大小时，没有考虑到某些边界情况，比如空字符或者对齐问题。 解决方案方面，需要逐步检查内存分配和访问的代码。首先，确认所有数组和缓冲区的分配大小是否正确，是否考虑了所有可能的边界情况。其次，检查循环和索引的使用，确保没有超出有效范围。可以使用调试工具或打印语句来跟踪索引的值，特别是在处理边界条件时。此外，将if-else结构改为更严谨的条件判断，避免多个条件语句之间的覆盖问题，如引用[3]中提到的将第二个if改为else，这样可以避免在条件判断中出现遗漏或重复的情况。 例如，在处理字符串时，如果有一个循环从0到strlen(s)，那么当i等于strlen(s)时，s[i]就是越界访问，因为索引应该到strlen(s)-1。这种情况下，循环条件应该改为i < strlen(s)。或者在动态分配内存时，如果需要的空间是n+1（比如包含结束符），但只分配了n，就会导致溢出。 另外，用户提到在DevC++中代码运行正常，但在LeetCode上报错，这可能是因为不同的编译器或环境对内存错误的处理方式不同。有些环境可能不会严格检查越界访问，而AddressSanitizer则会主动检测这类问题。因此，用户需要确保代码符合严格的内存管理规范，避免未定义行为。 总结来说，用户需要检查代码中的内存分配大小是否正确，所有数组访问是否在有效范围内，条件判断是否覆盖了所有边界情况，特别是单字符或空字符串的情况。同时，使用调试工具或打印日志来定位具体的越界位置，逐步修正错误。</think>关于AddressSanitizer检测到的`heap-buffer-overflow`问题的解决方案如下： --- ### **问题原因** 1. **内存越界访问**：程序尝试访问未分配的堆内存区域，例如： - 数组索引超出分配范围（如`array[n]`访问，但数组实际有效索引为`0`到`n-1`） - 字符串操作未正确处理结束符`\0`的位置 2. **边界条件处理不当**：例如单字符场景下未考虑最小长度限制，导致`memset`或循环操作越界[^1][^2] 3. **条件判断逻辑错误**：多个`if`语句可能覆盖不全或重复判断，导致意外越界[^3] --- ### **解决方案** #### 1. 检查内存分配与访问范围 - **验证内存分配长度**：确保分配的空间足够覆盖所有操作需求。例如： ```c char* buffer = malloc(strlen(s) + 1); // 为字符串结束符预留空间 ``` - **检查循环边界**：确保循环终止条件正确。例如： ```c for (int i = 0; i < len; i++) { ... } // 正确：i从0到len-1 ``` #### 2. 修正条件判断逻辑 - 避免多个`if`嵌套导致的逻辑漏洞，改用`if-else`结构： ```c if (condition1) { ... } else if (condition2) { ... } // 避免同时满足多个条件 ``` #### 3. 调试工具辅助定位 - **使用AddressSanitizer输出**：根据报错信息中的**错误地址**（如`0x503000000058`）和**程序计数器**（如`0x55a2626762ad`），结合反汇编工具或调试器定位具体代码位置。 - **打印调试日志**：在可疑代码段前后添加变量值输出，观察索引是否超出预期范围。 #### 4. 典型修复示例 假设报错由以下代码引起（错误代码）： ```c void process_string(char* s) { int len = strlen(s); char* buffer = malloc(len); memset(buffer, 0, len + 1); // 错误：多写入1字节导致溢出 } ``` 修复方法： ```c void process_string(char* s) { int len = strlen(s); char* buffer = malloc(len + 1); // 正确分配空间 memset(buffer, 0, len + 1); // 合法操作 } ``` --- ### **预防措施** 1. **静态代码分析**：使用Clang静态分析器或Cppcheck扫描潜在越界风险 2. **单元测试覆盖边界条件**：例如空字符串、单字符、最大长度输入等场景 3. **代码规范**：优先使用安全函数（如`snprintf`替代`sprintf`） ---
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
表情包 代码片
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

赛文X

觉得不错就打赏下呗mua~

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值