35、应用验证器测试设置与调试技术全解析

网恋被骗八块八

于 2025-12-16 12:21:38 发布

阅读量24

点赞数

CC 4.0 BY-SA版权

分类专栏：掌握Windows调试的艺术文章标签： LuaPriv DangerousAPIs DirtyStacks

本文链接：https://blog.csdn.net/ipfs8storage/article/details/156044307

掌握Windows调试的艺术专栏收录该内容

37 篇文章 ¥499.90

订阅专栏¥69.90

会员秒杀 ¥9.9 重磅福利

超级会员免费看

应用验证器测试设置与调试技术全解析

1. LuaPriv 测试设置

LuaPriv 测试设置全称为有限用户账户预测器（Limited User Account Predictor），主要有两个用途：
- 预测应用程序是否能够以降低的权限集（如普通用户）运行。
- 确定应用程序在以降低的权限集（普通用户）运行时可能出现的问题。

2. DangerousAPIs 测试设置

Win32 中的许多 API 非常强大，使用时必须格外小心，以避免可能出现的问题。此测试设置用于检查对这些危险 API 的调用。默认情况下，所有与危险 API 相关的停止代码在触发时会导致调试器中断。具体停止代码如下：
| 停止代码 | 测试 | 描述 |
| — | — | — |
| 00000100 | TerminateThread | 如果应用程序使用 TerminateThread API 终止线程，则触发此停止，TerminateThread 很可能导致死锁和数据损坏等问题。 |
| 00000101 | 堆栈提交大小 | 如果应用程序的堆栈大小设置为在可能引发堆栈溢出异常的情况下（低内存条件）不允许堆栈增长，则触发此停止。 |
| 00000102 | ExitProcess | 如果应用程序使用 ExitProcess API 终止正在运行多个线程的进程，则触发此停止，ExitProcess 内部使用 TerminateThread API，可能导致稳定性问题。 |
| 00000103 | LoadLibrary | 如果应用程序在 DllMain 函数中调用 LoadLibrary，则触发此停止，从 DllMain 函数调用此 API 可能导致崩溃或死锁。 |
| 00000104 | FreeLibrary | 如果应用程序在 DllMain 函数中调用 FreeLibrary，则触发此停止，从 DllMain 函数调用此 API 可能导致崩溃或死锁。 |

此测试设置有一个可更改的属性（DllMainCheck），如果将此属性设置为 TRUE，则测试设置会捕获从 DllMain 到 LoadLibrary 或 FreeLibrary API 的任何调用。

3. DirtyStacks 测试设置

未初始化的堆栈变量，尤其是未初始化的堆栈指针，是常见的 bug 来源。为了捕获此类 bug，此测试设置会定期用特定模式填充堆栈的未使用部分。当应用程序尝试使用未初始化的变量时，由于访问被视为无效内存访问的填充模式初始化的内存，可能会导致访问冲突。此测试设置会引发异常而不是硬停止。

4. TimeRollOver 测试设置

在使用 GetTickCount 和 TimeGetTime API 时，开发人员必须处理溢出情况。为了测试溢出情况，需要能够快速触发溢出。此测试设置允许你控制溢出发生的时间，没有实际的停止代码，而是有一个名为 Delay 的测试设置属性，可以设置为指示溢出发生前延迟的秒数。

5. PrintAPI 和 PrintDriver 测试设置

在使用打印 API 时可能会出现许多问题，PrintAPI 测试设置和 PrintDriver 测试设置可以进行一系列测试，以确保正确使用这些 API。

6. 调试器相关内容

6.1 调试器类型与配置

用户模式调试器 ：配置包括将其附加到正在运行的进程（可非侵入式附加）、设置事件控制（如创建进程、线程等事件）、异常控制等。其事件处理遵循一定的顺序和机制，并且可以通过内核调试器重定向输出。
内核模式调试器 ：需要进行选择、配置和连接等操作，例如启用 Virtual PC 以支持内核模式调试。在 Windows Vista 中，其地址空间布局有特定特点。

6.2 调试器功能

代码断点 ：可以设置代码断点，包括条件断点，用于检测引用释放等情况。
代码执行跟踪 ：能够跟踪代码的执行过程，包括单步执行和跨函数执行等。
内存检查 ：可以检查内存内容、变量值等。
符号管理 ：涉及符号缓存、符号文件、符号服务器等的管理和使用。

6.3 调试命令

调试器有丰富的命令，如 !address 、 ba 、 d 、 dt 等，这些命令用于不同的调试目的，如查看地址信息、设置访问断点、查看内存内容、查看数据结构等。

6.4 调试场景

64 位调试 ：涉及 64 位操作系统、处理器和应用程序的调试，包括使用特定的调试工具和命令，处理内存腐败和安全问题等。
远程调试 ：需要使用调试服务器、内核服务器和进程服务器等，进行源文件和符号的解析。
内存腐败调试 ：包括内存腐败的检测过程（如使用检测工具、分析源代码等）和避免策略。
死锁调试 ：分析应用程序中的死锁问题，如检测和解决死锁的方法。

6.5 调试工具

Debug Diagnostic Tool ：可以设置崩溃规则、挂起规则和泄漏规则等，用于分析处理泄漏和内存泄漏等问题，还可以编写自定义分析脚本。
Application Verifier ：有多种测试设置，可用于检测应用程序的各种问题。

6.6 事件和异常处理

事件控制 ：用户模式调试器可以控制事件的发生和处理，包括事件的调整和检查。
异常控制 ：处理结构化异常分发机制，包括异常的调度和控制。

6.7 调试器扩展

可以编写自定义调试器扩展，包括 C++ 二进制树实现、代码组织、命令取消等功能，还需要进行初始化和版本管理。

