SonarSource Static Analyzer for Java Code Quality and Security
Code analyzer for C# and VB.NET projects
Continuous inspection
Golang security checker
Code security scanning tool (SAST) to discover security risks
A tool for static analysis to look for bugs in Java code
Static code analysis
Bandit is a tool designed to find common security issues in Python
Datalog variant for tool designers crafting analyses in Horn clauses
Client library for using AWS IoT Jobs service on embedded devices
Catch common Java mistakes as compile-time errors
Kubernetes object analysis with recommendations
Libraries for Analysis, with frontends for Java, Android, and JS
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