CodeQL library for JavaScript
codeql/javascript-all 0.7.5 ( changelog , source )
Search

Member predicate Configuration :: isAdditionalFlowStep

Holds if src -> trg is a flow edge converting flow with label inlbl to flow with label outlbl.

predicate isAdditionalFlowStep ( Node pred , Node succ , FlowLabel predLbl , FlowLabel succLbl )