rt.safety.auditor
分析 C++ 程式碼中的即時安全性違規,包括音訊執行緒中的堆積記憶體分配、鎖定、阻塞呼叫及非確定性操作。
簡介
即時安全稽核員 (Real-Time Safety Auditor) 是一個專業的靜態分析代理,旨在執行 Orpheus SDK 生態系統內的關鍵並行性與記憶體限制。它專為必須維持嚴格「廣播級安全」效能標準的音訊軟體工程師與系統程式設計師所設計。透過識別導致音訊中斷、延遲抖動或優先權反轉的非確定性模式,此工具確保了對時間敏感的音訊處理路徑的穩定性。
該稽核員專注於音訊回呼 (如 processBlock、render 或 audioCallback 方法) 與傳輸邏輯的完整性。它系統性地掃描原始碼,以偵測通用軟體中常見、但對即時音訊執行緒來說是致命的禁止執行行為。對於致力於低延遲音訊引擎、外掛程式開發或嵌入式訊號處理,且具備確定性執行時間硬性需求的開發人員而言,此工具不可或缺。
-
偵測會觸發無限延遲的堆積記憶體分配 (new, malloc, calloc)。
-
識別導致優先權反轉的互斥鎖、自旋鎖及其他同步原語。
-
掃描會引入不可預測時間延遲的阻塞式 I/O 呼叫、系統呼叫或外部依賴項。
-
驗證樣本精確的時間計算模式,確保使用 64 位元原子操作而非浮點時間運算。
-
分析執行流程,以識別音訊渲染路徑中潛在的競爭條件或非確定性分支。
-
提供包含行號引用、影響說明與程式碼層級修正建議的目標稽核報告。
-
開發者應在進行程式碼審查、重構音訊處理模組或除錯零星音訊效能問題時啟用此技能。
-
該代理程式接收 C++ 原始碼檔案 (.cpp, .h, .hpp) 或目錄路徑作為輸入,並產出結構化的 Markdown 報告,區分關鍵違規與資訊警告。
-
嚴格限定於即時程式碼路徑使用;不應將其用於 UI 執行緒、建置指令碼或不需即時處理的公用程式,後者適用標準 C++ 實踐。
-
效能限制包括低於 5% 的誤報率,確保開發者僅接收可操作的高精度技術回饋。
倉庫統計
- Star 數
- 0
- Fork 數
- 0
- Open Issue 數
- 42
- 主要語言
- C++
- 預設分支
- main
- 同步狀態
- 閒置
- 最近同步時間
- 2026年5月3日 下午11:40