SourceMeter
Static source code analysis for C/C++, Java, C#, Python and RPG
Sparse
Semantic parser and static analyzer for C
SpiraTeam
Application lifecycle management platform
SpiraTest
Test management with requirements traceability and bug tracking
Splint
Static checking of C programs for security and coding mistakes
SPUnit
Unit testing framework for SQL Server stored procedures