Тут не все так просто, есть официально признанные баги производителями софта и бывает глючная работа на noname железе. Очевидно, что второе не подпадает под ответственность, да и пользователь не докажет, что это баг софта (+)
А с багами нужно различать, есть критические баги (типа автоформатирование винта :)) и есть некритические. Очевидно, что при критических багах имеет смысл что-то узаконить, чтобы такие баги лучше выявлялись на бетта-версиях софта :)) А за некритические баги не должна быть ответственность, учитывая сложность софта.