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

yoff · web-flow · commit e46722f3beb4 · 2024-10-17T17:23:00.000+02:00
diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/TypeTrackingImpl.qll b/python/ql/lib/semmle/python/dataflow/new/internal/TypeTrackingImpl.qll
@@ -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) }
 }

Original file line number	Diff line number	Diff line change
`@@ -318,7 +318,7 @@ module TypeTrackingInput implements Shared::TypeTrackingInput<Location> {`
`318`	`318`	`capturedJumpStep(nodeFrom, nodeTo)`
`319`	`319`	`}`
`320`	`320`
`321`		`- predicate hasFeatureBacktrackStoreTarget() { none() }`
	`321`	`+ predicate hasFeatureBacktrackStoreTarget() { any() }`
`322`	`322`
`323`	`323`	`predicate nonStandardFlowsTo(LocalSourceNode localSource, Node dst) { localSource.flowsTo(dst) }`
`324`	`324`	`}`