CodeQL library for JavaScript
Search

Predicate RangeAnalysis::seedEdge

The set of initial edges including those from dual constraints.

Import path

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