Infinite Loop Detection

Analyze PHP code for potential infinite loops and unbounded execution.

Detection Patterns

1. Missing Break Conditions

// BUG: No exit condition
while (true) {
    $item = $queue->pop();
    process($item);
    // No break when queue is empty
}

// BUG: Condition never changes
$running = true;
while ($running) {