VNX-835 – Loop with Unreachable Exit Condition ('Infinite Loop')

Overview

VNX-835 maps to CWE-835: Loop with Unreachable Exit Condition (‘Infinite Loop’). Detects source patterns associated with CWE-835 (Loop with Unreachable Exit Condition (‘Infinite Loop’)). Each finding should be manually reviewed for exploitability in context.

Severity: Medium | CWE: CWE-835 | Languages: java, node, python

Why This Matters

This weakness class (Loop with Unreachable Exit Condition (‘Infinite Loop’)) creates a concrete exploit surface: the rule searches for the concrete source-level patterns most commonly associated with CWE-835 and surfaces them for review. Each finding should be evaluated in context — the rule catches the pattern, not the context.

What Gets Flagged

// FLAGGED: contains 'while (true)' pattern
while (true)

Remediation

  1. Review each flagged line and determine whether the pattern represents a real instance of CWE-835 or a false positive.
  2. Replace the flagged construct with a documented safe alternative appropriate to your language and framework.
  3. For confirmed false positives, add a # vulnetix-ignore: VNX-835 comment on the line.
  4. Ensure equivalent test coverage exists to prevent regression.

References