www.scitools.com

      Explicit
A static analysis tool for maintaining, measuring, and analyzing critical or large code bases.

URLs from www.scitools.com: