CodeQL library for JavaScript
Search

Predicate RangeAnalysis::comparisonEdge

Holds if immediately after cfg it becomes known that A <= B + c.

These are the initial inputs to the difference bound constraint system.

The dual constraint -B <= -A + c is not included in this predicate.

Import path

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