iframe-proxy | Sunbelt Computer Software

31 lines (28 loc) · 1.02 KB

 * @name Nested loops with same variable
 * @description Nested loops in which the iteration variable is the same for each loop are difficult
 *              to understand.
 * @kind problem
 * @problem.severity warning
 * @id js/nested-loops-with-same-variable
 * @tags maintainability
 *       correctness
 * @precision low
import javascript
 * Gets an iteration variable that loop `for` tests and updates.
Variable getAnIterationVariable(ForStmt for, Expr upAccess) {
  result.getAnAccess().getParentExpr*() = for.getTest() and
  exists(UpdateExpr upd | upd.getParentExpr*() = for.getUpdate() |
    upAccess = upd.getOperand() and upAccess = result.getAnAccess()
from ForStmt outer, ForStmt inner, Variable iteration, Expr upAccess
  inner.nestedIn(outer) and
  iteration = getAnIterationVariable(outer, _) and
  iteration = getAnIterationVariable(inner, upAccess)
select inner.getTest(), "Nested for statement uses loop variable $@ of enclosing $@.", upAccess,
  iteration.getName(), outer, "for statement"

Sunbelt Computer Software

PL/B Language Development and Support

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Sunbelt Computer Software

PL/B Language Development and Support

Uh oh!

FilesExpand file tree

NestedLoopsSameVariable.ql

Latest commit

History

NestedLoopsSameVariable.ql

File metadata and controls