Code security scanning tool (SAST) to discover security risks
Postgres read replica optimized for analytics
The static code analysis tool you need for your HTML
Golang security checker
Datalog variant for tool designers crafting analyses in Horn clauses
Static analysis tool that can find insecure code patterns in code
A Ruby static code analyzer and formatter, based on the community Ruby
Vulnerability Patterns Detector for C# and VB.NET