static-analysis
Installation
SKILL.md
静态分析
适用场景
- 提交前需要对代码进行静态分析,发现潜在缺陷。
- 汽车、医疗等行业需要 MISRA-C 2012 合规检查。
- 需要使用 cppcheck、clang-tidy 或 GCC
-fanalyzer进行代码质量审查。 - 需要对静态分析结果按严重级别分组查看摘要。
必要输入
- 源码目录路径。
- 至少一个可用的静态分析工具(cppcheck、clang-tidy 或 GCC 12+)。
- 可选的
compile_commands.json路径(提升 clang-tidy 准确性)。 - 可选的严重级别过滤和 MISRA 检查开关。
自动探测
Related skills
More from leokemp223/embed-ai-tool
stm32-hal-development
Develop STM32 firmware on CubeMX-generated HAL projects, including peripheral configuration, BSP driver structure, interrupt-safe code, and hardware-aware troubleshooting. Use when Codex needs STM32 HAL implementation guidance rather than generic C advice.
19debug-platformio
当需要通过 PlatformIO 内置调试功能对目标板进行 GDB 调试时使用,支持下载暂停、附加和崩溃现场分析。
16peripheral-driver
当需要为外部设备(传感器、存储器、显示屏等)开发 BSP 驱动时使用。提供开源驱动搜索策略、质量评估、代码适配工具和常见设备适配要点。
14serial-monitor
当需要识别正确串口、调用自带脚本抓取日志,并分析嵌入式固件运行状态时使用。
14visa-debug
当需要调试 GPIB/USB/TCP/Serial VISA 仪器通信时使用,支持 SCPI 命令收发、波形捕获、截图和持续监控。
14flash-openocd
当需要使用已探测或显式指定的产物与探针配置,调用自带脚本通过 OpenOCD 烧录嵌入式固件时使用。
14