AdaControl is een vrij hulpmiddel (van GMGPL) dat het gebruik van diverse soorten concepten in Ada programma's ontdekt. Is het eerste doel van AdaControls juist gebruik van stijl of programmeringsregels te controleren, maar het kan ook als krachtig hulpmiddel aan onderzoek naar gebruik (of niet-gebruik) van diverse vormen worden gebruikt van de programmering van stijlen of ontwerppatronen. De gezochte elementen strekken zich van zeer eenvoudig, als het voorkomen van certaineentiteiten uit, verklaringen, of verklaringen, aan zeer verfijnd, als het verifiëren dat bepaalde programmeringspatronen. worden uitgevoerd.

Welke elementen of concepten wordt bepaald door een reeks regels worden gezocht; de volgende lijst geeft een korte die samenvatting van regels momenteel door AdaControl worden gecontroleerd. Het aantal na de regelnaam geeft tussen haakjes het aantal subrules, als om het even welk. Het overwegen van alle mogelijke regels en subrules, dit maakt 216 tests die momenteel door AdaControl kunnen worden uitgevoerd!

· Abnormal_Function_Return controleert een ontwerppatroon dat ervoor zorgt dat een functie altijd een resultaat terugkeert.
· Allocators controleert ocurrences van allocators, of allemaal, of die die gespecificeerde types richten.
· Array_Declarations (x2) controleert verscheidene metriek in serieverklaringen.
· De elementen van de Controles van Barrier_Expressions stonden in de uitdrukking van beschermde belemmeringen voor toetreding toe
· Case_Statement (x4) controleert verscheidene metriek voor het geval dat verklaringen.
· Control_Characters controleert voorkomen van controlekarakters (als lusjes) in de bron.
· De verklaringen (x75) controleert voorkomen van bepaalde Ada verklaringen.
· Het subprogramma van de Controles van Default_Parameter roept en generische konkretiseringen die (of niet) de standaardwaarde voor een bepaalde parameter gebruiken.
· Directly_Accessed_Globals controleert een ontwerppatroon dat ervoor zorgt dat alle globale variabelen slechts door specifieke subprogramma's worden betreden.
· De entiteiten controleert voorkomen van om het even welke Ada entiteit.
· Entity_Inside_Exception controleert voorkomen van entiteiten binnen uitzonderingsmanagers.
· Van Exception_Propagation (x4) de Controles dat bepaalde subprogramma's (of taken) geen uitzonderingen kunnen verspreiden, of dat geen uitwerking uitzonderingen kan verspreiden.
· De uitdrukkingen (x9) controleert gebruik van bepaalde vormen van uitdrukkingen
· Global_References controleert unsynchronized toegangen tot globale variabelen.
· Header_Comments (x2) controleert de aanwezigheid van commentaren bij het begin van elke module.
· If_For_Case controleert als verklaringen die door gevalverklaringen zouden kunnen worden vervangen.
· De konkretiseringen controleert generische konkretiseringen, of allemaal, of die die gespecificeerde entiteiten gebruiken.
· Insufficient_Parameters controleert het gebruik van positionele parameters in vraag waar de waarde geen voldoende informatie verstrekt.
· Local_Hiding controleert voorkomen van lokale herkenningstekens die identieke buiten verbergen.
· Local_Instantiation controleert konkretiseringen in lokaal werkingsgebied.
· Max_Blank_Lines controleert het voorkomen van een meer dan gespecificeerd aantal opeenvolgende lege lijnen.
· Max_Call_Depth controleert de maximumdiepte van subprogrammavraag.
· Max_Line_Length controleert maximale lengte van bronlijnen.
· Max_Nesting controleert meer diep genesteld werkingsgebied dan een bepaalde grens.
· Max_Parameters (x6) controleert de maximumaantallen parameters in opvraagbare entiteiten (procedures, functies en ingangen)
· Max_Statement_Nesting (x5) controleert samengestelde meer diep genestelde verklaringen dan een bepaalde grens.
· De verklaringen van de Controles van Movable_Accept_Statements die buiten zouden kunnen worden bewogen keuren verklaring goed.
· Naming_Convention controleert de vorm van toegestane (of verboden) namen in verklaringen.
· No_Safe_Initialization controleert een ontwerppatroon dat ervoor zorgt dat veranderlijk alvorens wordt gebruikt wordt geïnitialiseerdd.
· Non_Static (x3) controleert niet statische uitdrukkingen in index of discriminerende beperkingen, of in konkretiseringen.
· Not_Elaboration_Calls controleert subprogrammavraag van plaatsen buiten de code die van de pakketuitwerking wordt uitgevoerd.
· Other_Dependencies controleert semantische gebiedsdelen aan andere eenheden dan vermeld die
· Parameter_Aliasing controleert subprogramma's en ingangsvraag waar een variabele aan meer dan één [binnen] uit parameter wordt verstrekt.
· Potentially_Blocking_Operations controleert het gebruik van potentieel het blokkeren van verrichtingen van binnen beschermde verrichtingen.
· Pragmas controleert het gebruik van specifieke pragmas.
· Real_Operators controleert voorkomen van = of/= exploitanten op echte types.
· Reduceable_Scope controleert verklaringen die beweging zouden kunnen zijn aan meer diep genesteld werkingsgebied.
· Het voorkomen van de Controles van Representation_Clauses van vertegenwoordigingsclausules.
· Return_Type controleert het gebruik van bepaalde soorten types als terugkeersoorten functies.
· Het subprogramma van de Controles van Side_Effect_Parameters roept en generische konkretiseringen die functies met bijwerking roepen, waarbij een afhankelijkheid wordt gecre downloaden