CodeQL library for JavaScript
Search

Predicate RangeAnalysis::linearDefinitionSum

Holds if r can be modeled as r = xroot * xsign + yroot * ysign + bias.

Import path

import javascript
predicate linearDefinitionSum(Node r, Node xroot, int xsign, Node yroot, int ysign, Bias bias)