python: rewrite not away

A `LocalSourceNode` is either a `ModuleVariableNode`
or an `ExprNode`.
This commit is contained in:
yoff
2022-07-01 07:03:14 +00:00
committed by GitHub
parent 5042c804dd
commit e54ada175d

View File

@@ -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
}
/**