Python: proper catch-type modelling (follow-up once #22017 lands)#21937

Draft

yoff wants to merge 7 commits into

yoff/python-shared-cfg-dataflow-flipfrom

yoff/python-cfg-modelling-exceptions

Commits on Jun 22, 2026

Python: qualify Flow.qll's AST references with Py:: prefix

Copilot
authored and
yoff
committed
Apply suggestions from code review

yoff
and
Copilot
committed
Shared CFG: add defaulted getWhileElse/getForeachElse/getCatchType to AstSig

authored and
yoff
committed
Python: add new shared-CFG-backed control flow graph

Copilot
authored and
yoff
committed
Python: add new shared-SSA-backed SSA adapter

Copilot
authored and
yoff
committed
Python: switch dataflow library to new (shared) CFG + SSA

yoff
and
Copilot
committed
Python: model exception edges for raise-prone expressions inside try/with

yoff
and
Copilot
committed