cccheck (1) Linux Manual Page
cccheck – Perform static code contracts verification for CLR assemblies. Synopsiscccheck –assembly=<assembly> [options] DescriptionPerform static code contracts verification to find bugs and inconsistences between code and specification. This includes non-null, integer analyses. The assembly must have been built with the symbol CONTRACTS_FULL defined, otherwise the calls to the contract methods will have been removed by…
