BugScan probably competes with the @Stake tool, and works on object code:
http://www.hbgary.com/index.asp?G1=2G2=1
Coverity's tool is absolutely *outstanding* on C code. They plan to have
C++ support soon.
http://coverity.com/main.html
The Fortify tools (http://fortifysoftware.com) look good,
Greetings all,
FYI, it looks like we're at the beginning of a new wave of software security
tools. There's a few commercial products beginning to hit the market that
take static src code scanning to a new level. See the link below for a
LinuxWorld article that briefly (!) describes @stake's