CodeQL library for JavaScript
Search

Predicate RangeAnalysis::foldedComparisonEdge

Holds if a comparison implies that A <= B + c.

Comparisons where one operand is really a constant are converted into a unary constraint.

Import path

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