codeql/javascript-all
0.8.3
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if A <= B + c can be determined based on a phi node.
A <= B + c
import javascript
predicate phiEdge(ControlFlowNode cfg, Node a, int asign, Node b, int bsign, Bias c)