[問題] 請教邏輯錯誤的source code

作者: renshin (阿信)   2019-01-09 17:34:40
各位版上的前輩大大們,小嫩因為課業關係需要找尋邏輯錯誤的source code
並且盡量錯誤率越低越好
例如一個計算的def()
因為設計者的粗心或是邏輯思考錯誤導致算式寫錯
在特定的輸入值會產生非預期的輸出值
這種的邏輯錯誤
一般隨便coding都可以寫出bug我能理解
但難在於還要「錯誤率低」!!
例如可以輸入的型態為int 0~100
但其中只有2個輸入值會產生錯誤
這樣檢查錯誤率就是2/100 = 2%
主要需要找"條件敘述式錯誤" 以及 "計算錯誤"
在github上已經翻了好幾天沒著落
有些專案太大,或是細分def後可能也無法理解
或著要把好的專案掰成錯誤率低的bug也掰不太出來
不知道有沒有大大神人有推薦的專案、source code能分享
或是可分享常見的邏輯錯誤模式供小弟自己寫出來
目前想不出有甚麼錯誤率低的計算...
小嫩先謝謝版上各位神人了
作者: vi000246 (Vi)   2019-01-09 23:47:00
這作業頗難 也頗無聊的...
作者: yimean (溫柔殺手)   2019-01-09 20:19:00
windows上的日期長度會變動,如果用日期來做事會有1/3的結果是錯的,這樣可以嗎?
作者: yangs0618 (阿彰)   2019-01-09 18:48:00
想問邏輯錯誤是什麼意思
作者: jiyu520 (不要鯽魚我)   2019-01-09 17:54:00
有目標類型嗎? 另外也不見得每種test都有做到關於程式錯誤,你提的比較屬於其中一類> 你想找"有條件錯誤or計算錯誤在內的code"但github上如果是多人貢獻/協作/使用的專案除了原有的test外, 社群會協助提交錯誤修正或許可以到issue區去找一下open/closed的討論
作者: b0920075 (Void)   2019-01-11 04:48:00
找爆過intger overflow漏洞的軟體應該很多吧或是很多heap oveflow都是對allocate出來的空間計算有誤造成overflow問題案例的話meh之前找出來的exim漏洞好像就是base64 decode上的空間計算錯誤造成一個byte的overflow
作者: s06yji3 (阿南)   2019-01-12 09:12:00
台灣0點要自動更新data但是伺服器時間是UTC +0
作者: qee93 (Kuzco)   2019-01-12 22:48:00
int變數放分母,在0的時候會錯誤算不算一個錯誤率極低的bug

Links booklink

Contact Us: admin [ a t ] ucptt.com