[問題] 關於free()這個函數的使用

看板C_and_CPP作者 (小指頭)時間8年前 (2017/08/21 01:46), 8年前編輯推噓10(11推 1噓 26→)
留言38則, 15人參與, 最新討論串1/1
小弟程式算是新手 最近遇到一個很頭大的 free() invaild pointer 的bug 也爬過有關於free的文章百思不得其解 想來請教一下各位前輩 程式碼大略是這樣的 -- -- char *a char *b //以上這裡是在func裡宣告兩個pointer -- -- -- while (某個結束條件) { -- -- -- -- if { 裡面執行的程式碼稱作A 跟上面的兩個pointer沒有關係 } else { 裡面執行的程式碼稱作B a = malloc(xxx) //在這邊配置記憶體位置給這兩個pointer b = malloc(xxx) -- -- -- free(b) // b使用結束 free掉 -- -- free(a) // a使用結束 free掉 } } //while 結束 架構大致上如以上， 在while裡會有A及B任意合(Ex: 可能執行兩次A再執行一次B然後跳出迴圈之類， 問題來了 : Q: 只要我是執行B不管執行幾次最後再執行A，程式都不會有任何問題 但只要A在B之前先執行過，執行B的時候，要free(b)就會出現 free():invaild pointer的錯誤，但A理論上跟那兩個pointer完全沒有關係啊~ 以上，卡了很久，請大家幫幫忙了QAQ -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 180.177.108.225 ※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1503251200.A.E30.html
→
08/21 01:50, , 1F
合理懷疑是 buffer overflow，問題出在你沒寫明之處
08/21 01:50, 1F
我一開始有懷疑是array超出範圍的問題仔細檢查過每個array, 不過看起來沒有什麼大問題,謝謝你的建議我會在找找看 :) ※ 編輯: Petyr (180.177.108.225), 08/21/2017 01:52:16
→
08/21 01:51, , 2F
檢查 A 段程式是否意外覆蓋了這兩個變數
08/21 01:51, 2F
推
08/21 02:41, , 3F
在 b malloc 的時候先印出來記憶體位置
08/21 02:41, 3F
→
08/21 02:41, , 4F
然後在 free b 的時候確認是不是同一個位置
08/21 02:41, 4F
→
08/21 02:42, , 5F
如果不一樣 那代表變數被改變過了
08/21 02:42, 5F
→
08/21 02:43, , 6F
如果一樣 那可能是重複 free 或是 malloc 本身的資訊
08/21 02:43, 6F
→
08/21 02:43, , 7F
已經被搞壞了..
08/21 02:43, 7F
推
08/21 03:15, , 8F
malloc a b之後 先確定ab不是null吧
08/21 03:15, 8F
→
08/21 03:16, , 9F
if(a == NULL) assert("error");
08/21 03:16, 9F
→
08/21 03:16, , 10F
然後自己加一些debug訊息判斷一下發生甚麼事
08/21 03:16, 10F
推
08/21 03:58, , 11F
free(NULL);是合法的。pointer一定被動到或是沒malloc
08/21 03:58, 11F
推
08/21 04:47, , 12F
Free 完把ptr 指到null 才是好習慣 建議先改了以後看
08/21 04:47, 12F
→
08/21 04:47, , 13F
中間是不是有哪裡改到
08/21 04:47, 13F
推
08/21 04:51, , 14F
然後建議你抽出有問題的片段 貼可以重現bug 的程式上
08/21 04:51, 14F
→
08/21 04:51, , 15F
來
08/21 04:51, 15F
→
08/21 04:52, , 16F
一開始宣告沒要馬上用的話 最好也指到null 較容易debug
08/21 04:52, 16F
推
08/21 05:51, , 17F
話說a用不到pointer 為啥不在b裡面宣告？
08/21 05:51, 17F
推
08/21 08:16, , 18F
我比較傾向於overflow造成chunk的info被動到，這樣有沒
08/21 08:16, 18F
→
08/21 08:16, , 19F
有設成null應該都會出錯
08/21 08:16, 19F
推
08/21 08:52, , 20F
當然pointer被改掉也是很有可能
08/21 08:52, 20F
→
08/21 17:08, , 21F
你先把 char *a, char *b 改成全域變數來宣告,
08/21 17:08, 21F
→
08/21 17:08, , 22F
看看是否正常?
08/21 17:08, 22F
推
08/21 17:13, , 23F
貼原始code吧 不然只能搬水晶球了
08/21 17:13, 23F
→
08/21 17:40, , 24F
不知到關掉優化會不會有影響
08/21 17:40, 24F
噓
08/21 17:42, , 25F
source code
08/21 17:42, 25F
→
08/21 20:47, , 26F
即使簡化 建議至少要貼「最小可重現問題的程式碼」
08/21 20:47, 26F
→
08/21 20:48, , 27F
這可以訓練你發現問題的能力 有時甚至會直接解決
08/21 20:48, 27F
→
08/21 23:48, , 28F
樓上們超強的,一點像樣的snippet都沒有也討論得起來
08/21 23:48, 28F
推
08/22 01:56, , 29F
其實樓主如果有能力找到最小可重現問題的程式碼的話，那
08/22 01:56, 29F
→
08/22 01:56, , 30F
他其實也不用上來問了
08/22 01:56, 30F
→
08/22 02:08, , 31F
@enonrick 我們上次有團購壓克力水晶球
08/22 02:08, 31F
推
08/22 04:20, , 32F
好好奇啊 要是原po真的很害羞的話可以私我我幫你看
08/22 04:20, 32F
→
08/22 04:28, , 33F
再幫你抽出有問題的地方貼上來
08/22 04:28, 33F
→
08/23 04:40, , 34F
a b 變數直接宣告在 B 的 scope 裡面比較好
08/23 04:40, 34F
→
08/23 04:45, , 35F
有可能是 A 裡面有地方去非法覆蓋到 heap 資訊
08/23 04:45, 35F
→
08/25 12:11, , 36F
很多實作是把配置資訊黏在 malloc() 傳回位址之前，如果
08/25 12:11, 36F
→
08/25 12:11, , 37F
那塊空間被當陣列存取，索引值不小心是負值時就可能把它
08/25 12:11, 37F
→
08/25 12:12, , 38F
蓋掉，然後 free() 就會認為這塊空間之前沒配置過。
08/25 12:12, 38F
‣ 更多 Petyr 的文章
文章代碼(AID): #1PcSi0um (C_and_CPP)