python: rewrite not away

yoff · web-flow · commit e54ada175dcd · 2022-07-01T07:03:14.000Z
A `LocalSourceNode` is either a `ModuleVariableNode`
or an `ExprNode`.
diff --git a/python/ql/lib/semmle/python/ApiGraphs.qll b/python/ql/lib/semmle/python/ApiGraphs.qll
@@ -721,7 +721,7 @@ module API {
     DataFlow::LocalSourceNode trackUseNode(DataFlow::LocalSourceNode src) {
       Stages::TypeTracking::ref() and
       result = trackUseNode(src, DataFlow::TypeTracker::end()) and
-      not result instanceof DataFlow::ModuleVariableNode
+      result instanceof DataFlow::ExprNode
     }
 
     /**

Original file line number	Diff line number	Diff line change
`@@ -721,7 +721,7 @@ module API {`
`721`	`721`	`DataFlow::LocalSourceNode trackUseNode(DataFlow::LocalSourceNode src) {`
`722`	`722`	`Stages::TypeTracking::ref() and`
`723`	`723`	`result = trackUseNode(src, DataFlow::TypeTracker::end()) and`
`724`		`- not result instanceof DataFlow::ModuleVariableNode`
	`724`	`+ result instanceof DataFlow::ExprNode`
`725`	`725`	`}`
`726`	`726`
`727`	`727`	`/**`