CodeQL library for JavaScript
Search

Predicate RangeAnalysis::linearDefinition

Holds if r can be modeled as r = root * sign + bias.

Import path

import javascript
predicate linearDefinition(Node r, Node root, int sign, Bias bias)