内核驱动中PVOID转ULONGLONG及消除编译警告问题求助

1. 消除PVOID解引用为int的C6011警告 #

C6011警告源于直接解引用可能为空的指针，内核环境下空指针解引用会触发BSOD，必须先做有效性校验，同时确保内存访问安全。

基础修正版（非用户空间指针场景） #

int convert(PVOID val) 
{
    // 先检查指针非空，避免空指针解引用
    if (val == NULL) {
        // 根据业务需求返回错误值，示例返回0
        return 0;
    }
    // 显式转换为int指针后解引用
    int value = *((int*)val); 
    return value;
}

安全增强版（访问用户空间指针场景） #

如果val指向用户空间内存，必须用ProbeForRead做安全检查，防止非法内存访问导致BSOD：

int convert(PVOID val) 
{
    if (val == NULL) {
        return 0;
    }
    // 检查用户空间指针是否可安全读取int大小的内存
    __try {
        ProbeForRead(val, sizeof(int), __alignof(int));
    }
    __except(EXCEPTION_EXECUTE_HANDLER) {
        // 处理内存访问异常，示例返回-1
        return -1;
    }
    int value = *((int*)val); 
    return value;
}

2. 解决PVOID转ULONGLONG的类型不匹配警告与错误 #

C4047警告是指针与整数类型直接赋值导致的类型不匹配，内核中需用ULONG_PTR作为指针与整数转换的中间类型（其宽度与系统指针一致），再转为ULONGLONG，彻底消除警告。

修正后的比较函数 #

bool same(PVOID val, ULONGLONG otherVal) 
{
    // 先转ULONG_PTR保证宽度匹配，再转ULONGLONG
    ULONGLONG value = (ULONGLONG)(ULONG_PTR)val;
    return value == otherVal;
}

更简洁的比较方式 #

若仅需比较，直接用ULONG_PTR与otherVal转换后比较，更贴合指针宽度：

bool same(PVOID val, ULONGLONG otherVal) 
{
    return (ULONG_PTR)val == (ULONG_PTR)otherVal;
}

PVOID的十进制格式化输出 #

内核中可使用安全字符串函数RtlStringCbPrintf将指针值转为十进制字符串：

void printPVOIDDecimal(PVOID val) {
    char buf[32];
    ULONG_PTR ptrVal = (ULONG_PTR)val;
    // 安全格式化十进制字符串
    NTSTATUS status = RtlStringCbPrintfA(buf, sizeof(buf), "%llu", (ULONGLONG)ptrVal);
    if (NT_SUCCESS(status)) {
        DbgPrint("PVOID 十进制值: %s\n", buf);
    }
}

内容的提问来源于stack exchange，提问作者UnSure