作者:
renshin (阿信)
2019-01-09 17:34:40各位版上的前輩大大們,小嫩因為課業關係需要找尋邏輯錯誤的source code
並且盡量錯誤率越低越好
例如一個計算的def()
因為設計者的粗心或是邏輯思考錯誤導致算式寫錯
在特定的輸入值會產生非預期的輸出值
這種的邏輯錯誤
一般隨便coding都可以寫出bug我能理解
但難在於還要「錯誤率低」!!
例如可以輸入的型態為int 0~100
但其中只有2個輸入值會產生錯誤
這樣檢查錯誤率就是2/100 = 2%
主要需要找"條件敘述式錯誤" 以及 "計算錯誤"
在github上已經翻了好幾天沒著落
有些專案太大,或是細分def後可能也無法理解
或著要把好的專案掰成錯誤率低的bug也掰不太出來
不知道有沒有大大神人有推薦的專案、source code能分享
或是可分享常見的邏輯錯誤模式供小弟自己寫出來
目前想不出有甚麼錯誤率低的計算...
小嫩先謝謝版上各位神人了
作者:
yimean (溫柔殺手)
2019-01-09 20:19:00windows上的日期長度會變動,如果用日期來做事會有1/3的結果是錯的,這樣可以嗎?
作者:
jiyu520 (不要鯽魚我)
2019-01-09 17:54:00有目標類型嗎? 另外也不見得每種test都有做到關於程式錯誤,你提的比較屬於其中一類> 你想找"有條件錯誤or計算錯誤在內的code"但github上如果是多人貢獻/協作/使用的專案除了原有的test外, 社群會協助提交錯誤修正或許可以到issue區去找一下open/closed的討論
找爆過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