以下哪项属于质量保证中用于发现代码逻辑错误的工具？

静态代码分析工具可以在不执行代码的情况下发现逻辑错误，而代码覆盖率工具则用于评估测试覆盖情况。