作者moebear (萌熊)
看板C_and_CPP
标题Fw: [问题] 如何发现存取越界? c/c++(V.S.)
时间Sun Apr 16 02:52:39 2017
※ [本文转录自 Programming 看板 #1OybZE4i ]
作者: moebear (萌熊) 看板: Programming
标题: [问题] 如何发现存取越界? c/c++(V.S.)
时间: Sun Apr 16 01:30:51 2017
开发平台:windows 10
目标环境:大概是linux，还是unix，分不太清楚。
开发软体: visual studio 2015 c++
各位好，最近有门课在用judge system，发现我常常会有存取越界的问题
但是在我的编译软体(visual studio 2015)上面会侦测不到这个问题，
我也有用系上的工作站(linux环境)，直接用g++编译後执行的话也没有显示存取越界
我想 既然judge可以找到这个问题
那在编译软体上面应该也可以......吧?
想问问看有没有什麽方法可以帮助我找到哪边有存取越界。
举例来说:
unsigned long long a[3]={1,2,3};
b=b/a[-1];
今天遇到的大概是这样的情况，我去追踪，发现a[-1]是一个很大的正数，
在过程中是看不到他造成的影响，debug过程也没有警告。
能不能在我存取到不该存取的位置之後能有警示?
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 140.113.91.189
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Programming/M.1492277454.A.12C.html
※ 发信站: 批踢踢实业坊(ptt.cc)
※ 转录者: moebear (140.113.91.189), 04/16/2017 02:52:39
※ 编辑: moebear (140.113.91.189), 04/16/2017 02:57:53
1F：推 Hazukashiine: en.cppreference.com/w/cpp/container/array/at 04/16 03:00
2F：→ Chikei: valgrind ? 04/16 03:03
3F：→ Sylveon: try -fsanitize=address ? 04/16 04:38
4F：推 LPH66: vs 应该是没有 -fsanitize 的选项的样子, 可能要靠外部工具 04/16 07:46
5F：→ MOONY135: VS有的话我也想知道... 04/16 08:55
6F：推 Ommm5566: 印象中google的gtest和benchmark偶尔可以拦截到这种错误 04/16 09:26
7F：→ Ommm5566: 话说回来说这是你的问题 04/16 09:26
8F：→ Ommm5566: C++提供很多工具，写程式本来就是一直在做取舍 04/16 09:27
9F：→ Ommm5566: 不做检查程式码会少，速度会快 04/16 09:27
10F：→ Ommm5566: 每次执行检查如果要做检查，速度就是慢一倍 04/16 09:27
11F：→ Ommm5566: 不然你以为为什麽debug mode远远比release mode慢 04/16 09:27
12F：→ Ommm5566: 阵列传进function还是要给size 连这都不检查要怪谁 04/16 09:29
13F：推 kwpn: 改用vector 呼叫at? 04/16 09:44
14F：→ MOONRAKER: 这个双黄线太烂了，开到对面居然不会把我弹回来。 04/16 10:32
15F：→ MOONRAKER: (设计对白) 04/16 10:32
谢谢各位大大，at看起来满符合要求的，之後会尽量改用at取。
我用 -fsanitize=address也得到一些错误回馈，谢谢各位。
我了解这是我程式设计的问题，我是希望能在已经确定我产生存取越界的时候，
能比较快地找到问题点，我的想法是，既然教授的系统可以做到这件事情，
没有理由那些由大公司或是g++等编译或是其他外挂程式没有办法做到
※ 编辑: moebear (140.113.91.189), 04/16/2017 13:25:24
16F：推 Ommm5566: at就是每次存取会检查 你说的大公司系统也是 04/16 13:53
17F：→ tuyutd0505: 通常教授的系统会抓这个都是要防止缓冲区溢位攻击 04/16 13:58
18F：→ tuyutd0505: 就是怕有学生黑他 04/16 13:58
19F：→ er230059: 教授的server每天都有人在乱try吧XD 保护当然要做好 04/16 14:21