AdaControl est un outil (GMGPL) libre qui trouve l'utilisation de divers genres d'éléments dans des régimes d'ADA. Le premier but d'AdaControls est de contrôler l'usage approprié du type ou des règles de programmation, mais il peut également être employé car un puissant outil pour rechercher l'utilisation (ou le non-usage) de diverses formes des types ou des modèles de conception de programmation. Les éléments recherchés s'échelonnent très de simple, comme le cas des entités de certaine, déclarations, ou des rapports, très à sophistiqué, comme vérifier que certaines configurations de programmation sont obéies.

Quels éléments ou construit sont recherchés est défini par un ensemble de règles ; le tableau suivant donne un petit résumé des règles actuel vérifiées par AdaControl. Le numéro entre parenthèses après que le nom de règle donne le nombre de subrules, le cas échéant. Considérant tous les règles et subrules possibles, ceci effectue 216 essais qui peuvent être réalisés actuel par AdaControl !

· Abnormal_Function_Return contrôle un modèle de conception qui s'assure qu'un fonctionnement renvoie toujours un résultat.
· Les programmes d'allocation contrôle des ocurrences des programmes d'allocation, tous, ou ceux qui visent les types spécifiques.
· Array_Declarations (x2) contrôle plusieurs métrique dans des conventions de matrice.
· Les éléments de contrôles de Barrier_Expressions ont permis dans l'expression des barrages d'entrées protégés
· Case_Statement (x4) contrôlerait plusieurs métrique au cas où des rapports.
· Control_Characters contrôle des cas des caractères de commande (comme des languettes) dans la source.
· Les déclarations (x75) contrôle des cas de certaines déclarations d'ADA.
· Default_Parameter contrôle les appels de sous-programme et les instanciations génériques qui emploient (ou pas) la valeur par défaut pour un paramètre donné.
· Directly_Accessed_Globals contrôle un modèle de conception qui s'assure que toutes les variables mondiales sont consultées seulement par les sous-programmes spécifiques.
· Cas de contrôles d'entités de toute entité d'ADA.
· Entity_Inside_Exception contrôle des cas des entités à l'intérieur des gestionnaires d'exception.
· Contrôles d'Exception_Propagation (x4) que certains sous-programmes (ou tâches) ne peuvent pas propager des exceptions, ou qu'aucune élaboration ne peut propager des exceptions.
· Les expressions (x9) contrôle l'usage de certaines formes des expressions
· Global_References contrôle des accès non synchronisés aux variables mondiales.
· Header_Comments (x2) contrôle la présence des commentaires au début de chaque module.
· Contrôles d'If_For_Case si rapports qui pourraient être remplacés par des rapports de cas.
· Les instanciations contrôle des instanciations génériques, tous, ou ceux qui emploient les entités spécifiques.
· Insufficient_Parameters contrôle l'utilisation des paramètres positionnels dans les appels où la valeur ne fournit pas des informations suffisantes.
· Local_Hiding contrôle des cas des identificateurs locaux qui cachent extérieur identique.
· Local_Instantiation contrôle des instanciations dans des étendues locales.
· Max_Blank_Lines contrôle le cas de plus qu'un numéro spécifique des lignes vides consécutives.
· Max_Call_Depth contrôle la profondeur maximum des appels de sous-programme.
· Max_Line_Length contrôle la longueur maximale des lignes de source.
· Les étendues de contrôles de Max_Nesting se sont emboîtées plus profondément qu'une limite indiquée.
· Max_Parameters (x6) contrôle les nombres maxima de paramètres dans les entités accessibles (procédures, fonctionnements et entrées)
· Les rapports composés de contrôles de Max_Statement_Nesting (x5) se sont emboîtés plus profondément qu'une limite donnée.
· Ordres de contrôles de Movable_Accept_Statements qui pourraient être extérieur déplacé par rapport de recevoir.
· Naming_Convention contrôle la forme (ou interdit) des noms permis dans les déclarations.
· No_Safe_Initialization contrôle un modèle de conception qui s'assure que la variable est initialisée avant d'être employé.
· Non_Static (x3) contrôle des expressions non statiques dans l'index ou les contraintes de discriminant, ou dans les instanciations.
· Not_Elaboration_Calls contrôle des appels de sous-programme exécutés des places en dehors de code d'élaboration d'ensemble de mesures.
· Other_Dependencies contrôle des dépendances sémantiques à d'autres ensembles que ceux indiqués
· Parameter_Aliasing contrôle des sous-programmes et des appels d'entrée où une variable est fournie à plus d'un [dedans] à l'extérieur paramètre.
· Potentially_Blocking_Operations contrôle l'utilisation de bloquer potentiellement des fonctionnements des fonctionnements protégés.
· Les pragmas contrôle l'utilisation des pragmas particuliers.
· Real_Operators contrôle des cas de = ou des conducteurs de/= sur les types réels.
· Reduceable_Scope contrôle les déclarations qui pourraient être mouvement aux étendues plus profondément emboîtées.
· Representation_Clauses contrôle des cas des clauses de représentation.
· Return_Type contrôle l'utilisation de certains genres de types en tant que types de renvoi de fonctionnements.
· Side_Effect_Parameters contrôle les appels de sous-programme et les instanciations génériques qui appellent des fonctionnements avec l'effet secondaire, de ce fait produisant une dépendance à la commande de l'évaluation.
· Silent_Exceptions contrôle les gestionnaires d'exception qui ne font pas des exceptions de reraise ni des sous-programmes indiqués par appel.
· Simplifiable_Expressions (x4) contrôle des cas de diverses formes des expressions qui pourraient être simplifiées.
· Special_Comments contrôle la présence de certaines configurations de chaîne de caractères dans les commentaires.
· Les rapports (x42) contrôle des cas des rapports d'ADA.
· Dénommer les diverses formes des contrôles (X12) des éléments généralement recommandés dans des règles de type.
· Terminating_Tasks contrôle un modèle de conception qui s'assure que les tâches ne mettent jamais fin.
· Uncheckable (x3) contrôle les éléments qui ne sont pas statiquement vérifiables par d'autres règles
· Les contrôles d'Unnecessary_Use_Clause emploient des clauses sur des ensembles de mesures, où aucun élément de l'ensemble de mesures n'est mentionné dans l'étendue de la clause d'utilisation.
· Unsafe_Paired_Calls contrôle un modèle de conception qui s'assure que certains appels sont des allways appareillés (comme des procédures de P/V).
· Unsafe_Unchecked_Conversion contrôle des instanciations d'Unchecked_Conversion entre les types de différentes ou non spécifiées tailles.
· L'usage (x5) contrôle l'usage des objectifs dans certaines conditions (dans des caractéristiques d'ensemble de mesures, affiché, sauvées modifié…).
· Use_Clauses contrôle des cas des clauses d'utilisation, excepté les ensembles de mesures indiqués.
· With_Clauses (x3) contrôle l'usage approprié de avec des clauses.

Ce qu'il y a de neuf dans ce desserrage :

· Ce desserrage ajoute des règles pour vérifier que l'en-tête commente allumette une configuration donnée.
· Il a le signe des faux positifs possibles et des faux négatifs dus aux éléments non-statically analysables.
· Il y a une définition fine des éléments permis dans des barrages d'entrée (les y compris du profil de Ravenscar).
· Il y a bonne intégration dans le GPS, et beaucoup plus.