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

Member predicate DataFlow :: Configuration :: isAdditionalFlowStep

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

predicate isAdditionalFlowStep ( Node src , Node trg , FlowLabel inlbl , FlowLabel outlbl )