Анализ проблем верификации драйверов Windows - page 4

Н.Г. Ершов
,
Н.Ю. Рязанова
4
Рис. 1.
Функция, моделирующая выход за пределы страницы
собирать код без оптимизации. Объект блокировки инициализируется,
затем выделяется страница в памяти и тут же освобождается. Далее
процесс входит в режим блокировки и выполняет цикл чтения, обра-
щаясь за пределы области памяти выделенной страницы. Возникает
страничное исключение, и защитный механизм операционной систе-
мы организует ее крах.
Системная функция KeBugCheckEx() в момент краха возвращает
ошибку DRIVER_IRQL_NOT_LESS_OR_EQUAL, однако не опреде-
ляет локализацию ошибки. Анализируя каждую строку стека
1,2,3 5,6,7,8,9,10,11,12
Powered by FlippingBook