Predicate RangeAnalysis::linearDefinition
Holds if r can be modeled as r = root * sign + bias.
Import path
import semmle.javascript.RangeAnalysispredicate linearDefinition(Node r, Node root, int sign, Bias bias)Holds if r can be modeled as r = root * sign + bias.
import semmle.javascript.RangeAnalysispredicate linearDefinition(Node r, Node root, int sign, Bias bias)