Gimpel Software
FlexeLint for C/C++
FlexeLint for C(tm)