Skip to content

Commit 8790f63

Browse files
yoffCopilot
andcommitted
Python: qualify Flow.qll's AST references with Py:: prefix
Prepares Flow.qll for co-existence with the new CFG facade by switching 'import python' to 'import python as Py' and qualifying every AST-class reference inside Flow.qll's body. Flow.qll's own CFG types (ControlFlowNode, BasicBlock, CallNode, NameNode, etc.) keep their unqualified names. This change is a no-op semantically: * all 24 evaluation-order tests still pass, * the bindings + store-load + new-CFG-SSA library tests still pass, * compilation produces zero errors. The change enables a follow-up commit to swap python.qll's 'import semmle.python.Flow' for 'import semmle.python.controlflow.internal.Cfg' without triggering name-clash errors inside Flow.qll itself. Legacy modules that still want the legacy CFG (essa/, GuardedControlFlow, LegacyPointsTo, objects/, pointsto/, types/, dataflow/old/) will need a similar treatment in subsequent commits. The qualification was applied mechanically via a script that prefixed every reference to a known AST class. The list includes the standard AST node types from semmle.python.{Files, Variables, Stmts, Exprs, Class, Function, Patterns, Comprehensions} plus 'Location' / 'File' / 'Folder' / 'Container' / 'ConditionBlock' / 'Delete' / 'Load'. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
1 parent 96de5cf commit 8790f63

1 file changed

Lines changed: 182 additions & 182 deletions

File tree

0 commit comments

Comments
 (0)