CodeCheck Documentation - Ada
| CodeCheck Documentation CodeCheck Documentation - Ada | |
| Check ID | Check Name | Supported |
|---|---|---|
| AC_00 | No Control Code Characters | Yes |
| AC_01 | No Direct or Indirect Recursion | Yes |
| AC_HIS_02 | Number of Paths (PATH) | Yes |
| AC_HIS_04 | Cyclomatic Complexity (v(G)) | Yes |
| AC_HIS_05 | Calling Functions (CALLING) | Yes |
| AC_HIS_06 | Called Functions (CALLS) | Yes |
| AC_HIS_07 | Function Parameters (PARAM) | Yes |
| AC_HIS_08 | Number of Statements (STMT) | Yes |
| AC_HIS_09 | Number of call levels (LEVEL) | Yes |
| AC_HIS_11 | Language scope (VOCF) | Yes |
| AC_HIS_12 | Recursion (AP_CG_CYCLE) | Yes |
| AC_HIS_13 | Statements Changed (SCHG) | Yes |
| AC_HIS_14 | Statements Deleted (SDEL) | Yes |
| AC_HIS_15 | New Statements (SNEW) | Yes |
| AC_HIS_16 | Stability Index (S) | Yes |
| ADA_N000 | Naming Convention: Components | Yes |
| ADA_N001 | Naming Convention: Entries | Yes |
| ADA_N002 | Naming Convention: Enumerations | Yes |
| ADA_N003 | Naming Convention: Exceptions | Yes |
| ADA_N004 | Naming Convention: Files | Yes |
| ADA_N005 | Naming Convention: Functions | Yes |
| ADA_N006 | Naming Convention: Implicits | Yes |
| ADA_N007 | Naming Convention: Objects | Yes |
| ADA_N008 | Naming Convention: Packages | Yes |
| ADA_N009 | Naming Convention: Parameters | Yes |
| ADA_N010 | Naming Convention: Procedures | Yes |
| ADA_N011 | Naming Convention: Protected Entities | Yes |
| ADA_N012 | Naming Convention: Tasks | Yes |
| ADA_N013 | Naming Convention: Types | Yes |
| ADA_V000 | Unused Variables | Yes |
| ADA_V001 | Variables should be commented | Yes |
| ADA_V002 | Magic Numbers | Yes |
| ADA95_2.1.1 | 2.1.1 Horizontal Spacing | Yes |
| ADA95_2.1.2 | 2.1.2 Indentation | Yes |
| ADA95_2.1.3 | 2.1.3 Alignment of Operators | No |
| ADA95_2.1.4 | 2.1.4 Alignment of Declarations | No |
| ADA95_2.1.5 | 2.1.5 Parameter Alignment | Yes |
| ADA95_2.1.6 | 2.1.6 Blank Lines | No |
| ADA95_2.1.7 | 2.1.7 Pagination | Yes |
| ADA95_2.1.8 | 2.1.8 Number of Statements Per Line | Yes |
| ADA95_2.1.9 | 2.1.9 Source Code Line Length | Yes |
| ADA95_3.1.1 | 3.1.1 Use of Underscores | Yes |
| ADA95_3.1.2 | 3.1.2 Numbers | Yes |
| ADA95_3.1.3 | 3.1.3 Capitalization | Yes |
| ADA95_3.1.4 | 3.1.4 Abbreviations | No |
| ADA95_3.2.1 | 3.2.1 Names | Yes |
| ADA95_3.2.2 | 3.2.2 Subtype Names | Yes |
| ADA95_3.2.3 | 3.2.3 Object Names | No |
| ADA95_3.2.4 | 3.2.4 Naming of Tagged Types and Associated Packages | No |
| ADA95_3.2.5 | 3.2.5 Program Unit Names | Yes |
| ADA95_3.2.6 | 3.2.6 Constants and Named Numbers | Yes |
| ADA95_3.2.7 | 3.2.7 Exceptions | No |
| ADA95_3.2.8 | 3.2.8 Constructors | No |
| ADA95_3.3.1 | 3.3.1 General Comments | No |
| ADA95_3.3.2 | 3.3.2 File Headers | Yes |
| ADA95_3.3.3 | 3.3.3 Program Unit Specification Headers | Yes |
| ADA95_3.3.4 | 3.3.4 Program Unit Body Headers | Yes |
| ADA95_3.3.5 | 3.3.5 Data Comments | No |
| ADA95_3.3.6 | 3.3.6 Statement Comments | No |
| ADA95_3.3.7 | 3.3.7 Marker Comments | Yes |
| ADA95_3.4.1 | 3.4.1 Declaring Types | No |
| ADA95_3.4.2 | 3.4.2 Enumeration Types | No |
| ADA95_4.1.1 | 4.1.1 Separate Compilation Capabilities | Yes |
| ADA95_4.1.2 | 4.1.2 Configuration Pragmas | Yes |
| ADA95_4.1.3 | 4.1.3 Subprograms | No |
| ADA95_4.1.4 | 4.1.4 Functions | No |
| ADA95_4.1.5 | 4.1.5 Packages | No |
| ADA95_4.1.6 | 4.1.6 Child Library Units | No |
| ADA95_4.1.7 | 4.1.7 Cohesion | No |
| ADA95_4.1.8 | 4.1.8 Data Coupling | Yes |
| ADA95_4.1.9 | 4.1.9 Tasks | No |
| ADA95_4.1.10 | 4.1.10 Protected Types | No |
| ADA95_4.2.1 | 4.2.1 Minimization of Interfaces | No |
| ADA95_4.2.2 | 4.2.2 Nested Packages | No |
| ADA95_4.2.3 | 4.2.3 Restricting Visibility | Yes |
| ADA95_4.2.4 | 4.2.4 Hiding Tasks | No |
| ADA95_4.3.1 | 4.3.1 Using Exceptions to Help Define an Abstraction | Yes |
| ADA95_5.1.1 | 5.1.1 Loop Names | Yes |
| ADA95_5.1.2 | 5.1.2 Block Names | Yes |
| ADA95_5.1.3 | 5.1.3 Exit Statements | Yes |
| ADA95_5.1.4 | 5.1.4 Naming End Statements | Yes |
| ADA95_5.2.1 | 5.2.1 Formal Parameters | No |
| ADA95_5.2.2 | 5.2.2 Named Association | Yes |
| ADA95_5.2.3 | 5.2.3 Default Parameters | Yes |
| ADA95_5.2.4 | 5.2.4 Mode Indication | Yes |
| ADA95_5.3.1 | 5.3.1 Derived Types and Subtypes | Yes |
| ADA95_5.3.2 | 5.3.2 Anonymous Types | Yes |
| ADA95_5.3.3 | 5.3.3 Private Types | Yes |
| ADA95_5.3.4 | 5.3.4 Subprogram Access Types | No |
| ADA95_5.4.1 | 5.4.1 Discriminated Records | Yes |
| ADA95_5.4.2 | 5.4.2 Heterogeneous Related Data | No |
| ADA95_5.4.3 | 5.4.3 Heterogeneous Polymorphic Data | No |
| ADA95_5.4.4 | 5.4.4 Nested Records | No |
| ADA95_5.4.5 | 5.4.5 Dynamic Data | Yes |
| ADA95_5.4.6 | 5.4.6 Aliased Objects | Yes |
| ADA95_5.4.7 | 5.4.7 Access Discriminants | No |
| ADA95_5.4.8 | 5.4.8 Modular Types | No |
| ADA95_5.5.1 | 5.5.1 Range Values | Yes |
| ADA95_5.5.2 | 5.5.2 Array Attributes | No |
| ADA95_5.5.3 | 5.5.3 Parenthetical Expressions | No |
| ADA95_5.5.4 | 5.5.4 Positive Forms of Logic | No |
| ADA95_5.5.5 | 5.5.5 Short Circuit Forms of the Logical Operators | No |
| ADA95_5.5.6 | 5.5.6 Accuracy of Operations With Real Operands | Yes |
| ADA95_5.6.1 | 5.6.1 Nesting | Yes |
| ADA95_5.6.2 | 5.6.2 Slices | No |
| ADA95_5.6.3 | 5.6.3 Case Statements | Yes |
| ADA95_5.6.4 | 5.6.4 Loops | Yes |
| ADA95_5.6.5 | 5.6.5 Exit Statements | Yes |
| ADA95_5.6.6 | 5.6.6 Recursion and Iteration Bounds | No |
| ADA95_5.6.7 | 5.6.7 Goto Statements | Yes |
| ADA95_5.6.8 | 5.6.8 Return Statements | Yes |
| ADA95_5.6.9 | 5.6.9 Blocks | No |
| ADA95_5.6.10 | 5.6.10 Aggregates | No |
| CWE-77 | Improper Neutralization of Special Elements used in a Command ('Command Injection') | Yes |
| CWE-78 | Improper Neutralization of Special Elements used in an OS Command ('Command Injection') | Yes |
| HIS_01 | 1. Comment Density (COMF) | Yes |
| HIS_02 | 2. Number of Paths (PATH) | Yes |
| HIS_03 | 3. Number of Goto Statements(GOTO) | Yes |
| HIS_04 | 4. Cyclomatic Complexity (v(G)) | Yes |
| HIS_05 | 5. Calling Functions (CALLING) | Yes |
| HIS_06 | 6. Called Functions (CALLS) | Yes |
| HIS_07 | 7. Function Parameters (PARAM) | Yes |
| HIS_08 | 8. Number of Statements (STMT) | Yes |
| HIS_09 | 9. Number of call levels (LEVEL) | Yes |
| HIS_11 | 11. Language scope (VOCF) | Yes |
| HIS_12 | 12. Recursion (AP_CG_CYCLE) | Yes |
| HIS_13 | 13. Statements Changed (SCHG) | Yes |
| HIS_14 | 14. Statements Deleted (SDEL) | Yes |
| HIS_15 | 15. New Statements (SNEW) | Yes |
| HIS_16 | 16. Stability Index (S) | Yes |
| METRIC_00 | Program Unit Call Count | Yes |
| METRIC_01 | Program Unit Callby Count | Yes |
| METRIC_02 | Program Unit Comment to Code Ratio | Yes |
| METRIC_03 | Program Unit Cyclomatic Complexity | Yes |
| METRIC_04 | Program Unit Max Length | Yes |
| METRIC_05 | Program Unit Max Nesting Depth | Yes |
| METRIC_06 | Program Unit Parameters Count | Yes |
| METRIC_07 | Program Unit Path Count | Yes |
| METRIC_08 | Program Unit Statement Count | Yes |
| METRIC_09 | Coupling Between Object Classes | Yes |
| METRIC_10 | Coupled Packages | Yes |
| METRIC_13 | Maintainability Index | Yes |
| RECOMMENDED_02 | Files too long | Yes |
| RECOMMENDED_04 | Functions Too Long | Yes |
| RECOMMENDED_06 | Goto Statements | Yes |
| RECOMMENDED_10 | Overly Complex Functions | Yes |
| RECOMMENDED_12 | Unreachable Code | Yes |
| RECOMMENDED_13 | Unused Functions | Yes |
| RECOMMENDED_16 | Variables should be commented | Yes |
| RECOMMENDED_18 | Unused Local Variables | Yes |
| RECOMMENDED_19 | Comments Indicating Future Fixes | Yes |
| RECOMMENDED_20 | Duplicate Code | Yes |