113 lines
2.2 KiB
C
113 lines
2.2 KiB
C
|
/*++
|
||
|
|
|
||
|
|
Copyright (c) 2000 Microsoft Corporation
|
||
|
|
|
||
|
|
Module Name:
|
||
|
|
|
||
|
|
vfutil.c
|
||
|
|
|
||
|
|
Abstract:
|
||
|
|
|
||
|
|
This module implements various utilities required to do driver verification.
|
||
|
|
|
||
|
|
Author:
|
||
|
|
|
||
|
|
Adrian J. Oney (adriao) 20-Apr-1998
|
||
|
|
|
||
|
|
Environment:
|
||
|
|
|
||
|
|
Kernel mode
|
||
|
|
|
||
|
|
Revision History:
|
||
|
|
|
||
|
|
AdriaO 02/10/2000 - Seperated out from ntos\io\ioassert.c
|
||
|
|
|
||
|
|
--*/
|
||
|
|
|
||
|
|
#include "vfdef.h"
|
||
|
|
|
||
|
|
#ifdef ALLOC_PRAGMA
|
||
|
|
#pragma alloc_text(PAGEVRFY, VfUtilIsMemoryRangeReadable)
|
||
|
|
#endif // ALLOC_PRAGMA
|
||
|
|
|
||
|
|
// allow constructions like `((PCHAR)Address)++'
|
||
|
|
#pragma warning(disable:4213) // type cast on l-value
|
||
|
|
|
||
|
|
|
||
|
|
BOOLEAN
|
||
|
|
VfUtilIsMemoryRangeReadable(
|
||
|
|
IN PVOID Location,
|
||
|
|
IN size_t Length,
|
||
|
|
IN MEMORY_PERSISTANCE Persistance
|
||
|
|
)
|
||
|
|
{
|
||
|
|
while (((ULONG_PTR)Location & (sizeof(ULONG_PTR)-1)) && (Length > 0)) {
|
||
|
|
|
||
|
|
//
|
||
|
|
// Check to determine if the move will succeed before actually performing
|
||
|
|
// the operation.
|
||
|
|
//
|
||
|
|
if (MmIsAddressValid(Location)==FALSE) {
|
||
|
|
return FALSE;
|
||
|
|
}
|
||
|
|
|
||
|
|
if (Persistance == VFMP_INSTANT_NONPAGED) {
|
||
|
|
|
||
|
|
if (!MmIsNonPagedSystemAddressValid(Location)) {
|
||
|
|
|
||
|
|
return FALSE;
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
((PCHAR) Location)++;
|
||
|
|
Length--;
|
||
|
|
}
|
||
|
|
|
||
|
|
while (Length > (sizeof(ULONG_PTR)-1)) {
|
||
|
|
|
||
|
|
//
|
||
|
|
// Check to determine if the move will succeed before actually performing
|
||
|
|
// the operation.
|
||
|
|
//
|
||
|
|
if (MmIsAddressValid(Location)==FALSE) {
|
||
|
|
return FALSE;
|
||
|
|
}
|
||
|
|
|
||
|
|
if (Persistance == VFMP_INSTANT_NONPAGED) {
|
||
|
|
|
||
|
|
if (!MmIsNonPagedSystemAddressValid(Location)) {
|
||
|
|
|
||
|
|
return FALSE;
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
((PCHAR) Location) += sizeof(ULONG_PTR);
|
||
|
|
Length -= sizeof(ULONG_PTR);
|
||
|
|
}
|
||
|
|
|
||
|
|
while (Length > 0) {
|
||
|
|
|
||
|
|
//
|
||
|
|
// Check to determine if the move will succeed before actually performing
|
||
|
|
// the operation.
|
||
|
|
//
|
||
|
|
if (MmIsAddressValid(Location)==FALSE) {
|
||
|
|
return FALSE;
|
||
|
|
}
|
||
|
|
|
||
|
|
if (Persistance == VFMP_INSTANT_NONPAGED) {
|
||
|
|
|
||
|
|
if (!MmIsNonPagedSystemAddressValid(Location)) {
|
||
|
|
|
||
|
|
return FALSE;
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
((PCHAR) Location)++;
|
||
|
|
Length--;
|
||
|
|
}
|
||
|
|
|
||
|
|
return TRUE;
|
||
|
|
}
|
||
|
|
|