Overview
System Model
SecLan Model
Infer
DEAD_STORE
Detects if the value assigned to a variables is never used (e.g., int i = 1; i = 2; return i;)
Checks
Data
InformationFlow
Detects
CWE563