История изменений
Исправление
stevejobs,
(текущая версия)
:
то что они там проверяют вообще? Работу интерфейса?
уткание указателей в ведре, кривое использование очередей, затирание секретных данных memset'ом, намеренное переполнение буферов, переполнение массивов, переполнение типов, косяки с signed/unsigned, запись не того не туда, использование критически бажных библиотек итп.
а вот проверки самого алгоритма как последовательности определенных действий в смысле информации они [почти] не делают. Вера в то, что сам алгоритм был правильный, а косяки надо искать уже в самой низкоуровневой реализации.
Исходная версия
stevejobs,
:
то что они там проверяют вообще? Работу интерфейса?
уткание указателей в ведре, кривое использование очередей, затирание секретных данных memset'ом, намеренное переполнение буферов, переполнение массивов, переполнение типов, косяки с signed/unsigned, запись не того не туда, использование критически бажных библиотек итп.