freescale如何用pclint进行测试

pclint连接keil没有问题，可以进行正常静态测试。那么对于KDS或者codewarrior可以使用pclint去进行测试么，如要配置什么？如果不可以，那有没有什么好的静态测试工具可以应用在KDS，codewarrior上的？