-
SA0001: Unreachable code
-
SA0002: Empty objects
-
SA0003: Empty statements
-
SA0004: Multiple write access on output
-
SA0006: Write access from several tasks
-
SA0007: Address operator on constants
-
SA0008: Check subrange types
-
SA0009: Unused return values
-
SA0010: Arrays with only one component
-
SA0011: Useless declarations
-
SA0012: Variable which could be declared as constants
-
SA0013: Declarations with the same variable name
-
SA0014: Assignment of instances
-
SA0015: Access to global data via FB_Init
-
SA0016: Gaps in structures
-
SA0017: Non-regular assignments
-
SA0018: Unusual bit access
-
SA0020: Possibly assignment of truncated value to REAL variable
-
SA0021: Transporting the address of a temporary variable
-
SA0022: (Possibly) unassigned return value
-
SA0023: Complex return values
-
SA0024: Untyped literals / constants
-
SA0025: Unqualified enumeration constants
-
SA0026: Possible truncated strings
-
SA0027: Multiple uses of identifiers
-
SA0028: Overlapping memory areas
-
SA0029: Notation in code different to declaration
-
Unused Objects
-
SA0034: Enumerations with incorrect assignment
-
SA0037: Write access to input variable
-
SA0038: Read access to output variable
-
SA0040: Possible division by zero
-
SA0041: Detect possible loop invariant code
-
SA0042: Usage of different access paths
-
SA0043: Use of a global variable in only one POU
-
SA0044: Declarations with reference to interface
-
Conversions
-
Use of Direct Addresses
-
Rules for Operators
-
Rules for Statements
-
SA0095: Assignments in conditions
-
SA0100: Variables greater than <n> bytes...
-
SA0101: Names with invalid length
-
SA0102: Access to program/fb variables from the outside
-
SA0103: Concurrent access on not atomic data
-
SA0105: Multiple instance calls
-
SA0106: Virtual method calls in FB_INIT
-
SA0107: Missing formal parameters
-
Checking Strict IEC Rules
-
SA0140: Statements commented out
-
Possible Use of Uninitialized Variables
-
SA0150: Violations of lower or upper limits or the metrics
-
SA0160: Recursive calls
-
SA0161: Unpacked structure in packed structure
-
SA0162: Missing comments
-
SA0163: Nested comments
-
SA0164: Multiline comments
-
SA0165: Tasks calling other POUs than programs
-
SA0166: Max. number of input/output/in-out variables...
-
SA0167: Temporary function block instances
-
SA0168: Unnecessary Assignments
-
SA0169: Ignored outputs