CodeQL library for JavaScript
Search

Predicate RangeAnalysis::phiEdge

Holds if A <= B + c can be determined based on a phi node.

Import path

import javascript
predicate phiEdge(ControlFlowNode cfg, Node a, int asign, Node b, int bsign, Bias c)