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日 23:40