PClint,一个非常严格的C/C++编译器, 可以嵌入到VC.GCC等.它甚至能够检查出你C/C++代码中的内层泄漏问题,变量未初始化问题,不安全的使用指针等...微软公司把它作为代码检查工具,只有通过它才能正式发行-PClint, a very strict C / C compiler, can be embedded into VC.GCC so. It can even check out your C / C code in the inner leakage, uninitiali

Embedded system design using the TI MSP430 series (C. Nagy)