projects/kcrashlab

KCrashLab

以模擬為優先的 Windows 驅動程式可靠性研究平台，用於執行確定且可重現的實驗。系統會標準化案例、續跑中斷的實驗、最小化保留精確簽章的觸發條件，並產生可供獨立驗證的證據包。

佐證

Canonical Case IR、種子化排程、append-only SQLite journal、精確簽章、3/3 模擬重播、G3、E1、E2 與最小化紀錄、語意驗證，以及跨平台 CI。

這是方便分享的精簡頁面；完整、可互動的版本在終端作品集裡。