projects/kcrashlab

KCrashLab

以模拟为优先的 Windows 驱动程序可靠性研究平台，用于执行确定且可复现的实验。系统会规范化案例、续跑中断的实验、最小化保留精确签名的触发条件，并生成可供独立验证的证据包。

佐证

Canonical Case IR、种子化调度、append-only SQLite journal、精确签名、3/3 模拟重放、G3、E1、E2 与最小化记录、语义验证，以及跨平台 CI。

这是方便分享的精简页面；完整、可交互的版本在终端作品集里。