Data flow

Missing return statement  

Reports missing return statements at the end of methods with a non-void return type.

Unused assignment  

Reports the cases where a variable is redundant as its value is never used after its assignment.

Unused incrementing or decrementing  

Reports unused incrementing and decrementing expressions.

Variable can be final  

Reports parameters or local variables that may have a final modifier added.

Variable not assigned  

Reports variables that might not have been initialized.