DATASHEET
Joint Strike Fighter (JSF) C++ Coding Standards 2005
ENFORCEMENT HELIX QAC 2023.4
Total | ||
---|---|---|
a | Total Number of Rules | 233 |
b | Total Number of ‘Not Statically Enforceable’ Rules (Assisted/Unassisted) | 27 |
c | Total Number of Enforceable Rules (a-b) | 206 |
d | Total Number of Enforced Rules | 183 |
e | Total Number of Unenforced Rules | 23 |
f | Enforce Rules Percentage (d/c) | 89% |
g | Unenforced Rules Percentage (e/c) | 11% |
Rule ID | Description | Category | Enforced |
---|---|---|---|
AV Rule 1 | Any one function (or method) will contain no more than 200 logical source lines of code (L-SLOCs). | Will | Yes |
AV Rule 2 | There shall not be any self-modifying code. | Shall | NSE |
AV Rule 3 | All functions shall have a cyclomatic complexity number of 20 or less. | Shall | Yes |
AV Rule 4 | To break a "should" Rule , the following approval must be received by the developer: approval from the software engineering lead (obtained by the unit approval in the developmental CM tool). | Should | NSE |
AV Rule 5 | To break a "will" or a "shall" Rule , the following approvals must be received by the developer: - approval from the software engineering lead (obtained by the unit approval in the developmental CM tool) - approval from the software product manager (obtained by the unit approval in the developmental CM tool). | Shall | NSE |
AV Rule 6 | Each deviation from a "shall" Rule shall be documented in the file that contains the deviation). Deviations from this Rule shall not be allowed, AV Rule 5 notwithstanding. | Shall | NSE |
AV Rule 7 | Approval will not be required for a deviation from a "shall" or "will" Rule that complies with an exception specified by that Rule. | Will | NSE |
AV Rule 8 | All code shall conform to ISO/IEC 14882:2002(E) standard C++. [10] | Shall | No |
AV Rule 9 | Only those characters specified in the C++ basic source character set will be used. | Will | Yes |
AV Rule 10 | Values of character types will be restricted to a defined and documented subset of ISO 10646-1. [9] | Will | No |
AV Rule 11 | Trigraphs will not be used. | Will | Yes |
AV Rule 12 | The following digraphs will not be used: '<%', '%>', '<:', ':>', '%:', '%:%:'. | Will | Yes |
AV Rule 13 | Multi-byte characters and wide string literals will not be used. | Will | Yes |
AV Rule 14 | Literal suffixes shall use uppercase rather than lowercase letters. | Shall | Yes |
AV Rule 15 | Provision shall be made for run-time checking (defensive programming). | Shall | NSE |
AV Rule 16 | Only DO-178B level A [15] certifiable or SEAL 1 C/C++ libraries shall be used with safety-critical (i.e. SEAL 1) code [13]. | Shall | No |
AV Rule 17 | The error indicator errno shall not be used. | Shall | Yes |
AV Rule 18 | The macro offsetof, in library | Shall | Yes |
AV Rule 19 | Shall | Yes | |
AV Rule 20 | The setjmp macro and the longjmp function shall not be used. | Shall | Yes |
AV Rule 21 | The signal handling facilities of | Shall | Yes |
AV Rule 22 | The input/output library | Shall | Yes |
AV Rule 23 | The library functions atof, atoi and atol from library | Shall | Yes |
AV Rule 24 | The library functions abort, exit, getenv and system from library | Shall | Yes |
AV Rule 25 | The time handling functions of library | Shall | Yes |
AV Rule 26 | Only the following pre-processor directives shall be used: - #ifndef - #define - #endif - #include. | Shall | Yes |
AV Rule 27 | #ifndef, #define and #endif will be used to prevent multiple inclusions of the same header file. Other techniques to prevent the multiple inclusions of header files will not be used. | Will | Yes |
AV Rule 28 | The #ifndef and #endif pre-processor directives will only be used as defined in AV Rule 27 to prevent multiple inclusions of the same header file. | Will | Yes |
AV Rule 29 | The #define pre-processor directive shall not be used to create inline macros. Inline functions shall be used instead. | Shall | Yes |
AV Rule 30 | The #define pre-processor directive shall not be used to define constant values. Instead, the const qualifier shall be applied to variable declarations to specify constant values. | Shall | Yes |
AV Rule 31 | The #define pre-processor directive will only be used as part of the technique to prevent multiple inclusions of the same header file. | Will | Yes |
AV Rule 32 | The #include pre-processor directive will only be used to include header (*.h) files. | Will | Yes |
AV Rule 33 | The #include directive shall use the | Shall | Yes |
AV Rule 34 | Header files should contain logically related declarations only. | Should | NSE |
AV Rule 35 | A header file will contain a mechanism that prevents multiple inclusions of itself. | Will | Yes |
AV Rule 36 | Compilation dependencies should be minimized when possible. | Should | Yes |
AV Rule 37 | Header (include) files should include only those header files that are required for them to successfully compile. Files that are only used by the associated .cpp file should be placed in the .cpp file-not the .h file. | Should | Yes |
AV Rule 38 | Declarations of classes that are only accessed via pointers (*) or references (&) should be supplied by forward headers that contain only forward declarations. | Should | Yes |
AV Rule 39 | Header files (*.h) will not contain non-const variable definitions or function definitions. | Will | Yes |
AV Rule 40 | Every implementation file shall include the header files that uniquely define the inline functions, types, and templates used. | Shall | Yes |
AV Rule 41 | Source lines will be kept to a length of 120 characters or less. | Will | Yes |
AV Rule 42 | Each expression-statement will be on a separate line. | Will | Yes |
AV Rule 43 | Tabs should be avoided. | Should | Yes |
AV Rule 44 | All indentations will be at least two spaces and be consistent within the same source file. | Will | Yes |
AV Rule 45 | All words in an identifier will be separated by the '_' character. | Will | No |
AV Rule 46 | User-specified identifiers (internal and external) will not rely on significance of more than 64 characters. | Will | Yes |
AV Rule 47 | Identifiers will not begin with the underscore character '_'. | Will | Yes |
AV Rule 48 | Identifiers will not differ by: - Only a mixture of case - The presence/absence of the underscore character - The interchange of the letter 'O', with the number '0' or the letter 'D' - The interchange of the letter 'I', with the number '1' or the letter 'l' - The interchange of the letter 'S' with the number '5' - The interchange of the letter 'Z' with the number 2 - The interchange of the letter 'n' with the letter 'h'. | Will | Yes |
AV Rule 49 | All acronyms in an identifier will be composed of uppercase letters. | Will | No |
AV Rule 50 | The first word of the name of a class, structure, namespace, enumeration, or type created with typedef will begin with an uppercase letter. All others letters will be lowercase. | Will | Yes |
AV Rule 51 | All letters contained in function and variable names will be composed entirely of lowercase letters. | Will | Yes |
AV Rule 52 | Identifiers for constant and enumerator values shall be lowercase. | Shall | Yes |
AV Rule 53 | Header files will always have a file name extension of ".h". | Will | Yes |
AV Rule 53.1 | The following character sequences shall not appear in header file names: ', \, /*, //, or ". | Shall | Yes |
AV Rule 54 | Implementation files will always have a file name extension of ".cpp". | Will | Yes |
AV Rule 55 | The name of a header file should reflect the logical entity for which it provides declarations. | Should | NSE |
AV Rule 56 | The name of an implementation file should reflect the logical entity for which it provides definitions and have a ".cpp" extension (this name will normally be identical to the header file that provides the corresponding declarations.) | Should | Yes |
AV Rule 57 | The public, protected, and private sections of a class will be declared in that order (the public section is declared before the protected section which is declared before the private section). | Will | Yes |
AV Rule 58 | When declaring and defining functions with more than two parameters, the leading parenthesis and the first argument will be written on the same line as the function name. Each additional argument will be written on a separate line (with the closing parenthesis directly after the last argument). | Will | Yes |
AV Rule 59 | The statements forming the body of an if, else if, else, while, do...while or for statement shall always be enclosed in braces, even if the braces form an empty block. | Shall | Yes |
AV Rule 60 | Braces ("{}") which enclose a block will be placed in the same column, on separate lines directly before and after the block. | Will | Yes |
AV Rule 61 | Braces ("{}") which enclose a block will have nothing else on the line except comments (if necessary). | Will | Yes |
AV Rule 62 | The dereference operator '*' and the address-of operator '&' will be directly connected with the type-specifier. | Will | Yes |
AV Rule 63 | Spaces will not be used around '.' or '->', nor between unary operators and operands. | Will | Yes |
AV Rule 64 | A class interface should be complete and minimal. | Should | NSE |
AV Rule 65 | A structure should be used to model an entity that does not require an invariant. | Should | No |
AV Rule 66 | A class should be used to model an entity that maintains an invariant. | Should | No |
AV Rule 67 | Public and protected data should only be used in structs - not classes. | Should | Yes |
AV Rule 68 | Unneeded implicitly generated member functions shall be explicitly disallowed. | Shall | Yes |
AV Rule 69 | A member function that does not affect the state of an object (its instance variables) will be declared const. | Will | Yes |
AV Rule 70 | A class will have friends only when a function or object requires access to the private elements of the class, but is unable to be a member of the class for logical or efficiency reasons. | Will | No |
AV Rule 70.1 | An object shall not be improperly used before its lifetime begins or after its lifetime ends. | Shall | No |
AV Rule 71 | Calls to an externally visible operation of an object, other than its constructors, shall not be allowed until the object has been fully initialized. | Shall | Yes |
AV Rule 71.1 | A class's virtual functions shall not be invoked from its destructor or any of its constructors. | Shall | Yes |
AV Rule 72 | The invariant for a class should be: - a part of the postcondition of every class constructor, - a part of the precondition of the class destructor (if any), - a part of the precondition and postcondition of every other publicly accessible operation. | Should | No |
AV Rule 73 | Unnecessary default constructors shall not be defined | Shall | Yes |
AV Rule 74 | Initialization of nonstatic class members will be performed through the member initialization list rather than through assignment in the body of a constructor. | Will | Yes |
AV Rule 75 | Members of the initialization list shall be listed in the order in which they are declared in the class. | Shall | Yes |
AV Rule 76 | A copy constructor and an assignment operator shall be declared for classes that contain pointers to data items or nontrivial destructors. | Shall | Yes |
AV Rule 77 | A copy constructor shall copy all data members and bases that affect the class invariant (a data element representing a cache, for example, would not need to be copied). | Shall | Yes |
AV Rule 77.1 | The definition of a member function shall not contain default arguments that produce a signature identical to that of the implicitly-declared copy constructor for the corresponding class/structure. | Shall | Yes |
AV Rule 78 | All base classes with a virtual function shall define a virtual destructor. | Shall | Yes |
AV Rule 79 | All resources acquired by a class shall be released by the class's destructor. | Shall | Yes |
AV Rule 80 | The default copy and assignment operators will be used for classes when those operators offer reasonable semantics. | Will | Yes |
AV Rule 81 | The assignment operator shall handle self-assignment correctly. | Shall | Yes |
AV Rule 82 | An assignment operator shall return a reference to *this. | Shall | Yes |
AV Rule 83 | An assignment operator shall assign all data members and bases that affect the class invariant (a data element representing a cache, for example, would not need to be copied). | Shall | Yes |
AV Rule 84 | Operator overloading will be used sparingly and in a conventional manner. | Will | Yes |
AV Rule 85 | When two operators are opposites (such as == and !=), both will be defined and one will be defined in terms of the other. | Will | Yes |
AV Rule 86 | Concrete types should be used to represent simple independent concepts. | Should | NSE |
AV Rule 87 | Hierarchies should be based on abstract classes. | Should | Yes |
AV Rule 88 | Multiple inheritance shall only be allowed in the following restricted form: n interfaces plus m private implementations, plus at most one protected implementation. | Shall | Yes |
AV Rule 88.1 | A stateful virtual base shall be explicitly declared in each derived class that accesses it. | Shall | Yes |
AV Rule 89 | base class shall not be both virtual and non-virtual in the same hierarchy. | Shall | Yes |
AV Rule 90 | Heavily used interfaces should be minimal, general and abstract. | Should | NSE |
AV Rule 91 | Public inheritance will be used to implement "is-a" relationships. | Will | Yes |
AV Rule 92 | A subtype (publicly derived classes) will conform to the following guidelines with respect to all classes involved in the polymorphic assignment of different subclass instances to the same variable or parameter during the execution of the system: - Preconditions of derived methods must be at least as weak as the preconditions of the methods they override. - Postconditions of derived methods must be at least as strong as the postconditions of the methods they override. | Will | NSE |
AV Rule 93 | has-a or "is-implemented-in-terms-of" relationships will be modeled through membership or non-public inheritance. | Will | Yes |
AV Rule 94 | An inherited nonvirtual function shall not be redefined in a derived class. | Shall | Yes |
AV Rule 95 | An inherited default parameter shall never be redefined. | Shall | Yes |
AV Rule 96 | Arrays shall not be treated polymorphically. | Shall | Yes |
AV Rule 97 | Arrays shall not be used in interfaces. Instead, the Array class should be used. | Shall | Yes |
AV Rule 97.1 | Neither operand of an equality operator (== or !=) shall be a pointer to a virtual member function. | Shall | Yes |
AV Rule 98 | Every nonlocal name, except main(), should be placed in some namespace. | Should | Yes |
AV Rule 99 | amespaces will not be nested more than two levels deep. | Will | Yes |
AV Rule 100 | Elements from a namespace should be selected as follows: - using declaration or explicit qualification for few (approximately five) names, - using directive for many names. | Should | No |
AV Rule 101 | Templates shall be reviewed as follows: 1. with respect to the template in isolation considering assumptions or requirements placed on its arguments. 2. with respect to all functions instantiated by actual arguments. | Shall | NSE |
AV Rule 102 | Template tests shall be created to cover all actual template instantiations. | Shall | NSE |
AV Rule 103 | Constraint checks should be applied to template arguments. | Should | No |
AV Rule 104 | A template specialization shall be declared before its use. | Shall | Yes |
AV Rule 105 | A template definition's dependence on its instantiation contexts should be minimized. | Should | No |
AV Rule 106 | Specializations for pointer types should be made where appropriate. | Should | No |
AV Rule 107 | Functions shall always be declared at file scope. | Shall | Yes |
AV Rule 108 | Functions with variable numbers of arguments shall not be used. | Shall | Yes |
AV Rule 109 | A function definition should not be placed in a class specification unless the function is intended to be inlined. | Should | Yes |
AV Rule 110 | Functions with more than 7 arguments will not be used. | Will | Yes |
AV Rule 111 | A function shall not return a pointer or reference to a non-static local object. | Shall | Yes |
AV Rule 112 | Function return values should not obscure resource ownership. | Should | Yes |
AV Rule 113 | Functions will have a single exit point. | Will | Yes |
AV Rule 114 | All exit points of value-returning functions shall be through return statements. | Shall | Yes |
AV Rule 115 | If a function returns error information, then that error information will be tested. | Will | No |
AV Rule 116 | Small, concrete-type arguments (two or three words in size) should be passed by value if changes made to formal parameters should not be reflected in the calling function. | Should | Yes |
AV Rule 117 | Arguments should be passed by reference if NULL values are not possible. | Should | Yes |
AV Rule 117.1 | An object should be passed as const T& if the function should not change the value of the object. | Should | Yes |
AV Rule 117.2 | An object should be passed as T& if the function may change the value of the object. | Should | Yes |
AV Rule 118 | Arguments should be passed via pointers if NULL values are possible. | Should | Yes |
AV Rule 118.1 | An object should be passed as const T* if its value should not be modified. | Should | Yes |
AV Rule 118.2 | An object should be passed as T* if its value may be modified. | Should | Yes |
AV Rule 119 | Functions shall not call themselves, either directly or indirectly (i.e. recursion shall not be allowed). | Shall | Yes |
AV Rule 120 | Overloaded operations or methods should form families that use the same semantics, share the same name, have the same purpose, and that are differentiated by formal parameters. | Should | NSE |
AV Rule 121 | Only functions with 1 or 2 statements should be considered candidates for inline functions. | Should | Yes |
AV Rule 122 | Trivial accessor and mutator functions should be inlined. | Should | Yes |
AV Rule 123 | The number of accessor and mutator functions should be minimized. | Should | Yes |
AV Rule 124 | Trivial forwarding functions should be inlined. | Should | Yes |
AV Rule 125 | Unnecessary temporary objects should be avoided. | Should | No |
AV Rule 126 | Only valid C++ style comments (//) shall be used. | Shall | Yes |
AV Rule 127 | Code that is not used (commented out) shall be deleted. | Shall | Yes |
AV Rule 128 | Comments that document actions or sources (e.g. tables, figures, paragraphs, etc.) outside of the file being documented will not be allowed. | Will | NSE |
AV Rule 129 | Comments in header files should describe the externally visible behavior of the functions or classes being documented. | Should | NSE |
AV Rule 130 | The purpose of every line of executable code should be explained by a comment, although one comment may describe more than one line of code. | Should | Yes |
AV Rule 131 | One should avoid stating in comments what is better stated in code (i.e. do not simply repeat what is in the code). | Should | NSE |
AV Rule 132 | Each variable declaration, typedef, enumeration value, and structure member will be commented. | Will | Yes |
AV Rule 133 | Every source file will be documented with an introductory comment that provides information on the file name, its contents, and any program-required information (e.g. legal statements, copyright information, etc). | Will | Yes |
AV Rule 134 | Assumptions (limitations) made by functions should be documented in the function's preamble. | Should | NSE |
AV Rule 135 | Identifiers in an inner scope shall not use the same name as an identifier in an outer scope, and therefore hide that identifier. | Shall | Yes |
AV Rule 136 | Declarations should be at the smallest feasible scope. (See also AV Rule 143). | Should | Yes |
AV Rule 137 | All declarations at file scope should be static where possible. | Should | Yes |
AV Rule 138 | dentifiers shall not simultaneously have both internal and external linkage in the same translation unit. | Shall | Yes |
AV Rule 139 | External objects will not be declared in more than one file. | Will | Yes |
AV Rule 140 | The register storage class specifier shall not be used. | Shall | Yes |
AV Rule 141 | A class, structure, or enumeration will not be declared in the definition of its type. | Will | Yes |
AV Rule 142 | All variables shall be initialized before use. | Shall | Yes |
AV Rule 143 | Variables will not be introduced until they can be initialized with meaningful values. | Will | Yes |
AV Rule 144 | Braces shall be used to indicate and match the structure in the non-zero initialization of arrays and structures. | Shall | Yes |
AV Rule 145 | In an enumerator list, the '=' construct shall not be used to explicitly initialize members other than the first, unless all items are explicitly initialized. | Shall | Yes |
AV Rule 146 | Floating point implementations shall comply with a defined floating point standard. The standard that will be used is the ANSI/IEEE Std 754 [1]. | Shall | NSE |
AV Rule 147 | The underlying bit representations of floating point numbers shall not be used in any way by the programmer. | Shall | Yes |
AV Rule 148 | Enumeration types shall be used instead of integer types (and constants) to select from a limited series of choices. | Shall | Yes |
AV Rule 149 | Octal constants (other than zero) shall not be used. | Shall | Yes |
AV Rule 150 | Hexadecimal constants will be represented using all uppercase letters. | Will | Yes |
AV Rule 151 | Numeric values in code will not be used; symbolic values will be used instead. | Will | Yes |
AV Rule 151.1 | A string literal shall not be modified. | Shall | Yes |
AV Rule 152 | Multiple variable declarations shall not be allowed on the same line. | Shall | Yes |
AV Rule 153 | Unions shall not be used. | Shall | Yes |
AV Rule 154 | Bit-fields shall have explicitly unsigned integral or enumeration types only. | Shall | Yes |
AV Rule 155 | Bit-fields will not be used to pack data into a word for the sole purpose of saving space. | Will | Yes |
AV Rule 156 | All the members of a structure (or class) shall be named and shall only be accessed via their names. | Shall | Yes |
AV Rule 157 | The right hand operand of a && or || operator shall not contain side effects. | Shall | Yes |
AV Rule 158 | The operands of a logical && or || shall be parenthesized if the operands contain binary operators. | Shall | Yes |
AV Rule 159 | Operators ||, &&, and unary & shall not be overloaded. | Shall | Yes |
AV Rule 160 | An assignment expression shall be used only as the expression in an expression statement. | Shall | Yes |
AV Rule 162 | Signed and unsigned values shall not be mixed in arithmetic or comparison operations. | Shall | Yes |
AV Rule 163 | Unsigned arithmetic shall not be used. | Shall | Yes |
AV Rule 164 | The right hand operand of a shift operator shall lie between zero and one less than the width in bits of the left-hand operand (inclusive). | Shall | Yes |
AV Rule 164.1 | The left-hand operand of a right-shift operator shall not have a negative value. | Shall | Yes |
AV Rule 165 | The unary minus operator shall not be applied to an unsigned expression. | Shall | Yes |
AV Rule 166 | The sizeof operator will not be used on expressions that contain side effects. | Will | Yes |
AV Rule 167 | The implementation of integer division in the chosen compiler shall be determined, documented and taken into account. | Shall | NSE |
AV Rule 168 | The comma operator shall not be used. | Shall | Yes |
AV Rule 169 | Pointers to pointers should be avoided when possible. | Should | Yes |
AV Rule 170 | More than 2 levels of pointer indirection shall not be used. | Shall | Yes |
AV Rule 171 | Relational operators shall not be applied to pointer types except where both operands are of the same type and point to: - the same object, - the same function, - members of the same object, or - elements of the same array (including one past the end of the same array). | Shall | No |
AV Rule 173 | The address of an object with automatic storage shall not be assigned to an object which persists after the object has ceased to exist. | Shall | Yes |
AV Rule 174 | The null pointer shall not be de-referenced. | Shall | No |
AV Rule 175 | A pointer shall not be compared to NULL or be assigned NULL; use plain 0 instead. | Shall | Yes |
AV Rule 176 | A typedef will be used to simplify program syntax when declaring function pointers. | Will | Yes |
AV Rule 177 | User-defined conversion functions should be avoided. | Should | Yes |
AV Rule 178 | Down casting (casting from base to derived class) shall only be allowed through one of the following mechanisms: - Virtual functions that act like dynamic casts (most likely useful in relatively simple cases) - Use of the visitor (or similar) pattern (most likely useful in complicated cases). | Shall | Yes |
AV Rule 179 | A pointer to a virtual base class shall not be converted to a pointer to a derived class. | Shall | Yes |
AV Rule 180 | Implicit conversions that may result in a loss of information shall not be used. | Shall | Yes |
AV Rule 181 | Redundant explicit casts will not be used. | Will | Yes |
AV Rule 182 | Type casting from any type to or from pointers shall not be used. | Shall | Yes |
AV Rule 183 | Every possible measure should be taken to avoid type casting. | Should | Yes |
AV Rule 184 | Floating point numbers shall not be converted to integers unless such a conversion is a specified algorithmic requirement or is necessary for a hardware interface. | Shall | Yes |
AV Rule 185 | C++ style casts (const_cast, reinterpret_cast, and static_cast) shall be used instead of the traditional C-style casts. | Shall | Yes |
AV Rule 186 | There shall be no unreachable code. | Shall | No |
AV Rule 187 | All non-null statements shall potentially have a side-effect. | Shall | Yes |
AV Rule 188 | Labels will not be used, except in switch statements. | Will | Yes |
AV Rule 189 | The goto statement shall not be used. | Shall | Yes |
AV Rule 190 | The continue statement shall not be used. | Shall | Yes |
AV Rule 191 | The break statement shall not be used (except to terminate the cases of a switch statement). | Shall | Yes |
AV Rule 192 | All if, else if constructs will contain either a final else clause or a comment indicating why a final else clause is not necessary. | Will | Yes |
AV Rule 193 | Every non-empty case clause in a switch statement shall be terminated with a break statement. | Shall | Yes |
AV Rule 194 | All switch statements that do not intend to test for every enumeration value shall contain a final default clause. | Shall | Yes |
AV Rule 195 | A switch expression will not represent a Boolean value. | Will | Yes |
AV Rule 196 | Every switch statement will have at least two cases and a potential default. | Will | Yes |
AV Rule 197 | Floating point variables shall not be used as loop counters. | Shall | Yes |
AV Rule 198 | The initialization expression in a for loop will perform no actions other than to initialize the value of a single for loop parameter. | Will | Yes |
AV Rule 199 | The increment expression in a for loop will perform no action other than to change a single loop parameter to the next value for the loop. | Will | Yes |
AV Rule 200 | Null initialize or increment expressions in for loops will not be used; a while loop will be used instead. | Will | Yes |
AV Rule 201 | Numeric variables being used within a for loop for iteration counting shall not be modified in the body of the loop. | Shall | Yes |
AV Rule 202 | Floating point variables shall not be tested for exact equality or inequality. | Shall | Yes |
AV Rule 203 | Evaluation of expressions shall not lead to overflow/underflow (unless required algorithmically and then should be heavily documented). | Shall | No |
AV Rule 204 | single operation with side-effects will only be used in the following contexts: - by itself - the right-hand side of an assignment - a condition - the only argument expression with a side-effect in a function call - condition of a loop - switch condition - single part of a chained operation. | Shall | Yes |
AV Rule 204.1 | he value of an expression shall be the same under any order of evaluation that the standard permits. | Shall | Yes |
AV Rule 205 | The volatile keyword shall not be used unless directly interfacing with hardware. | Shall | Yes |
AV Rule 206 | Allocation/deallocation from/to the free store (heap) shall not occur after initialization. | Shall | No |
AV Rule 207 | Unencapsulated global data will be avoided. | Will | Yes |
AV Rule 208 | C++ exceptions shall not be used (i.e. throw, catch and try shall not be used.) | Shall | Yes |
AV Rule 209 | The basic types of int, short, long, float and double shall not be used, but specific-length equivalents should be typedef'd accordingly for each compiler, and these type names used in the code. | Shall | Yes |
AV Rule 210 | Algorithms shall not make assumptions concerning how data is represented in memory (e.g. big endian vs. little endian, base class subobject ordering in derived classes, nonstatic data member ordering across access specifiers, etc. | Shall | Yes |
AV Rule 210.1 | lgorithms shall not make assumptions concerning the order of allocation of nonstatic data members separated by an access specifier. See also AV Rule 210 on data representation. | Shall | Yes |
AV Rule 211 | Algorithms shall not assume that shorts, ints, longs, floats, doubles or long doubles begin at particular addresses. | Shall | NSE |
AV Rule 212 | Underflow or overflow functioning shall not be depended on in any special way. | Shall | No |
AV Rule 213 | No dependence shall be placed on C++'s operator precedence Rule s, below arithmetic operators, in expressions. | Shall | Yes |
AV Rule 214 | Assuming that non-local static objects, in separate translation units, are initialized in a special order shall not be done. | Shall | Yes |
AV Rule 215 | Pointer arithmetic will not be used. | Will | Yes |
AV Rule 216 | Programmers should not attempt to prematurely optimize code. | Should | NSE |
AV Rule 217 | Compile-time and link-time errors should be preferred over run-time errors. | Should | No |
AV Rule 218 | Compiler warning levels will be set in compliance with project policies. | Will | NSE |
AV Rule 219 | All tests applied to a base class interface shall be applied to all derived class interfaces as well. If the derived class poses stronger postconditions/invariants, then the new postconditions /invariants shall be substituted in the derived class tests. | Shall | NSE |
AV Rule 220 | Structural coverage algorithms shall be applied against flattened classes. | Shall | NSE |
AV Rule 221 | Structural coverage of a class within an inheritance hierarchy containing virtual functions shall include testing every possible resolution for each set of identical polymorphic references. | Shall | NSE |