Update python/ql/lib/semmle/python/dataflow/new/internal/TypeTrackingImpl.qll

This commit is contained in:
yoff
2024-10-17 17:23:00 +02:00
committed by GitHub
parent 22d621c625
commit e46722f3be

View File

@@ -318,7 +318,7 @@ module TypeTrackingInput implements Shared::TypeTrackingInput<Location> {
capturedJumpStep(nodeFrom, nodeTo)
}
predicate hasFeatureBacktrackStoreTarget() { none() }
predicate hasFeatureBacktrackStoreTarget() { any() }
predicate nonStandardFlowsTo(LocalSourceNode localSource, Node dst) { localSource.flowsTo(dst) }
}