Question: Do you know of a code review tool that can detect logical problems like race conditions and unhandled edge cases?

If you want a code review tool that'll catch logical problems like race conditions and unhandled edge cases, SonarCloud is a good option. It can automatically analyze code in more than 30 programming languages and frameworks, and it can connect to services like GitHub, Bitbucket and Azure DevOps. SonarCloud's features like clear quality gates, rapid analysis and actionable results mean you can get a good code review and security check.

Another good option is Metabob, an AI-based coding assistant that uses graph-attention networks and generative AI for code review, refactoring and debugging. It spots complex coding problems and can provide context-aware explanations and fixes, making it a good tool for maintaining legacy code, understanding new code and checking AI-generated code. Metabob also offers AI code review, software security scanning and integration with common development tools.

If you're a GitHub user, Korbit automates code review by providing immediate feedback on pull requests. It works with GitHub workflows, providing code quality information, project status updates and developer performance monitoring. Korbit has a track record of reviewing thousands of pull requests and spotting hundreds of problems, so it's a good option for improving code quality and productivity.

Last, you could look at CodeReviewBot, which uses AI to review code and warn of potential problems in GitHub pull requests. It can provide detailed feedback and suggestions, and it integrates with GitHub for fast and efficient code reviews. It's designed to handle the more routine parts of code review so your team can concentrate on new features and harder problems.