Python extractor: overlay support - #20206

Closed

d10c wants to merge 14 commits into

github:mainfrom

d10c:d10c/python-overlay

Commits on Sep 12, 2025

Add overlay builtins to python dbscheme
d10c
committed
5dbe2e2
Turn on overlay support in codeql-extractor.yml
d10c
committed
a9f8640
Add database upgrade/downgrade scripts
d10c
committed
1f01b11
Support CODEQL_PATH_TRANSFORMER env var in python path renamer
d10c
committed
c0497af
Python extractor: in overlay mode, traverse only changed files
d10c
committed
f4defdc
Write overlay metadata at end of extraction.
d10c
committed
44219d0
Discard predicates for dbscheme elements
d10c
committed
8edd6c1
Add synthetic data to dbscheme.stats for `databaseMetadata`/`overlayChangedFiles`
d10c
committed
693add0
Overlay.qll: remove `overlay[local?] module;` in favour of explicit annotations
d10c
committed
627a7b4
Extractor: fall back to full extraction on overlay changes json read error
d10c
committed
5ef3215
Path transformer: handle Windows-style paths
d10c
committed
4bea5d7
Extractor: use filesystem-canonical path comparison to determine built-in files
d10c
committed
01cf7e9
Extractor: move overlay-changes check from traverser to worker
d10c
committed
2ed8dc7
Overlay.qll: Streamline discardable entities into one Discardable superclass
d10c
committed
c2f026d