Il s'agit de la commande cpbm qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples 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
cpbm - une boîte à outils d'analyse de logiciels (à l'origine : cadre d'analyse comparative CPROVER)
SYNOPSIS
CPBM sous-commande [Options]
DESCRIPTION
Cette page de manuel documente brièvement les CPBM commander.
CPBM donne accès à une collection de scripts et d'outils pour comparer les analyses de logiciels
outils.
SOUS-COMMANDES
Les sous-commandes suivantes sont disponibles ; chacun d'eux a son propre ensemble d'options qui sont
montré par CPBM commander --Aidez-moi.
aider | --Aidez-moi
Affichez le texte d'aide de cpbm.
--version
Afficher la version actuelle.
foyer Imprimez le chemin où résident les scripts cpbm.
déballer Déballez un package de référence CPROVER.
Mise à jour Mettre à jour un package de référence CPROVER.
init Créez un package de référence CPROVER.
courir Exécutez un outil de vérification sur un benchmark donné et obtenez des logs.
cillifier
Exécutez les sources C via Cil.
liste-revendications
Répertoriez toutes les réclamations dans un benchmark.
csv Produire un tableau CSV à partir d'exécutions de référence.
table Produire une table LaTeX à partir de CSV.
graphique Produisez des scripts GNUplot pour les diagrammes en boîte et en nuage de points.
web Générer un tableau HTML et collecter des fichiers journaux pour la publication Web
Utiliser cpbm en ligne à l'aide des services onworks.net
