代码审查

分析代码中的逻辑错误、错误处理问题和边界情况，检测越界错误、空值处理、竞态条件和错误路径。适用于审查核心业务逻辑或复杂算法。