Boundary Issue Detection

Analyze PHP code for boundary and range violations.

Detection Patterns

1. Array Index Out of Bounds

// BUG: No bounds check
$items = [1, 2, 3];
$last = $items[count($items)]; // Off by one, should be count - 1

// BUG: Hardcoded index
$third = $data[2]; // May not have 3 elements

// BUG: Negative index
$item = $array[$index]; // $index could be negative