At Microsoft, two main tools are widely used for code analysis: FXCop for managed code and PreFast for native C ++.
, , , 3-4 , , , .
, Vista Windows 3 , SAL - . Win7 , SAL- ( ). Win8 SAL . , PreFast ( VS 2010 Pro ), .
, CA ( CA ) - , , . , , . , , .