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