Kubernetes object analysis with recommendations
Code security scanning tool (SAST) to discover security risks
Security scanner for your Terraform code
Datalog variant for tool designers crafting analyses in Horn clauses
Static code analysis for Freepascal
Free Static Code Analysis Tool for PHP Applications
Static code analysis to find violations in a dependency graph
Automatic correction of software bugs and grammar mistakes
A scripting language for industrial software
Code Difference report
Automation unit testing tool for C & C++ on Linux platform