Query module EndlessVarying

id
cbl/modified-loop-counter
name
Modifying VARYING loop counter
description
Changing the value of a VARYING loop counter may prevent the loop from ending.
kind
problem
problem.severity
warning
precision
medium
tags
correctness

Imports