Il s'agit de la commande cccheck qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos nombreux postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
cccheck - Effectue une vérification des contrats de code statique pour les assemblys CLR.
SYNOPSIS
cccheck --assemblage= [choix]
DESCRIPTION
Effectuer une vérification des contrats de code statique pour trouver des bogues et des incohérences entre le code
et spécification. Cela comprend les analyses d'entiers non nuls.
L'assemblage doit avoir été construit avec le symbole CONTRACTS_FULL défini, sinon le
les appels aux méthodes du contrat auront été supprimés par le compilateur.
Actuellement, seules les méthodes Contract.Assume() et Contract.Assert() sont prises en charge. Seules les méthodes non
L'analyse nulle est prise en charge ; les analyses consécutives sont en cours de développement. Un message d'erreur s'affiche.
sera affiché si cccheck n'est pas en mesure de traiter tout ou partie des méthodes spécifiées
Assemblée.
CONFIGURATION OPTIONS
--Assemblée
L'assemblage pour effectuer la vérification statique.
--déboguer
Affiche les informations de débogage concernant le processus de vérification des assertions. Il en affiche quatre.
couches d'abstraction, couche brute, couche de pile, couche de tas et couche substituée
niveau d'expression.
--méthode=
Chaîne de recherche de méthode. Filtre toutes les méthodes de l'assembly où le nom de la méthode a été défini.
ce paramètre comme une sous-chaîne.
--Aidez-moi Afficher l'aide pour cccheck, répertoriant les options de configuration.
EXEMPLES
Supposons que vous ayez une méthode :
Méthode void() {
objet x = nul ;
int y = 1;
si (y % 2 == 1)
x = nouvel objet();
d'autre
x = nouvelle chaîne();
Contrat.Assert(x != null); }
Après la vérification, l'outil aura des résultats au format suivant : « Assertion
à : [Sous-routine : Bloc PC ] :
est (vrai|faux|non prouvé|inatteignable)". (PC est un compteur de programme)
Utilisez cccheck en ligne à l'aide des services onworks.net
