Predicate RangeAnalysis::linearDefinitionSum
Holds if r can be modeled as r = xroot * xsign + yroot * ysign + bias.
Import path
import semmle.javascript.RangeAnalysisHolds if r can be modeled as r = xroot * xsign + yroot * ysign + bias.
import semmle.javascript.RangeAnalysis