Add `overlay[local]` annotations - #21116

Merged

tausbn merged 13 commits into

mainfrom

tausbn/python-add-dataflow-overlay-annotations

Feb 21, 2026

Commits on Feb 16, 2026

Python: Add overlay annotations to AST classes
tausbn
committed
fd7b123
Python: Fix broken queries
tausbn
committed
51ebec9
Python: Simple dataflow annotations
tausbn
committed
df0f2f8
Python: `LocalSources.qll` annotations
tausbn
committed
c46c662
Python: `DataFlowPublic.qll` annotations
tausbn
committed
bd71db8
Python: `DataFlowPrivate.qll` annotations
tausbn
committed
7ea96c4
Python: `DataFlowDispatch.qll` annotations
tausbn
committed
306d7d1
Python: Fix `frameworks/data/warnings.ql`
tausbn
committed
248932d
Python: Add more `overlay[caller]` to `Flow.qll`
tausbn
committed
72f5109
Python: Fix bad join in `OutgoingRequestCall`
tausbn
committed
987b10a
Python: Fix bad join in `missing_imported_module`
tausbn
committed
304cd12
Python: Fix bad join in `returnStep`
tausbn
committed
cd62cda

Commits on Feb 18, 2026

Python: Add change note
tausbn
committed
3d4785f