We have been using static analysis since 1990 and PC-lint since 1997. During that time we have produced app notes and scripts for interfacing PC-lint to many compiler IDE’s including IAR, Keil, Borland and Code Warrior
Intergrations and configuration files for IAR ARM, 78K, 8051, MSP430, AVR, RX and a generic set. The > Link to