Data flow

'nil' dereference  

Reports possible nil dereferences.

Frozen object modification  

Reports method calls that attempt to modify frozen objects.

Redundant safe navigation  

Reports the use of the safe navigation operator (&.) with a non-nil receiver, which can be omitted.

Unreachable code  

Reports unreachable code that will never be executed in any control flow and can be safely removed.

Unused local variable/parameter  

Reports local variable or parameter declarations and assignments that are unused.

Variable/parameter scope  

Reports the use of local variables or parameters that may be unsafe: Implicit or explicit variables or parameters that shadow an outer variable or parameter Uninitialized variables or parameters Redundant variable declarations inside blocks.