Repository navigation

Python extractor: overlay support - #20206

Closed

d10c wants to merge 14 commits into

github:mainfrom

d10c:d10c/python-overlay

Closed

Python extractor: overlay support#20206
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