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