Este é o comando cccheck que pode ser executado no provedor de hospedagem gratuita OnWorks usando uma de nossas várias estações de trabalho online gratuitas, como Ubuntu Online, Fedora Online, emulador online do Windows ou emulador online do MAC OS
PROGRAMA:
NOME
cccheck - Executa a verificação de contratos de código estático para assemblies CLR.
SINOPSE
verificar --assembly = [opções]
DESCRIÇÃO
Execute a verificação de contratos de código estático para encontrar bugs e inconsistências entre o código
e especificação. Isso inclui análises de inteiros não nulos.
A montagem deve ter sido construída com o símbolo CONTRACTS_FULL definido, caso contrário o
chamadas para os métodos de contrato terão sido removidas pelo compilador.
Atualmente, apenas os métodos Contract.Assume () e Contract.Assert () são suportados. Apenas não
a análise nula é suportada, as análises consecutivas estão em desenvolvimento. Uma mensagem de erro
será mostrado se o cccheck não for capaz de processar todos ou alguns dos métodos especificados
montagem.
CONFIGURAÇÃO OPÇÕES
--conjunto
A montagem para realizar a verificação estática.
--depurar
Mostra informações de depuração sobre o processo de comprovar as afirmações. Mostra quatro
camadas de abstração, camada bruta, camada de pilha, camada de heap e
nível de expressão.
--method =
String para encontrar o método. Ele filtra todos os métodos na montagem onde o nome do método tem
este parâmetro como uma substring.
--Socorro Mostra ajuda para cccheck, listando opções de configuração.
EXEMPLOS
Suponha que você tenha um método:
Método void () {
objeto x = nulo;
int y = 1;
if (y% 2 == 1)
x = novo objeto ();
outro
x = nova string ();
Contrato.Assertar (x! = Nulo); }
Após a verificação a ferramenta terá os resultados no seguinte formato: “Asserção
em: [Subrotina: Bloquear PC ]:
é (verdadeiro | falso | não comprovado | inacessível) ". (PC é um contador de programa)
Use cccheck online usando serviços onworks.net
