839dde1183
Motivation: 232c669fa413a9079ee6216056b57a647143f4b6 did add overflow protection but did miss to take the array offset into account and so could report false-positives Modifications: - Correctly take offset into account when check for overflow. - Add unit tests Result: Correctly take offset into account when overflow check is performed