Query module BitwiseSignCheck

name
Sign check of bitwise operation
description
Checking the sign of the result of a bitwise operation may yield unexpected results.
kind
problem
problem.severity
warning
id
js/bitwise-sign-check
tags
reliability correctness
precision
medium

Imports

javascript

Provides classes for working with JavaScript programs, as well as JSON, YAML and HTML.

Predicates

acceptableSignCheck

Holds if b is a bitwise operation whose result can safely be compared to zero without risking unexpected results due to sign bits.