Вебинар: Использование статических анализаторов кода при разработке безопасного ПО - 19.12
Использование неинициализированной памяти — одна из наиболее часто совершаемых ошибок в языках с ручным управлением памятью. Суть её состоит в чтении данных из буфера, который был выделен, но не заполнен начальными значениями. Такое поведение программы является ошибкой, которую иногда трудно выявить. Это так называемая "плавающая ошибка". Её проявление может зависеть от используемой версии компилятора или операционной системы, а также от запуска "отладочной" или "релизной" сборки.
Чаще всего причинами возникновения ошибки служат неправильный порядок инициализации или ошибки синхронизации в многопоточном приложении. Независимо от конкретной причины, это приводит к тому, что данные начинают использоваться до того, как были инициализированы.
Рассмотрим пример такой ошибки:
dgCollisionCompoundBreakable::dgCollisionCompoundBreakable(....)
{
....
dgInt32 faceOffsetHitogram[256];
dgSubMesh* mainSegmenst[256];
....
memset(faceOffsetHitogram, 0, sizeof(faceOffsetHitogram));
memset(mainSegmenst, 0, sizeof(faceOffsetHitogram));
....
}
Ошибка заключается в неполной инициализации массива mainSegmenst. Во втором вызове функции memset ошиблись в третьем аргументе и передали размер массива faceOffsetHitogram. В итоге код будет работать корректно только при его компиляции на 32-битную платформу, где размер указателя совпадает с размером типа dgInt32. При компиляции на 64-битную платформу программа будет работать некорректно.
Список источников
0