mirror of
https://github.com/github/codeql.git
synced 2025-12-19 18:33:16 +01:00
11c85f0fb5
Removes steps from `ModuleVariableNode`s from `essaFlowStep`, and instead puts them only in `jumpStep`. This cleans up the logic a bit. This slightly broke the type tracker implementation (as it relied on `essaFlowStep` being fairly liberal), so I have rewritten it to explicitly rely on just familiar predicates for local and jump steps. Additionally, we disallow Essa-to-Essa steps where exactly one of the two nodes corresponds to a global variable (i.e. only local-local and global-global steps).
7 lines
196 B
Plaintext
7 lines
196 B
Plaintext
os_import
|
|
| test.py:2:8:2:9 | GSSA Variable os |
|
|
flowstep
|
|
jumpStep
|
|
| test.py:2:8:2:9 | GSSA Variable os | test.py:0:0:0:0 | ModuleVariableNode for Global Variable os in Module test |
|
|
essaFlowStep
|