CCCHECK(1) - manual page | User commands

Perform static code contracts verification for CLR assemblies.