Query module SpinOnField

name
Spin on field
description
Repeatedly reading a non-volatile field within the condition of an empty loop may result in an infinite loop.
kind
problem
problem.severity
warning
precision
medium
id
java/spin-on-field
tags
efficiency correctness concurrency

Imports

java

Provides all default Java QL imports.

Classes

ComparisonOrEqTestExpr

A numerical comparison or an equality test.

Empty

An empty statement or block.

EmptyLoop

An empty loop statement.

FieldAccessInThis

An access to a field in this object.