Gimpel's PC-Lint, and the source code distribution of the same, dubbed FlexeLint are among the most powerful and flexible static code analyzers for C & C++ on the market.  In addition to checking for software defects and unsafe coding practices, PC-Lint can enforce many coding style standards, even indentation and brace structure. There are literally hundreds of rules which can be enabled/disabled either individually or in groups.   Profiles are available which allow the implementation of entire rule-sets, such as those listed in Scott Meyer's Effective C++ or in the MISRA C standard.

SPLint is a powerful static analysis tool for C, from University of Virginia's Secure Programming Group.  It began life as a tool to aid in lightweight formal methods development, and it sustains those capabilities in its current incarnation.  While SPLint's powerful analysis can be used to detect defects and issues in any ANSI compliant C source code, its power does not end there.

Enterprise Architect (EA) from Sparx Systems Ltd. of Australia is a powerful modeling tool for software and process modeling. It supports UML 2.0, and can even perform some extent of code generation using concepts of the OMG's Model-Driven Architecture (MDA).