AdaControl es unas herramientas (GMGPL) libres que descubren el uso de varias clases de construcciones en los programas de Ada. AdaControls el primer objetivo es controlar el uso apropiado de estilo o reglas que programan, pero también puede estar usado como unas herramientas potentes para buscar el uso (o desuso) de varias formas de programar modelos de diseño o estilos. Los elementos buscados se extienden de muy simple, como el acontecimiento de entidades certaine, declaraciones, o declaraciones, a muy sofisticado, como la verificación que están obedeciendo a ciertos modelos de programación..

Qué elementos o las construcciones son buscados es definido por un conjunto de reglas; la tabla siguiente da un resumen corto de reglas actualmente revisó AdaControl. El número en paréntesis después del nombre de regla da el número de subreglas, si alguno. ¡Considerando todas las reglas posibles y subreglas, esto hace 216 pruebas que pueden ser realizadas actualmente por AdaControl!

· Abnormal_Function_Return Mandos un modelo de diseño que asegura que una función siempre devuelve un resultado.
· Mandos de Allocators ocurrences de allocators, todos ellos, o aquellos tipos especificados apuntadores.
· Array_Declarations (x2) Mandos varia métrica en declaraciones de matriz.
· Barrier_Expressions elementos de Mandos permitido en la expresión de barreras de entradas protegidas
· Case_Statement (x4) Mandos varia métrica por si declaraciones.
· Control_Characters acontecimientos de Mandos de carácteres de control (como paletas) en la fuente.
· Declaraciones (x75) acontecimientos de Mandos de ciertas declaraciones de Ada.
· Default_Parameter subprograma de Mandos llama e instantiations genéricos que usan (o no) el valor por defecto para un parámetro dado.
· Directly_Accessed_Globals Mandos un modelo de diseño que asegura que tienen acceso a todas las variables globales sólo por subprogramas dedicados.
· acontecimientos de Mandos de Entidades de cualquier entidad de Ada.
· Entity_Inside_Exception acontecimientos de Mandos de entidades dentro de tratantes de excepción.
· Exception_Propagation (x4) Mandos que los ciertos subprogramas (o tareas) no pueden propagar excepciones, o que ninguna elaboración puede propagar excepciones.
· Expresiones (x9) uso de Mandos de ciertas formas de expresiones
· Global_References Mandos no sincronizó accesos a variables globales.
· Header_Comments (x2) Mandos la presencia de comentarios al principio de cada módulo.
· If_For_Case Mandos si las declaraciones que podrían ser reemplazadas por declaraciones de caso.
· Mandos de Instantiations instantiations genérico, todos ellos, o aquellos aquel uso especificó entidades.
· Insufficient_Parameters Mandos el uso de parámetros posicionales en llamadas donde el valor no proporciona la información suficiente.
· Local_Hiding los acontecimientos de Mandos de los identificadores locales que esconden un externo idéntico.
· Local_Instantiation Mandos instantiations en alcances locales.
· Max_Blank_Lines Mandos el acontecimiento de más que un número especificado de líneas vacías consecutivas.
· Max_Call_Depth Mandos la profundidad máxima de llamadas de subprograma.
· Max_Line_Length Mandos longitud máxima de líneas de la fuente.
· Max_Nesting alcances de Mandos anidó más profundamente que un límite dado.
· Max_Parameters (x6) Mandos los números máximos de parámetros en entidades accesibles (procedimientos, funciones y entradas)
· Max_Statement_Nesting (x5) declaraciones de compuesto de Mandos anidó más profundamente que un límite dado.
· Movable_Accept_Statements declaraciones de Mandos que podrían ser movidas fuera de una declaración aceptar.
· Naming_Convention Mandos la forma de los permitidos (o prohibido) llama en declaraciones.
· No_Safe_Initialization Mandos un modelo de diseño que asegura que cualquier variable es iniciada antes de estar acostumbrada.
· Non_Static (x3) Mandos no expresiones estáticas en índice o coacciones discriminant, o en instantiations.
· Not_Elaboration_Calls llamadas de subprograma de Mandos funcionó de sitios fuera del código de elaboración de paquete.
· Other_Dependencies Mandos dependencias semánticas a otras unidades que aquellos indicados
· Parameter_Aliasing subprogramas de Mandos y entrada llama donde una variable es proporcionada a más de un [en] el parámetro.
· Potentially_Blocking_Operations Mandos el uso de operaciones potencialmente obstructoras desde dentro operaciones protegidas.
· Mandos de Pragmas el uso de pragmas específico.
· Real_Operators acontecimientos de Mandos de = o / = operadores en verdaderos tipos.
· Reduceable_Scope declaraciones de Mandos que podrían ser el movimiento a alcances más profundamente anidados.
· Representation_Clauses acontecimientos de Mandos de cláusulas de representación.
· Return_Type Mandos el uso de ciertas clases de tipos como tipos de devolución de funciones.
· Side_Effect_Parameters subprograma de Mandos llama e instantiations genéricos que llaman funciones con el efecto secundario, así creando una dependencia a la orden de evaluación.
· Silent_Exceptions tratantes de excepción de Mandos que no levantan de nuevo excepciones, ni llaman subprogramas indicados.
· Simplifiable_Expressions (x4) los acontecimientos de Mandos de las varias formas de expresiones que podrían ser simplificadas.
· Special_Comments Mandos la presencia de ciertos modelos de cuerda en comentarios.
· Declaraciones (x42) acontecimientos de Mandos de declaraciones de Ada.
· Estilo (x12) Mandos varias formas de construcciones generalmente recomendadas en reglas de estilo.
· Terminating_Tasks Mandos un modelo de diseño que asegura esto tareas nunca se termina.
· Uncheckable (x3) construcciones de Mandos que no son estáticamente checkable según otras reglas
· Unnecessary_Use_Clause Mandos usan cláusulas en paquetes, donde ningún elemento del paquete es mandado a dentro del ámbito de la cláusula de uso.
· Unsafe_Paired_Calls Mandos un modelo de diseño que asegura que las ciertas llamadas son allways emparejado (como procedimientos P/V).
· Unsafe_Unchecked_Conversion Mandos instantiations de Unchecked_Conversion entre tipos de tamaños diferentes o no especificados.
· Uso (x5) el uso de Mandos de objetos en ciertas condiciones (en especificaciones de paquete, lea, por escrito modificado...).
· Use_Clauses acontecimientos de Mandos de cláusulas de uso, excepto paquetes indicados.
· With_Clauses (x3) Mandos uso apropiado de con cláusulas.

Whats Nuevo en Esta Liberación:

· Esta liberación añade reglas de comprobar que los comentarios de cabecera emparejan un modelo dado.
· Esto tiene la indicación de positives falso posible y negativas falsas debido a construcciones no estáticamente analizables.
· hay una definición fina de construcciones permitidas en barreras de entrada (incluso el que del perfil de Ravenscar).
· hay mejor integración en GPS, y mucho más.