python: ParameterNode -> SourceParameterNode

This commit is contained in:
yoff
2022-06-21 12:55:22 +00:00
committed by GitHub
parent 2c2395ffd7
commit dd69100dcd
8 changed files with 8 additions and 8 deletions

View File

@@ -9,7 +9,7 @@ class MaximalFlowsConfig extends DataFlow::Configuration {
MaximalFlowsConfig() { this = "AllFlowsConfig" }
override predicate isSource(DataFlow::Node node) {
node instanceof DataFlow::SourceParameterNode
node instanceof DataFlow::ParameterNode
or
node instanceof DataFlow::EssaNode and
not exists(DataFlow::EssaNode pred | DataFlow::localFlowStep(pred, node))