[問題] strcpy memcpy strncpy 風險問題

看板C_and_CPP作者 (非常念舊)時間3年前 (2020/09/19 09:53), 編輯推噓10(10推 0噓 39→)
留言49則, 8人參與, 3年前最新討論串1/1
網路上介紹 strcpy strcmp 這些相關function有些風險，就是可能會造成 memory 越界問題。所以使用 strncpy strncmp 這些來替代。 原因是strcmp(a,b)，b若沒有空字元結尾，他會一直比下去，會有存取到未知memory 風險。所以用strncmp代替。 現在我開發nRF5 BLE 相關系列。BLE底層callback回來有 uint8_t *p_data 和長度。 我從APP傳過去是一個 device name，callback接收到後只會是hex byte由 p_data指向 請問你們把它存成字串會是怎樣的安全作法? 1 在BLE內先宣告長度20的陣列。array[0]= p_data array[1]= p_data+1 .. array[18] = p_data+18 array[19] = '\0' 2 memcpy(array, p_data, sizeof(array)); 第二種我不確定安不安全。假設p_data沒有到20那麼長，不就也會把p_data指向的 memory越界了嗎? 請多多指教QQ -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 1.171.140.98 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1600480402.A.20A.html
推
09/19 10:59, 3年前 , 1F
所以你才會需要 dependent types 啊？
09/19 10:59, 1F
→
09/19 10:59, 3年前 , 2F
不過 cpp 的話放棄吧，不會有 dependent types 的 orz
09/19 10:59, 2F
→
09/19 11:20, 3年前 , 3F
你要先知道 device name 最常能到多長，或是自己決定，
09/19 11:20, 3F
→
09/19 11:20, 3年前 , 4F
太長就當掉。不然就是改用 malloc 的方式
09/19 11:20, 4F
推
09/19 12:37, 3年前 , 5F
把你要用的區域先初始化為0，確定複製字串的範圍不要超
09/19 12:37, 5F
→
09/19 12:37, 3年前 , 6F
出大小就好了吧
09/19 12:37, 6F
推
09/19 18:29, 3年前 , 7F
這很明顯就是須要 dependent types 啊，除了 dependent t
09/19 18:29, 7F
→
09/19 18:29, 3年前 , 8F
ypes（或靜態分析，如果陣列長度是編譯期確定的話）以外
09/19 18:29, 8F
→
09/19 18:29, 3年前 , 9F
還有什麼方法可以在不改變 callback 實作的條件下確保沒
09/19 18:29, 9F
→
09/19 18:30, 3年前 , 10F
有 out of bound access？
09/19 18:30, 10F
推
09/19 18:35, 3年前 , 11F
不過如果你信任 callback 不會亂來的話，就用 malloc +
09/19 18:35, 11F
→
09/19 18:35, 3年前 , 12F
清零的方式吧
09/19 18:35, 12F
→
09/19 18:52, 3年前 , 13F
誒... callback 不是他自己寫嗎？還是我誤會了？OuO
09/19 18:52, 13F
→
09/19 20:25, 3年前 , 14F
話說對array取sizeof是有點危險的
09/19 20:25, 14F
推
09/19 20:58, 3年前 , 15F
strcmp 狀況不一樣，並不會有風險，比對到不同就停了
09/19 20:58, 15F
→
09/19 20:59, 3年前 , 16F
strncmp 只是用在你只想比前 N 個字元的狀況
09/19 20:59, 16F
→
09/19 21:00, 3年前 , 17F
那個 N 值並不適合用來做邊界限制
09/19 21:00, 17F
推
09/20 11:01, 3年前 , 18F
硬要說的話 strcmp 會有 side channel attack ，也不是
09/20 11:01, 18F
→
09/20 11:01, 3年前 , 19F
多安全就是了
09/20 11:01, 19F
推
09/20 13:48, 3年前 , 20F
strcmp 如果兩個字串相同而且都沒有結尾還是不安全吧？
09/20 13:48, 20F
推
09/21 18:46, 3年前 , 21F
那這就是不符合 strcmp 的要求的參數了 -- strcmp 是比較
09/21 18:46, 21F
→
09/21 18:46, 3年前 , 22F
null-terminated string 的, 不是這樣的字串不能用
09/21 18:46, 22F
→
09/21 18:47, 3年前 , 23F
cppref 上是寫若指標不是指向此種字串則是 UB
09/21 18:47, 23F
→
09/21 18:48, 3年前 , 24F
也就是說: 很遺憾的, 又是個容易寫得出來的 UB
09/21 18:48, 24F
推
09/22 01:07, 3年前 , 25F
不過說實在的，標準寫得再嚴格，它 type 就是長那樣
09/22 01:07, 25F
→
09/22 01:07, 3年前 , 26F
標準說不允許的東西就是隨便都能造得出來
09/22 01:07, 26F
→
09/22 01:07, 3年前 , 27F
要是文件、標準真的有用，幹嘛不通通寫文件就好了，還寫
09/22 01:07, 27F
→
09/22 01:07, 3年前 , 28F
程式幹嘛 XD
09/22 01:07, 28F
→
09/23 05:54, 3年前 , 29F
寫希佳佳分為兩種人: 追隨標準的人; 還有制定標準的
09/23 05:54, 29F
→
09/23 05:54, 3年前 , 30F
人. 標準某種程度上來說反映了當代技術的水平, 還有
09/23 05:54, 30F
→
09/23 05:54, 3年前 , 31F
寫碼習慣. 一個人如果明白語言定義的 abstract ma
09/23 05:54, 31F
→
09/23 05:54, 3年前 , 32F
chine 和 physical machine 的差異以及設計目的, 那
09/23 05:54, 32F
→
09/23 05:54, 3年前 , 33F
寫碼就會更有可攜性, 也更安全.
09/23 05:54, 33F
→
09/23 21:53, 3年前 , 34F
回某樓callback是BLE software ，是一個沙盒無法動
09/23 21:53, 34F
→
09/23 21:54, 3年前 , 35F
我目前就是用既定大小的空間，先初始為0，並確保來的
09/23 21:54, 35F
→
09/23 21:54, 3年前 , 36F
p_data大小不超過既定範圍
09/23 21:54, 36F
→
09/24 01:45, 3年前 , 37F
雖然，還是不太懂你寫的是哪邊的程式，但是反正只要確
09/24 01:45, 37F
→
09/24 01:45, 3年前 , 38F
保自己寫的程式是 OK 的，行有餘力再考慮怎麼避免其他
09/24 01:45, 38F
→
09/24 01:45, 3年前 , 39F
人寫出有問題的就好。
09/24 01:45, 39F
推
09/24 05:50, 3年前 , 40F
"abstract machine 和 physical machine" is a fancy way
09/24 05:50, 40F
→
09/24 05:50, 3年前 , 41F
of saying semantics lol, people who invented that sh
09/24 05:50, 41F
→
09/24 05:50, 3年前 , 42F
ould definitely get a nobel in literature imo
09/24 05:50, 42F
→
09/24 05:51, 3年前 , 43F
And yeah that's exactly what I was taking about. Inst
09/24 05:51, 43F
→
09/24 05:51, 3年前 , 44F
ead of having your types (which is the ACTUAL program
09/24 05:51, 44F
→
09/24 05:51, 3年前 , 45F
that you compile) correct, you choose to have your d
09/24 05:51, 45F
→
09/24 05:51, 3年前 , 46F
ocuments (which is a part of std) correct. I honestly
09/24 05:51, 46F
→
09/24 05:51, 3年前 , 47F
kinda don't see how this whole "praising std" thing
09/24 05:51, 47F
→
09/24 05:51, 3年前 , 48F
would work, but I'll take your words for that before
09/24 05:51, 48F
→
09/24 05:51, 3年前 , 49F
I finally figure it out. I mean, if I could.
09/24 05:51, 49F
‣ 更多 gn00618777 的文章
文章代碼(AID): #1VPMII8A (C_and_CPP)