Il s'agit de l'entrepreneur de commandes qui peut être exécuté dans le fournisseur d'hébergement gratuit OnWorks à l'aide de 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
D : - trouver des défauts dans le code C conditionnel
SYNOPSIS
entrepreneur [OPTIONS] <fichier..>
DESCRIPTION
I : entrepreneur de pompes funèbres v1.1+179-2bb9f3f-dirty 'undertaker' analyse le code C conditionnel avec
#ifdefs.
OPTIONS
-V informations sur la version imprimée
-v augmenter le niveau de log (plus verbeux)
-q diminuer le niveau de log (moins verbeux)
-m préciser le(s) modèle(s) (répertoire ou fichier)
-M spécifier le modèle principal
-w spécifier une liste blanche
-b spécifier une réserve de travail (mode batch)
-t spécifier le nombre de processus parallèles
-I ajouter un chemin d'inclusion pour les directives #include
-j préciser les travaux à effectuer
parfaite
analyse de fichiers morts/morts (par défaut)
couverture
analyse du fichier de couverture
cpppc
Conditions préalables du RPC pour l'ensemble du dossier
bloc pc : Bloquer condition préalable (format: :
)
symbole
Condition préalable du symbole (format )
expression de contrôle
Trouver une configuration qui satisfait l'expression
intéressant
Rechercher des éléments associés (les éléments annulés ne sont pas dans le modèle)
Couverture Options:
-O: spécifie le mode de sortie des configurations générées
kconfig
configuration partielle générée de kconfig (par défaut)
Stdout
imprimer sur stdout les configurations trouvées
cpp
imprimer sur stdout cpp -D arguments de ligne de commande
exec: cmd
fichier pipe pour chaque configuration vers cmd
modèle
imprimer toutes les options qui se trouvent dans l'espace de configuration
tous
vider chaque symbole attribué (à la fois les éléments et les blocs de code)
-C: spécifiez l'algorithme de couverture
simple
- algorithme relativement simple et rapide (par défaut)
min - lent mais génère moins de jeux de configuration
Spécification Fichiers:
Vous pouvez spécifier un ou plusieurs fichiers (le format est selon le travail (-j) qui
devrait être fait. Si vous spécifiez - en tant que fichier, l'entrepreneur chargera les modèles et la liste blanche
et lire les fichiers de stdin (interactif).
veuillez spécifier un fichier à analyser ou une liste de travail
`undertaker' analyse le code C conditionnel avec #ifdefs.
Utilisation : pompes funèbres [OPTIONS]
-V informations sur la version imprimée
-v augmenter le niveau de log (plus verbeux)
-q diminuer le niveau de log (moins verbeux)
-m préciser le(s) modèle(s) (répertoire ou fichier)
-M spécifier le modèle principal
-w spécifier une liste blanche
-b spécifier une réserve de travail (mode batch)
-t spécifier le nombre de processus parallèles
-I ajouter un chemin d'inclusion pour les directives #include
-j préciser les travaux à effectuer
parfaite
analyse de fichiers morts/morts (par défaut)
couverture
analyse du fichier de couverture
cpppc
Conditions préalables du RPC pour l'ensemble du dossier
bloc pc : Bloquer condition préalable (format: :
)
symbole
Condition préalable du symbole (format )
expression de contrôle
Trouver une configuration qui satisfait l'expression
intéressant
Rechercher des éléments associés (les éléments annulés ne sont pas dans le modèle)
Couverture Options:
-O: spécifie le mode de sortie des configurations générées
kconfig
configuration partielle générée de kconfig (par défaut)
Stdout
imprimer sur stdout les configurations trouvées
cpp
imprimer sur stdout cpp -D arguments de ligne de commande
exec: cmd
fichier pipe pour chaque configuration vers cmd
modèle
imprimer toutes les options qui se trouvent dans l'espace de configuration
tous
vider chaque symbole attribué (à la fois les éléments et les blocs de code)
-C: spécifiez l'algorithme de couverture
simple
- algorithme relativement simple et rapide (par défaut)
min - lent mais génère moins de jeux de configuration
Spécification Fichiers:
Vous pouvez spécifier un ou plusieurs fichiers (le format est selon le travail (-j) qui
devrait être fait. Si vous spécifiez - en tant que fichier, l'entrepreneur chargera les modèles et la liste blanche
et lire les fichiers de stdin (interactif).
Utiliser l'entreprise de pompes funèbres en ligne en utilisant les services onworks.net
