Level Access Platform
Digital accessibility testing, remediation and compliance reporting platform
AppPerfect Java Code Test
Static analysis of Java and JSP source code (end of life)
Binary Analysis Tool
Framework for inspecting binary code for open source licence compliance (legacy)
BLAST
Software model checker for C programs based on lazy abstraction
Brakeman
Static analysis security scanner for Ruby on Rails applications
Checkstyle
Static analysis tool checking Java source code against coding standards