hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python: Don't report uninitialized locals in unreachable code.

Browse Source
This commit is contained in:
Mark Shannon
2019-06-25 15:52:48 +01:00
parent 927d72414b
commit 7bbe39ef01
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
python/ql/src/Variables/UninitializedLocal.ql
View File

@@ -12,7 +12,7 @@
import python
import Undefined
import semmle.python.pointsto.PointsTo
predicate uninitialized_local(NameNode use) {
exists(FastLocalVariable local |
@@ -21,7 +21,7 @@ predicate uninitialized_local(NameNode use) {
)
and
(
any(Uninitialized uninit).taints(use)
any(Uninitialized uninit).taints(use) and PointsToInternal::reachableBlock(use.getBasicBlock(), _)
or
not exists(EssaVariable var | var.getASourceUse() = use)
)