CodeQL library for JavaScript/TypeScript
codeql/javascript-all 2.1.1 (changelog, source)
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)