AdaControl ist ein freies Werkzeug (GMGPL), das den Gebrauch von verschiedenen Arten des Konstruierens in den Ada-Programmen aufspürt. AdaControls erstes Ziel ist, korrekten Verbrauch der Art oder der programmierenrichtlinien zu steuern, aber es kann auch verwendet werden da ein leistungsfähiges Werkzeug, um nach Gebrauch (oder Nichtanwendung) von verschiedenen Formularen der programmierenarten zu suchen oder Muster zu konzipieren. Suchelemente reichen von sehr einfachem, wie dem Vorkommen der certaine Körperschaften, Anmeldungen oder der Anweisungen, bis zu sehr hoch entwickeltem, wie dem Überprüfen, dass bestimmte programmierenmuster. befolgt.

Welche Elemente oder konstruiert, gesucht definiert durch Regeln; der folgende Tisch gibt eine kurze Zusammenfassung der Richtlinien, die aktuell von AdaControl überprüft. Die Zahl in Klammern nachdem der Richtlinienname die Zahl subrules gibt, wenn überhaupt. In Betracht aller möglichen Richtlinien und subrules bildet dieses 216 Prüfungen, die von AdaControl aktuell durchgeführt werden können!

· Abnormal_Function_Return steuert ein Auslegungmuster, das garantiert, dass eine Funktion immer ein Resultat zurückbringt.
· Zuweisungsprogramme steuert ocurrences der Zuweisungsprogramme, entweder alle oder die, die spezifizierte Typen zielen.
· Array_Declarations (x2) steuert einige Metriken in den Matrixvereinbarungen.
· Barrier_Expressions Bediengeräteelemente ließen im Ausdruck der geschützten Eingabensperren
· Case_Statement (x4) steuert einige Metriken falls Anweisungen.
· Control_Characters steuert Vorkommen der Steuerzeichen (wie Tabulatoren) in der Quelle.
· Anmeldungen (x75) steuert Vorkommen bestimmter Ada-Anmeldungen.
· Default_Parameter steuert Unterprogrammaufrufe und generische Instantiations, die (oder nicht) den Standardwert für einen gegebenen Parameter verwenden.
· Directly_Accessed_Globals steuert ein Auslegungmuster, das garantiert, dass alle globalen Variablen nur durch engagierte Unterprogramme erreicht.
· Körperschaft-Bediengerätevorkommen irgendeiner Ada-Körperschaft.
· Entity_Inside_Exception steuert Vorkommen der Körperschaften innerhalb der Ausnahmezufuhren.
· Exception_Propagation (x4) Bediengeräte, denen bestimmte Unterprogramme (oder Aufgaben) Ausnahmen nicht verbreiten können oder, denen keine Ausarbeitung Ausnahmen verbreiten kann.
· Ausdrücke (x9) steuert Verbrauch bestimmter Formulare von Ausdrücken
· Global_References steuert unsynchronisierte Zugriff zu den globalen Variablen.
· Header_Comments (x2) steuert das Vorhandensein des Kommentars beim Anfang jeder Baugruppes.
· If_For_Case Bediengeräte wenn Anweisungen, die durch Fallanweisungen ersetzt werden konnten.
· Instantiations steuert generische Instantiations, entweder alle oder die, die spezifizierte Körperschaften verwenden.
· Insufficient_Parameters steuert den Gebrauch von positionsgebundenen Parametern in den Aufrufen, in denen der Wert nicht genügende Informationen liefert.
· Local_Hiding steuert Vorkommen der lokalen Kennungen, die ein identisches äußeres verstecken.
· Local_Instantiation steuert Instantiations in den lokalen Bereichen.
· Max_Blank_Lines steuert das Vorkommen von mehr als eine spezifizierte Anzahl von nachfolgenden leeren Leitungen.
· Max_Call_Depth steuert die maximale Tiefe der Unterprogrammaufrufe.
· Max_Line_Length steuert maximale Länge der Programmzeilen.
· Max_Nesting Bediengerätebereiche verschachtelten tiefer als eine festgesetzte Begrenzung.
· Max_Parameters (x6) steuert die Höchstzahlen von Parametern in den abrufbaren Körperschaften (Prozeduren, Funktionen und Eingaben)
· Max_Statement_Nesting (x5) zusammengesetzte Anweisungen der Bediengeräte verschachtelten tiefer als eine festgesetzte Begrenzung.
· Movable_Accept_Statements Steueranweisungen, die verschobene Außenseite ein annehmenanweisung sein konnten.
· Naming_Convention steuert das Formular der erlaubten (oder verboten) Namen in den Anmeldungen.
· No_Safe_Initialization steuert ein Auslegungmuster, das garantiert, dass irgendwie Variable initialisiert, bevor man verwendet.
· Non_Static (x3) steuert nicht statische Ausdrücke in der Anzeigemarke oder in den diskriminierenden Begrenzungen oder in den Instantiations.
· Not_Elaboration_Calls steuert die Unterprogrammaufrufe, die von den Plätzen außerhalb des Paketausarbeitungcodes durchgeführt.
· Other_Dependencies steuert semantische Abhängigkeiten zu anderen Geräten als angezeigte die
· Parameter_Aliasing steuert Unterprogramme und Eingabenaufrufe, in denen eine Variable zu mehr als einem [innen] heraus Parameter zur Verfügung gestellt.
· Potentially_Blocking_Operations steuert den Gebrauch von Arbeitsweisen von innerhalb geschützten Arbeitsweisen möglicherweise blocken.
· Pragmas steuert den Gebrauch von spezifischen Pragmas.
· Real_Operators steuert Vorkommen von = oder/= Bediener auf realen Typen.
· Reduceable_Scope steuert Anmeldungen, die Bewegung zu tiefer verschachtelten Bereichen sein konnten.
· Representation_Clauses steuert Vorkommen der Darstellungsklauseln.
· Return_Type steuert den Gebrauch von bestimmten Arten der Typen als Rückholtypen von Funktionen.
· Side_Effect_Parameters steuert die Unterprogrammaufrufe und generische Instantiations, die Funktionen mit Nebenwirkung rufen und so erstellen eine Abhängigkeit zur Ordnung der Auswertung.
· Silent_Exceptions steuert Ausnahmezufuhren, die nicht reraise Ausnahmen noch Aufruf angezeigte Unterprogramme tun.
· Simplifiable_Expressions (x4) steuert Vorkommen der verschiedenen Formulare der Ausdrücke, die vereinfacht werden konnten.
· Special_Comments steuert das Vorhandensein bestimmter Zeichenkettemuster im Kommentar.
· Anweisungen (x42) steuert Vorkommen der Ada-Anweisungen.
· (X12) des Konstruierens anreden verschiedene Formulare der Bediengeräte, das im Allgemeinen in Artrichtlinien empfohlen.
· Terminating_Tasks steuert ein Auslegungmuster, das garantiert, dass Aufgaben nie abbrechen.
· Uncheckable (x3) steuert Konstruieren, das nicht statisch durch andere Richtlinien checkable sind
· Unnecessary_Use_Clause Bediengeräte verwenden Klauseln auf Paketen, in denen kein Element des Pakets innerhalb des Bereichs der Gebrauchklausel angesprochen.
· Unsafe_Paired_Calls steuert ein Auslegungmuster, das garantiert, dass bestimmte Aufrufe die zusammengepaßten allways sind (wie P/V Prozeduren).
· Unsafe_Unchecked_Conversion steuert Instantiations von Unchecked_Conversion zwischen Typen der verschiedenen oder nicht spezifizierten Größen.
· Verbrauch (x5) steuert Verbrauch der Nachrichten unter bestimmten Bedingungen (in den Paketbedingungen, gelesen, geschrieben geändert…).
· Use_Clauses steuert Vorkommen der Gebrauchklauseln, außer angezeigten Paketen.
· With_Clauses (x3) steuert korrekten Verbrauch von mit Klauseln.

Was in diesem Auslösen neu ist:

· Dieses Auslösen hinzufügt Richtlinien sen, um zu prüfen, ob Vorsatz Übereinstimmung ein gegebenes Muster kommentiert.
· Es hat Anzeige über mögliche falsche Positive und falschen die Negative wegen des non-statically analyzable Konstruierens.
· Es gibt eine feine Definition des Konstruierens, das in den Eingabensperren erlaubt (die einschließlich des Ravenscar Profils).
· Es gibt bessere Integration in GPS und viel mehr.