ImagickFrameIndexPastEnd

error native on by default

Group: Probable bugs

Identify resolved Imagick::setIteratorIndex whose argument is same unchanged receiver getNumberImages result, or a constant index proven at least known positive frame count. Negative indices may have documented special meaning and are excluded.

Detection

• Report resolved Imagick::setIteratorIndex whose argument is same unchanged receiver getNumberImages result, or a constant index proven at least known positive frame count. Negative indices may have documented special meaning and are excluded.
• Resolve builtin functions, classes, constants and methods, including imports and supported named arguments. Follow only bounded local facts within one lexical scope. Receiver and argument provenance must establish the specific API contract; variable names and comments never prove intent.
• When the argument is a local variable, it counts as the unchanged count only if the latest binding of that variable before the call is a plain = assignment of the getNumberImages() result, or of another variable that satisfies the same condition. Any other earlier rebind in between ($n--, $n++, a compound assignment, a foreach key or value target, list()/array destructuring, a reference assignment, global/static, a catch variable, unset) means the variable may hold a valid index, so nothing is reported.
• Report one finding per violating operation. A reachable path, unchanged value identity and applicable API behavior are required. Intervening mutation, unknown calls involving tracked values, escaped aliases or exhausted analysis budgets invalidate proof.

Exceptions (no report)

• Exclude unresolved required symbols, user-defined lookalikes, incomplete syntax, unknown required values and unsupported versions.
• Both @custos-ignore ImagickFrameIndexPastEnd and @noinspection ImagickFrameIndexPastEnd suppress this native rule.

Fix

None. A repair requires a semantic decision or application error-handling policy.

PHP versions

Available in PHP 5.3–8.5 where the referenced API exists. Do not apply extension contracts when the resolved API is unavailable. Gate syntax and version-specific behavior to the configured target.

Configure

In custos.json:

{
  "rules": {
    "ImagickFrameIndexPastEnd": {
      "enabled": false
    }
  }
}

Suppress

Before the statement or declaration (or the first statement of the file):

// @custos-ignore ImagickFrameIndexPastEnd