01Flags off-by-one errors in loops and array boundary comparisons
0245 GitHub stars
03Identifies missing enum cases in match expressions and switch blocks
04Detects accidental assignments in conditional if statements
05Ensures immutable return values from functions like trim() are correctly captured
06Analyzes complex boolean logic to simplify redundant or unreachable conditions