7. 其他相关内容

7.1 安全相关

访问控制 ：涉及 Windows Vista 中的访问控制及其副作用，以及访问令牌的管理。
安全描述符 ：包括安全描述符的解码和分析。
安全标识符 ：应用程序对安全标识符的查询和使用。

7.2 数据结构和算法

堆分配 ：包括前端和后端分配器，以及内存块的分配和释放。
临界区 ：用于线程同步，包括临界区的管理和使用。

7.3 网络通信

进程间通信 ：有多种通信机制，如 LPC 协议，并且可以进行调试。
网络流量分析 ：使用工具进行网络流量的分析。

7.4 对话框相关

Dr. Watson 对话框 ：包含应用程序错误、崩溃转储、模块列表等信息。

7.5 代码示例

文档中还包含了许多代码示例，如汇编代码（ProcA 过程、Sum 函数等）、C++ 代码（如 C++ 二进制树实现）等，用于说明相关的概念和操作。

通过以上对各种测试设置和调试技术的介绍，可以帮助开发人员更好地进行应用程序的开发和调试，提高应用程序的稳定性和安全性。

8. 具体调试操作流程

8.1 启动调试流程

以下是一个使用调试器对应用程序进行调试的通用流程：

graph TD
    A[选择调试器类型] --> B{用户模式调试器}
    A --> C{内核模式调试器}
    B --> D[配置调试器]
    C --> E[选择、配置和连接内核调试器]
    D --> F[附加到运行进程或启动新进程]
    E --> F
    F --> G[设置断点和事件监控]
    G --> H[开始调试]
    H --> I{发现问题}
    I -->|是| J[分析问题并解决]
    I -->|否| K[结束调试]
    J --> H

8.2 调试过程中的操作步骤

设置断点
- 代码断点：使用调试器命令（如 bp ）在代码中指定位置设置断点。例如，要在函数 Func 入口处设置断点，可以使用 bp Func 命令。
- 条件断点：可以设置带有条件的断点，例如 bp Func "if (arg1 == 10) {g}" ，表示当参数 arg1 等于 10 时触发断点。
查看内存和变量
- 使用 d 命令查看内存内容，如 d 0x12345678 查看地址 0x12345678 处的内存。
- 使用 dv 命令查看局部变量值， dt 命令查看数据结构。
控制程序执行
- p 命令单步执行代码， t 命令进入函数内部单步执行。
- g 命令继续执行程序直到下一个断点。

8.3 调试不同场景的注意事项

64 位调试
- 确保使用支持 64 位调试的工具，如 Debugging Tools for Windows。
- 注意 64 位系统的内存布局和指针大小与 32 位系统的差异。
远程调试
- 配置好调试服务器、内核服务器和进程服务器，确保网络连接正常。
- 正确设置源文件和符号文件的路径，以便在调试时能够正确解析。
内存腐败调试
- 使用内存检测工具，如 Application Verifier 的相关测试设置。
- 分析源代码，查找可能导致内存腐败的问题，如越界访问、未初始化指针等。

9. 调试工具的使用技巧

9.1 Debug Diagnostic Tool

设置规则
- 崩溃规则 ：用于在应用程序崩溃时收集信息。可以设置崩溃触发条件，如特定的异常代码。
- 挂起规则 ：当应用程序无响应时触发，可收集进程的状态信息。
- 泄漏规则 ：监测内存泄漏和句柄泄漏等问题。
编写自定义分析脚本
- 可以使用脚本语言编写自定义分析脚本，对收集到的数据进行更深入的分析。例如，分析内存泄漏的具体对象和调用栈。

9.2 Application Verifier

选择测试设置
根据应用程序的特点和可能出现的问题，选择合适的测试设置。例如，如果应用程序涉及权限操作，可以启用 LuaPriv 测试设置。
查看测试结果
- 当测试设置触发停止代码时，查看日志文件中的停止代码和堆栈跟踪信息，分析问题所在。

9.3 调试器命令使用技巧

组合命令 ：可以将多个调试器命令组合使用，提高调试效率。例如，使用 !address;!heap 一次性查看地址信息和堆信息。
使用别名 ：为常用的命令或复杂的命令组合设置别名，方便快速输入。

10. 常见问题及解决方案

10.1 内存腐败问题

问题表现 ：应用程序崩溃、数据损坏等。
解决方案
- 使用内存检测工具，如 Application Verifier 检测内存越界、未初始化指针等问题。
- 对源代码进行静态分析，查找可能的内存操作错误。
- 增加内存边界检查代码，如使用 BUFFER_OVERFLOW_CHECKS 环境变量。

10.2 死锁问题

问题表现 ：应用程序无响应，线程无法继续执行。
解决方案
- 分析线程的调用栈，找出可能的死锁循环。
- 使用临界区和锁的正确管理方法，避免嵌套锁导致的死锁。

10.3 权限问题

问题表现 ：应用程序无法访问某些资源或执行某些操作。
解决方案
- 使用 LuaPriv 测试设置检测应用程序的权限需求，确保以正确的权限运行。
- 检查注册表项和文件的访问权限，确保应用程序有足够的权限。

11. 总结

通过对应用验证器的各种测试设置（如 LuaPriv、DangerousAPIs 等）以及调试器相关技术（包括调试器类型、功能、命令和调试场景等）的详细介绍，我们可以看到在应用程序开发和调试过程中，这些工具和技术能够帮助我们发现和解决各种问题，如内存腐败、死锁、权限问题等。同时，掌握调试工具的使用技巧和常见问题的解决方案，能够提高调试效率，确保应用程序的稳定性和安全性。在实际开发中，开发人员应根据应用程序的特点和需求，合理选择和使用这些工具和技术，不断优化应用程序的性能和质量。