We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 5f438e4 commit 72e9791Copy full SHA for 72e9791
python/ql/src/Variables/UninitializedLocal.ql
@@ -15,7 +15,9 @@ import Undefined
15
import semmle.python.pointsto.PointsTo
16
17
predicate uninitialized_local(NameNode use) {
18
- exists(FastLocalVariable local | use.uses(local) or use.deletes(local) | not local.escapes() and not local = any(Nonlocal nl).getAVariable()) and
+ exists(FastLocalVariable local | use.uses(local) or use.deletes(local) |
19
+ not local.escapes() and not local = any(Nonlocal nl).getAVariable()
20
+ ) and
21
(
22
any(Uninitialized uninit).taints(use) and
23
PointsToInternal::reachableBlock(use.getBasicBlock(), _)
0 commit comments