大規模資料安全審查是做什麼的？

審查完整的資料路徑以確保生產行為在邊界內。回報以證據為基礎的發現、已確認的安全路徑、遺失的證據，以及已測試或未測試的限制。

運作規則

預設為唯讀。不修改程式碼、相依性、資料庫、生產設定或外部系統。
不安裝相依性。
切勿將遺失的證據視為安全的證明。將受影響的層級標記為「未驗證」。
若無執行時期、負載測試、查詢計畫或同等證據，不得聲稱支援某種規模。
將模式匹配視為候選項目，而非結論。在回報前，請先閱讀周圍的資料流程。
優先使用使用者範圍或目前的差異。限制探索、讀取、命令和輸出的範圍。

工作流程

1. 建立範圍

閱讀請求、儲存庫說明、命名檔案、目前差異以及直接的生產者和消費者。陳述已審查、已排除和遺失的層級。

2. 建立規模設定檔

記錄目前的資料量、設計限制、請求頻率、並行數、成長率、項目大小、互動目標和資源限制。若缺少數值，請將診斷假設與已確認的數值分開標記。

僅在使用者證據缺失時，才使用以下診斷探針：

10,000,000 筆儲存行。
100,000 筆匹配行。
100 個並發互動式請求。
頁面大小 100，硬性最大值 200。
100,000 筆邏輯表行，搭配有限的 DOM 行。
1,000,000 筆匯出或批次行。
10 倍成長。

3. 追蹤資料路徑

追蹤：

資料來源 -> 查詢/資料存取 -> 服務/工作 -> API/序列化 -> 狀態管理 -> 頁面/表格/匯出

說明哪些層級有證據支援。

4. 審查每一層

使用 references/review-checklist.md 進行跨堆疊審查。

僅在路徑包含 Vue、axios、vxe-table、瀏覽器狀態或資料密集型表格渲染時，才載入 references/vue2-axios-vxe-table.md。

僅在路徑包含 ASP.NET WebAPI、EF Core、LINQ、控制器、服務、儲存庫、匯出或背景工作時，才載入 references/dotnet-webapi-efcore.md。

預設情況下，不要載入所有參考。

檢查儲存/查詢範圍、具體化、投影、索引、穩定的分頁、負載大小、取消、逾時、有界並發、背壓、冪等性、重試、狀態拷貝、計算工作、DOM 大小、載入狀態和降級。

5. 驗證候選發現

針對每個候選項目：

找出成長中的輸入或並發維度。
確認過濾、投影、分頁、緩衝或渲染發生的位置。
檢查現有的硬性限制以及它們是否已測試。
追蹤取消、逾時、重試和錯誤傳播。
若程式碼可用，記錄確切的檔案和行號證據。
若上下文證明路徑是受限制的，則拒絕該候選項目。

6. 分類證據與嚴重性

證據狀態：

已確認：直接的程式碼、SQL、設定、測試、執行時期或設計證據。
可能：有強烈路徑證據，但缺少一個上游或下游的產物。
未驗證：必要的材料不可取得。

嚴重性：

P0：在可達路徑上，已確認的資料損毀、生產不可用或不受控制的資源耗盡。
P1：在已知或診斷規模下，可能發生的逾時、記憶體不足（OOM）、資料庫超載、嚴重互動失敗或不正確的結果。
P2：隨著資料量或並發數增長，發生有意義的效能下降，但當前仍有餘裕或存在替代路徑。
P3：缺少限制、可觀測性、測試或可維護性證據，且未展示出嚴重的失敗。

僅基於診斷假設，不得分配 P0 或 P1。將嚴重但缺乏支援的風險列為高優先級驗證項目。

7. 撰寫報告

載入 references/output-contract.md 並嚴格遵循。

每個發現必須包含：

嚴重性和證據狀態。
層級和穩定的根本原因程式碼。
證據位置。
觸發規模。
影響。
最小修復方案。
驗證方法。

僅在證據支持時，才列出已確認的安全路徑。

儲存庫與輸出限制

最多列舉 100,000 個路徑作為元資料；超過此數量則按目錄和副檔名縮小範圍。
每次內容掃描最多掃描 20,000 個原始檔案或 500 MiB 的文字，以先到者為準。
最多保留 500 個候選匹配；其餘聚合，並記錄被截斷的數量。
每輪掃描最多深入讀取 200 個候選檔案。
使用 60 秒的預設命令逾時；逾時後縮小範圍。
每個根本原因最多展開 50 個發現和 5 個代表性的證據位置。
跳過依賴項、生成的輸出、壓縮檔、二進位檔、建置目錄和大型縮小化檔案。
報告每一次的排除和截斷，包含原始數量、保留數量和原因。

遺失證據與失敗

僅限前端：審查前端，並產生未驗證的後端/API/資料庫合約。
僅限後端：審查後端，並將消費者渲染和互動標記為未驗證。
儲存庫過大：從差異、路由、客戶端、查詢、匯出和渲染進入點縮小範圍。
命令逾時：減少批次或路徑範圍，而不是反覆增加逾時時間。
文件與程式碼衝突：優先採用程式碼、測試、查詢計畫和執行時期證據；報告文件漂移。
敏感資料：不要重複機密或記錄；使用經過編輯的位置描述。

大規模資料安全審查