Yoff/python use shared cfg for dataflow#21894

Draft

yoff wants to merge 80 commits into

mainfrom

yoff/python-use-shared-cfg-for-dataflow

Commits on May 28, 2026

Python: Add self-validating CFG tests

tausbn
authored and
yoff
committed
Python: Add some CFG-validation queries

tausbn
authored and
yoff
committed
Python: Add BasicBlockOrdering test

tausbn
authored and
yoff
committed
Python: Add NeverReachable test

tausbn
authored and
yoff
committed
Python: Add ConsecutiveTimestamps test

tausbn
authored and
yoff
committed
Python: Make CFG tests parameterised

tausbn
and
yoff
committed
Python: First stab at shared control-flow

tausbn
authored and
yoff
committed
Python: Use fields everywhere in new AST classes

tausbn
and
yoff
committed
Python: Instantiate CFG module fully

tausbn
and
yoff
committed
Python: Instantiate CFG tests with new CFG library

tausbn
and
yoff
committed
Python: More AstNodeImpl improvements

tausbn
and
yoff
committed
Python: Ignore synthetic CFG nodes

tausbn
and
yoff
committed
Python: Support various literals

tausbn
and
yoff
committed
Python: Assert statements

tausbn
and
yoff
committed
Python: Function calls

tausbn
and
yoff
committed
Python: Attributes

tausbn
and
yoff
committed
Python: assignments

tausbn
and
yoff
committed
Python: More simple statements

tausbn
and
yoff
committed
Python: Add `with`

tausbn
and
yoff
committed
Python: Comprehensions

tausbn
and
yoff
committed
Python: More nodes

tausbn
and
yoff
committed
Python: Support `match`

tausbn
and
yoff
committed
Python: Fix match

tausbn
and
yoff
committed
Python: Fix exception issue

tausbn
and
yoff
committed
Python: Handle dict unpacking in calls

tausbn
and
yoff
committed
WIP

tausbn
authored and
yoff
committed
WIP2

tausbn
authored and
yoff
committed
Cleanup, printCFG

tausbn
and
yoff
committed
Python: add pattern nodes

yoff
and
Copilot
committed
python: add consistency checks

yoff
and
aschackmull
committed
Python: collapse two-layer AstNodeImpl into a single Ast module

authored and
yoff
committed
Python: compact-renumber FunctionExpr/Lambda defaults

authored and
yoff
committed
Shared CFG: support for-else and while-else loops

authored and
yoff
committed
Python: include try-else in getChild for completion propagation

authored and
yoff
committed
Python: refactor getChild into per-class OO dispatch

authored and
yoff
committed
Python: adapt to new shared CFG signature

authored and
yoff
committed
Python: dispatch toString/getLocation/getEnclosingCallable per branch

authored and
yoff
committed
Python: merge T*AstNode wrappers into matching public classes

authored and
yoff
committed
Python: unify Py::BoolExpr handling via TBoolExprPair

authored and
yoff
committed
Python: index TBlockStmt by Py::StmtList instead of (parent, slot)

authored and
yoff
committed
Python: document why Assignment subclasses are empty

authored and
yoff
committed
Python: use private-abstract + final-alias pattern for AstNode

authored and
yoff
committed
Python: introduce TStmt union via newtype-branch alias

authored and
yoff
committed
Python: simplify TBlockStmt char pred via exclusion list

authored and
yoff
committed
Python: introduce TExpr union via newtype-branch alias

authored and
yoff
committed
Python: use newtype-branch constructors in characteristic predicates

authored and
yoff
committed
Python: project via as* helpers outside characteristic predicates

authored and
yoff
committed
Python: add CFG-binding gap tests (red)

Copilot
authored and
yoff
committed
Python: wire AnnAssign into the shared CFG (green)

Copilot
authored and
yoff
committed
Python: wire parameters into the shared CFG (C# pattern)

Copilot
authored and
yoff
committed
Python: wire import-statement bindings into the shared CFG (green)

Copilot
authored and
yoff
committed
Python: wire match-pattern bindings into the shared CFG (green)

Copilot
authored and
yoff
committed
Python: wire PEP 695 type parameters into the shared CFG (green)

yoff
and
Copilot
committed
Python: test dead bindings under no-raise CFG abstraction

yoff
and
Copilot
committed
Python: introduce new-CFG facade

yoff
and
Copilot
committed
Python: introduce shared-SSA adapter on the new CFG

yoff
and
Copilot
committed
Python: fix augstore for the new CFG and add store/load test

yoff
and
Copilot
committed
Python: bring Cfg.qll's facade to API parity with Flow.qll

yoff
and
Copilot
committed
Python: qualify Flow.qll's AST references with Py:: prefix

yoff
and
Copilot
committed
Python: extend new SSA with ESSA-shaped adapter + baseline comparison test

yoff
and
Copilot
committed
Python: SSA: handle closure variables via per-scope entry defs

yoff
and
Copilot
committed
Python: SSA adapter: add MultiAssignmentDefinition, definedBy, useOfDef

yoff
and
Copilot
committed
Python: remove getAFlowNode() — bridge AST→CFG only via CFG-side getNode()

yoff
and
Copilot
committed
Python: migrate dataflow library to new CFG + shared SSA

yoff
and
Copilot
committed
Python: update dataflow tests for new CFG + shared SSA

yoff
and
Copilot
committed
Python: model `from X import *` as uncertain SSA writes

yoff
and
Copilot
committed
Python: treat augmented-assignment targets as both load and store

yoff
and
Copilot
committed
Python: drop legacy essa import from ImportResolution

yoff
and
Copilot
committed
Python: adapt AstNodeImpl to upstream shared-CFG signature changes

yoff
and
Copilot
committed
Python: migrate remaining query-side files to new Cfg::

yoff
and
Copilot
committed
Python: omit PEP 695 type-param names from FunctionDefExpr/ClassDefExpr children

yoff
and
Copilot
committed
Python: migrate src queries to new shared CFG types + reformat

yoff
and
Copilot
committed
Python: canonicalize CFG nodes for dataflow

yoff
and
Copilot
committed
Python: fix library-test compile errors and rebless after CFG migration

yoff
and
Copilot
committed
Python: migrate remaining tests off getAFlowNode() and fix star-import SSA step

yoff
and
Copilot
committed
Python: migrate two more test queries off legacy CFG types

yoff
and
Copilot
committed
Python: rebless toString churn from shared-CFG migration

yoff
and
Copilot
committed
Python: rebless second round after shared-CFG dataflow migration

yoff
and
Copilot
committed
Python: rebless CONSISTENCY queries + revert LongPath

yoff
and
Copilot
committed
Python: fold in evaluation-order review-comment fixes from main

yoff
and
Copilot
committed