detecting-off-by-one

Detects off-by-one errors by identifying incorrect loop conditions, array indexing mistakes, and bou