Skip to content

Overlay: Add XML and Java property discarding #20011

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Jul 15, 2025

Conversation

kaspersv
Copy link
Contributor

@kaspersv kaspersv commented Jul 10, 2025

This PR adds discard predicates for Java to discard XML locatables and Java properties. XML and Java property extraction is not incremental and the overlay therefore contains a full XML and Java property extraction during overlay analysis. If the overlay contains any XML locatables, all XML locatables are discarded from base, and likewise for Java properties.

Overlay compilation is currently disabled for Java and the discard predicates currently have no effect on compilation or evaluation.

For https://github.com/github/codeql-core/issues/5003.

@github-actions github-actions bot added the Java label Jul 10, 2025
@kaspersv kaspersv force-pushed the kaspersv/discard-xml branch from 7390fb1 to 8351cb4 Compare July 10, 2025 09:25
@kaspersv kaspersv force-pushed the kaspersv/discard-xml branch from 8351cb4 to 0739c03 Compare July 10, 2025 10:31
@kaspersv kaspersv marked this pull request as ready for review July 14, 2025 06:10
@kaspersv kaspersv requested a review from a team as a code owner July 14, 2025 06:10
@kaspersv kaspersv requested a review from aschackmull July 14, 2025 06:25
@kaspersv kaspersv added the no-change-note-required This PR does not need a change note label Jul 14, 2025
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
Copy link
Contributor

@aschackmull aschackmull left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

One minor nit, otherwise looks plausible.

@kaspersv kaspersv merged commit 9c3e275 into github:main Jul 15, 2025
16 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Java no-change-note-required This PR does not need a change note
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants