attelle - En ligne dans le Cloud

PROGRAMME:

Nom

splint - Un outil pour vérifier statiquement les programmes C

SYNOPSIS

éclisse [choix]

DESCRIPTION

éclisse est un outil pour vérifier statiquement les programmes C pour les vulnérabilités de sécurité et
erreurs de programmation courantes. Avec un effort minimal, l'attelle peut être utilisée comme une meilleure peluche. Si
des efforts supplémentaires sont investis en ajoutant des annotations aux programmes, l'attelle peut être plus performante
contrôles que peut être fait par n'importe quelle charpie standard. Pour une documentation complète, installez l'attelle-
paquet Debian doc-html. Cette page de manuel ne couvre que quelques-unes des options disponibles.

OPTIONS

-Aide Affiche l'aide

Initialisation

Ces indicateurs contrôlent les répertoires et les fichiers utilisés par splint. Ils peuvent être utilisés à partir du
ligne de commande ou dans un fichier d'options, mais ne peut pas être utilisé comme commentaire de contrôle dans la source
code. Sauf indication contraire. ils ont la même signification précédés du - ou du +.

-tmprép annuaire
Définir le répertoire pour l'écriture des fichiers temporaires. La valeur par défaut est /tmp/.

-I annuaire
Ajouter un répertoire au chemin recherché pour les fichiers d'inclusion C. Notez qu'il n'y a pas d'espace après le
I, pour être cohérent avec les indicateurs du préprocesseur C.

-S annuaire
Ajoutez un répertoire au chemin de recherche des fichiers de spécification .lcl.

-f filet
Charger le fichier d'options . Si cet indicateur est utilisé à partir de la ligne de commande, la valeur par défaut
~/.splintrc le fichier n'est pas chargé. Ce drapeau peut être utilisé dans un fichier d'options à charger dans
un autre fichier d'options.

-nof Empêche les fichiers d'options par défaut (./.splintrc et ~/.splintrc) d'être chargé.
(Le paramètre -nof remplace +nof, ce qui entraîne le chargement normal des fichiers d'options.)

-répertoires système répertoires
Définir des répertoires pour les fichiers système (la valeur par défaut est "/ usr / include"). Répertoires séparés
avec deux points (par exemple, "/ usr / include:/ Usr / local / lib"). Les paramètres de drapeau se propagent aux fichiers
dans un répertoire système. Si -systemdirerrors est défini, aucune erreur n'est signalée pour les fichiers
dans les répertoires système.

Pré-processeur

Ces indicateurs sont utilisés pour définir ou annuler la définition des constantes du préprocesseur. le -je
flag est également passé au préprocesseur C.

-D initialiseur
Passé au préprocesseur C.

-U initialiseur
Passé au préprocesseur C

Bibliothèques Ces indicateurs contrôlent la création et l'utilisation des bibliothèques.

-déverser filet
Enregistrer l'état dans pour le chargement. L'extension par défaut .lcd est ajoutée si a
pas de prolongation.

-charge filet
Charger l'état de (créé par -dump). L'extension par défaut .lcd est ajoutée si
n'a pas d'extension. Un seul fichier de bibliothèque peut être chargé.

Par défaut, la bibliothèque standard est chargée si l'indicateur -load n'est pas utilisé pour charger un
bibliothèque utilisateur. Si aucune bibliothèque utilisateur n'est chargée, l'un des indicateurs suivants peut être utilisé
pour sélectionner une autre bibliothèque standard. Faire précéder le drapeau de + pour charger le
bibliothèque (ou empêcher le chargement d'une bibliothèque à l'aide de nolib). Voir l'annexe F pour
informations sur les bibliothèques fournies.

-nolib
Ne chargez aucune bibliothèque. Cela empêche le chargement de la bibliothèque standard.

-ansi-lib
Utilisez la bibliothèque standard ANSI (sélectionnée par défaut).

-strict-lib
Utilisez la version stricte de la bibliothèque standard ANSI.

-posix-lib
Utilisez la bibliothèque standard POSIX.

-posix-strict-lib
Utilisez la version stricte de la bibliothèque standard POSIX.

-1-lib
Utilisez la version UNIX de la bibliothèque standard.

-1-strict-lib
Utilisez la version stricte de la bibliothèque standard UNIX.

Sortie

Ces drapeaux contrôlent les informations supplémentaires imprimées par splint. Réglage +
provoque l'impression des informations décrites ; réglage - l'empêche. Par défaut,
tous ces drapeaux sont éteints.

-usestderr
Envoyer les messages d'erreur à l'erreur standard (au lieu de la sortie standard). Ce drapeau a été
remplacés par des drapeaux plus précis pour contrôler l'avertissement, le message d'état et fatal
les flux d'erreurs sont indépendants. Voir la sortie de splint +usestderr

-showrésumé
Afficher un résumé de toutes les erreurs signalées et supprimées. Nombre d'erreurs supprimées
ne sont pas nécessairement corrects car désactiver un indicateur peut empêcher certaines vérifications de
étant fait pour économiser le calcul, et les erreurs qui ne sont pas signalées peuvent se propager
différemment du moment où ils sont signalés.

-spectacle
Afficher les noms de fichiers au fur et à mesure qu'ils sont traités.

-showallus
Afficher la liste des utilisations de tous les identifiants externes triés par nombre d'utilisations.

-Statistiques
Affichage du nombre de lignes traitées et du temps de contrôle.

-timediste
Afficher la distribution des endroits où le temps de vérification est passé.

-silencieux
Supprimer le héraut et le nombre d'erreurs. (Si le silence n'est pas défini, l'attelle imprime un héraut
avec les informations de version avant le début de la vérification, et une ligne résumant le total
nombre d'erreurs signalées.)

-quellib
Imprimez le nom de fichier de la bibliothèque standard et les informations de création.

-limite nombre
Au plus des erreurs similaires sont signalées consécutivement. D'autres erreurs sont
supprimés et un message indiquant le nombre de messages supprimés est imprimé.

Attendu Erreurs

Normalement, l'attelle s'attend à ne signaler aucune erreur. Le statut de sortie sera succès (0) si
aucune erreur n'est signalée et un échec si des erreurs sont signalées. Les drapeaux peuvent être utilisés pour définir
le nombre attendu d'erreurs signalées. En raison de la suppression d'erreur fournie
mécanismes, ces options ne devraient probablement pas être utilisées pour la vérification finale de programmes réels mais
peut être utile pour développer des programmes utilisant make.

-attendre
Exactement des erreurs de code sont attendues. l'attelle sortira avec l'état de sortie d'échec
sauf si des erreurs de code sont détectées.

-Un message Format
Ces indicateurs contrôlent la façon dont les messages sont imprimés. Ils peuvent être définis en ligne de commande,
dans les fichiers d'options, ou localement dans les commentaires syntaxiques. Les drapeaux de toile et de limite peuvent
être précédé de + ou - avec la même signification ; pour les autres drapeaux, + active le
décrire l'impression et - la désactive. La case à gauche de chaque drapeau donne son
valeur par défaut.

-montrer la colonne
Afficher le numéro de colonne où l'erreur est trouvée. Par défaut : +

-showfunc
Afficher le nom de la définition de fonction (ou de macro) contenant l'erreur. Le nom de la fonction est
imprimé une fois avant le premier message détecté dans cette fonction. Par défaut : +

-showallconjs
Afficher tous les types alternatifs possibles (voir Section 8.2.2). Défaut: -

-format-de-fichier-paren
Utilisez le format de fichier (ligne) dans les messages.

-conseils
Fournir des conseils décrivant une erreur et comment un message peut être supprimé pour la première fois
erreur signalée dans chaque classe d'erreur. Par défaut : +

-des indices
Fournir des conseils pour toutes les erreurs signalées, même si le conseil a déjà été affiché
pour la même classe d'erreur. Défaut: -

-lin nombre
Définir la longueur maximale de la ligne de message sur personnages. l'attelle se divisera
messages plus longs que caractères longs sur plusieurs lignes. Par défaut : 80

Mode Sélecteur Drapeaux

Les indicateurs de sélection de mode définissent les indicateurs de contrôle de mode sur des valeurs prédéfinies. Ils fournissent un rapide
manière grossière de contrôler quelles classes d'erreurs sont signalées. Vérification spécifique
des indicateurs peuvent être définis après un indicateur de mode pour remplacer les paramètres de mode. Les drapeaux de mode peuvent être utilisés
localement, cependant, les paramètres de mode remplaceront les paramètres d'indicateur de ligne de commande spécifiques. UNE
un avertissement est produit si un indicateur de mode est utilisé après qu'un indicateur de vérification de mode a été défini.

Ce sont de brèves descriptions pour donner une idée générale de ce que fait chaque mode. Pour voir le
paramètres de drapeau complets dans chaque mode, utilisez les modes d'aide splint. Un indicateur de mode a le même
effet lorsqu'il est utilisé avec + ou -.

-faible Vérification faible, destinée au code C typique non annoté. Pas de vérification de modification, macro
la vérification, l'exposition des représentants ou la vérification de l'interface propre sont effectuées. Valeurs de retour de type
int peut être ignoré. Les types bool, int, char et les types enum définis par l'utilisateur sont tous
équivalent. Les déclarations à l'ancienne ne sont pas signalées.

-la norme
Le mode par défaut. Toutes les vérifications effectuées par faible, plus la vérification des modifications, alias global
vérifier, utiliser tous les paramètres, utiliser le stockage libéré, les valeurs de retour ignorées ou tout autre
type, vérification des macros, code inaccessible, boucles infinies et cas de panne. Les
les types bool, int et char sont distincts. Les déclarations à l'ancienne sont signalées.

-chèques
Contrôle modérément strict. Toutes les vérifications effectuées par la norme, plus la modification doit
vérification, exposition des représentants, alias de retour, gestion de la mémoire et interfaces complètes.

-stricte
Vérification absurdement stricte. Toutes les vérifications effectuées par des contrôles, plus les modifications et globales
variables utilisées dans des fonctions non spécifiées, bibliothèque standard stricte et typage strict
des opérateurs C. Une récompense spéciale sera remise à la première personne à produire un
programme réel qui ne produit aucune erreur avec une vérification stricte.

Utiliser une attelle en ligne à l'aide des services onworks.net