SonarSource Static Analyzer for Java Code Quality and Security
Code analyzer for C# and VB.NET projects
Continuous inspection
Bandit is a tool designed to find common security issues in Python
Code security scanning tool (SAST) to discover security risks
A tool for static analysis to look for bugs in Java code
Kubernetes object analysis with recommendations
Datalog variant for tool designers crafting analyses in Horn clauses
Libraries for Analysis, with frontends for Java, Android, and JS
Catch common Java mistakes as compile-time errors
A static code analysis tool for the Elixir language
Golang security checker
Static code analysis
Client library for using AWS IoT Jobs service on embedded devices
Vulnerability Patterns Detector for C# and VB.NET
A static analysis tool for securing Go code
static code analysis tool for Java
A set of PHP_CodeSniffer rules that finds vulnerabilities
Free Static Code Analysis Tool for PHP Applications
Automatic correction of software bugs and grammar mistakes
Code Difference report