工程開發
rt.safety.auditor avatar

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
在 GitHub 查看