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