René's URL Explorer Experiment


Title: Python extractor: overlay support by d10c · Pull Request #20206 · github/codeql · GitHub

Open Graph Title: Python extractor: overlay support by d10c · Pull Request #20206 · github/codeql

X Title: Python extractor: overlay support by d10c · Pull Request #20206 · github/codeql

Description: This PR adds overlay support to the Python extractor, but no overlay compilation (to be merged separately since it needs further testing, see this PR). This PR also includes an initial pass at the ...

Open Graph Description: This PR adds overlay support to the Python extractor, but no overlay compilation (to be merged separately since it needs further testing, see this PR). This PR also includes an initial pass at the ...

X Description: This PR adds overlay support to the Python extractor, but no overlay compilation (to be merged separately since it needs further testing, see this PR). This PR also includes an initial pass at the ...

Opengraph URL: https://github.com/github/codeql/pull/20206

X: @github

direct link

Domain: patch-diff.githubusercontent.com

route-pattern/_view_fragments/voltron/pull_requests/show/:user_id/:repository/:id/pull_request_layout(.:format)
route-controllervoltron_pull_requests_fragments
route-actionpull_request_layout
fetch-noncev2:ec4d6b9f-e0ba-6a9e-e8f4-d05fca2550cd
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idA60A:1699A3:23D7F3:30D720:698EE120
html-safe-nonce40dc4a564393e65f4eafd20fa3f903ba896a5e69518854eb5f3deb2922e95be1
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJBNjBBOjE2OTlBMzoyM0Q3RjM6MzBENzIwOjY5OEVFMTIwIiwidmlzaXRvcl9pZCI6IjEzODA2MTgxNzEwNzgwNzQ2NTYiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmacaa051515e53ccb56c4d84a25fb6901444f0ff2b48df1e0a859750332d1d753f1
hovercard-subject-tagpull_request:2735779914
github-keyboard-shortcutsrepository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///voltron/pull_requests_fragments/pull_request_layout
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/_view_fragments/voltron/pull_requests/show/github/codeql/20206/pull_request_layout
twitter:imagehttps://opengraph.githubassets.com/90f7f4950aa2191cc5ba25cc6b248fe3501c6e10bb2cf624ef5ca203aea1dd4b/github/codeql/pull/20206
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/90f7f4950aa2191cc5ba25cc6b248fe3501c6e10bb2cf624ef5ca203aea1dd4b/github/codeql/pull/20206
og:image:altThis PR adds overlay support to the Python extractor, but no overlay compilation (to be merged separately since it needs further testing, see this PR). This PR also includes an initial pass at the ...
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernamed10c
hostnamegithub.com
expected-hostnamegithub.com
Nonecb2828a801ee6b7be618f3ac76fbf55def35bbc30f053a9c41bf90210b8b72ba
turbo-cache-controlno-preview
go-importgithub.com/github/codeql git https://github.com/github/codeql.git
octolytics-dimension-user_id9919
octolytics-dimension-user_logingithub
octolytics-dimension-repository_id143040428
octolytics-dimension-repository_nwogithub/codeql
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id143040428
octolytics-dimension-repository_network_root_nwogithub/codeql
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
releasee6b91a7e6e46287d26887e3fb7a4161657bab8f7
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://patch-diff.githubusercontent.com/github/codeql/pull/20206#start-of-content
https://patch-diff.githubusercontent.com/
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fgithub%2Fcodeql%2Fpull%2F20206
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fgithub%2Fcodeql%2Fpull%2F20206
Sign up https://patch-diff.githubusercontent.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fvoltron%2Fpull_requests_fragments%2Fpull_request_layout&source=header-repo&source_repo=github%2Fcodeql
Reloadhttps://patch-diff.githubusercontent.com/github/codeql/pull/20206
Reloadhttps://patch-diff.githubusercontent.com/github/codeql/pull/20206
Reloadhttps://patch-diff.githubusercontent.com/github/codeql/pull/20206
github https://patch-diff.githubusercontent.com/github
codeqlhttps://patch-diff.githubusercontent.com/github/codeql
Notifications https://patch-diff.githubusercontent.com/login?return_to=%2Fgithub%2Fcodeql
Fork 1.9k https://patch-diff.githubusercontent.com/login?return_to=%2Fgithub%2Fcodeql
Star 9.2k https://patch-diff.githubusercontent.com/login?return_to=%2Fgithub%2Fcodeql
Code https://patch-diff.githubusercontent.com/github/codeql
Issues 927 https://patch-diff.githubusercontent.com/github/codeql/issues
Pull requests 365 https://patch-diff.githubusercontent.com/github/codeql/pulls
Discussions https://patch-diff.githubusercontent.com/github/codeql/discussions
Actions https://patch-diff.githubusercontent.com/github/codeql/actions
Projects 0 https://patch-diff.githubusercontent.com/github/codeql/projects
Models https://patch-diff.githubusercontent.com/github/codeql/models
Security 0 https://patch-diff.githubusercontent.com/github/codeql/security
Insights https://patch-diff.githubusercontent.com/github/codeql/pulse
Code https://patch-diff.githubusercontent.com/github/codeql
Issues https://patch-diff.githubusercontent.com/github/codeql/issues
Pull requests https://patch-diff.githubusercontent.com/github/codeql/pulls
Discussions https://patch-diff.githubusercontent.com/github/codeql/discussions
Actions https://patch-diff.githubusercontent.com/github/codeql/actions
Projects https://patch-diff.githubusercontent.com/github/codeql/projects
Models https://patch-diff.githubusercontent.com/github/codeql/models
Security https://patch-diff.githubusercontent.com/github/codeql/security
Insights https://patch-diff.githubusercontent.com/github/codeql/pulse
Sign up for GitHub https://patch-diff.githubusercontent.com/signup?return_to=%2Fgithub%2Fcodeql%2Fissues%2Fnew%2Fchoose
terms of servicehttps://docs.github.com/terms
privacy statementhttps://docs.github.com/privacy
Sign inhttps://patch-diff.githubusercontent.com/login?return_to=%2Fgithub%2Fcodeql%2Fissues%2Fnew%2Fchoose
Jump to bottomhttps://patch-diff.githubusercontent.com/github/codeql/pull/20206#issue-comment-box
d10chttps://patch-diff.githubusercontent.com/d10c
github:mainhttps://patch-diff.githubusercontent.com/github/codeql/tree/main
d10c:d10c/python-overlayhttps://patch-diff.githubusercontent.com/d10c/codeql/tree/d10c/python-overlay
Python extractor: overlay support https://patch-diff.githubusercontent.com/github/codeql/pull/20206#top
d10chttps://patch-diff.githubusercontent.com/d10c
github:mainhttps://patch-diff.githubusercontent.com/github/codeql/tree/main
d10c:d10c/python-overlayhttps://patch-diff.githubusercontent.com/d10c/codeql/tree/d10c/python-overlay
Conversation 18 https://patch-diff.githubusercontent.com/github/codeql/pull/20206
Commits 14 https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits
Checks 10 https://patch-diff.githubusercontent.com/github/codeql/pull/20206/checks
Files changed https://patch-diff.githubusercontent.com/github/codeql/pull/20206/files
Please reload this pagehttps://patch-diff.githubusercontent.com/github/codeql/pull/20206
https://github.co/hiddenchars
https://patch-diff.githubusercontent.com/github/codeql/pull/{{ revealButtonHref }}
https://patch-diff.githubusercontent.com/d10c
d10chttps://patch-diff.githubusercontent.com/d10c
Aug 11, 2025https://patch-diff.githubusercontent.com/github/codeql/pull/20206#issue-3310364888
Please reload this pagehttps://patch-diff.githubusercontent.com/github/codeql/pull/20206
this PRhttps://github.com/d10c/codeql/pull/1
Please reload this pagehttps://patch-diff.githubusercontent.com/github/codeql/pull/20206
https://patch-diff.githubusercontent.com/apps/github-actions
github-actionshttps://patch-diff.githubusercontent.com/apps/github-actions
Python https://patch-diff.githubusercontent.com/github/codeql/issues?q=state%3Aopen%20label%3APython
Aug 11, 2025https://patch-diff.githubusercontent.com/github/codeql/pull/20206#event-19090431142
https://patch-diff.githubusercontent.com/d10c
d10chttps://patch-diff.githubusercontent.com/d10c
force-pushedhttps://patch-diff.githubusercontent.com/github/codeql/compare/b18b9ce83df3340cf9d5b18204484b1bec052efe..3015c12deb3c9b86a7bbc53b85a343921b35446d
b18b9cehttps://patch-diff.githubusercontent.com/github/codeql/commit/b18b9ce83df3340cf9d5b18204484b1bec052efe
3015c12https://patch-diff.githubusercontent.com/github/codeql/commit/3015c12deb3c9b86a7bbc53b85a343921b35446d
Compare https://patch-diff.githubusercontent.com/github/codeql/compare/b18b9ce83df3340cf9d5b18204484b1bec052efe..3015c12deb3c9b86a7bbc53b85a343921b35446d
August 12, 2025 10:48https://patch-diff.githubusercontent.com/github/codeql/pull/20206#event-19109389230
https://patch-diff.githubusercontent.com/apps/github-advanced-security
github-advanced-securityhttps://patch-diff.githubusercontent.com/apps/github-advanced-security
Aug 18, 2025 https://patch-diff.githubusercontent.com/github/codeql/pull/20206#pullrequestreview-3129351122
View reviewed changes https://patch-diff.githubusercontent.com/github/codeql/pull/20206/files
python/ql/lib/semmle/python/Overlay.qllhttps://patch-diff.githubusercontent.com/github/codeql/pull/20206/files#diff-c03de9d100e038fe99086a0e366ead388d7350172cb304545536ca28342bb1c4
Please reload this pagehttps://patch-diff.githubusercontent.com/github/codeql/pull/20206
python/ql/lib/semmle/python/Overlay.qllhttps://patch-diff.githubusercontent.com/github/codeql/pull/20206/files#diff-c03de9d100e038fe99086a0e366ead388d7350172cb304545536ca28342bb1c4
Please reload this pagehttps://patch-diff.githubusercontent.com/github/codeql/pull/20206
https://patch-diff.githubusercontent.com/d10c
d10chttps://patch-diff.githubusercontent.com/d10c
force-pushedhttps://patch-diff.githubusercontent.com/github/codeql/compare/b0c7a528780a4b31391cb65f6cbb169befa74a06..b5c833826364f75d8dda3a3cdb84830704e728b9
b0c7a52https://patch-diff.githubusercontent.com/github/codeql/commit/b0c7a528780a4b31391cb65f6cbb169befa74a06
b5c8338https://patch-diff.githubusercontent.com/github/codeql/commit/b5c833826364f75d8dda3a3cdb84830704e728b9
Compare https://patch-diff.githubusercontent.com/github/codeql/compare/b0c7a528780a4b31391cb65f6cbb169befa74a06..b5c833826364f75d8dda3a3cdb84830704e728b9
August 19, 2025 18:20https://patch-diff.githubusercontent.com/github/codeql/pull/20206#event-19230168756
https://patch-diff.githubusercontent.com/apps/github-advanced-security
github-advanced-securityhttps://patch-diff.githubusercontent.com/apps/github-advanced-security
Aug 19, 2025 https://patch-diff.githubusercontent.com/github/codeql/pull/20206#pullrequestreview-3133376195
View reviewed changes https://patch-diff.githubusercontent.com/github/codeql/pull/20206/files
python/ql/lib/semmle/python/Overlay.qllhttps://patch-diff.githubusercontent.com/github/codeql/pull/20206/files#diff-c03de9d100e038fe99086a0e366ead388d7350172cb304545536ca28342bb1c4
Please reload this pagehttps://patch-diff.githubusercontent.com/github/codeql/pull/20206
https://patch-diff.githubusercontent.com/d10c
d10chttps://patch-diff.githubusercontent.com/d10c
force-pushedhttps://patch-diff.githubusercontent.com/github/codeql/compare/f75a3921cb5aadfadb407410f8c28f3cf088459b..63106c04ca455cc015e6a28e33c1a48d721050cf
f75a392https://patch-diff.githubusercontent.com/github/codeql/commit/f75a3921cb5aadfadb407410f8c28f3cf088459b
63106c0https://patch-diff.githubusercontent.com/github/codeql/commit/63106c04ca455cc015e6a28e33c1a48d721050cf
Compare https://patch-diff.githubusercontent.com/github/codeql/compare/f75a3921cb5aadfadb407410f8c28f3cf088459b..63106c04ca455cc015e6a28e33c1a48d721050cf
August 20, 2025 14:32https://patch-diff.githubusercontent.com/github/codeql/pull/20206#event-19247442051
https://patch-diff.githubusercontent.com/d10c
d10chttps://patch-diff.githubusercontent.com/d10c
Aug 27, 2025 https://patch-diff.githubusercontent.com/github/codeql/pull/20206#ref-pullrequest-3358534244
Python overlay compilation #20293 https://patch-diff.githubusercontent.com/github/codeql/pull/20293
https://patch-diff.githubusercontent.com/d10c
d10chttps://patch-diff.githubusercontent.com/d10c
force-pushedhttps://patch-diff.githubusercontent.com/github/codeql/compare/63106c04ca455cc015e6a28e33c1a48d721050cf..b3a1ba5c2e93b4640feed5b8d2e648250dc739c2
63106c0https://patch-diff.githubusercontent.com/github/codeql/commit/63106c04ca455cc015e6a28e33c1a48d721050cf
b3a1ba5https://patch-diff.githubusercontent.com/github/codeql/commit/b3a1ba5c2e93b4640feed5b8d2e648250dc739c2
Compare https://patch-diff.githubusercontent.com/github/codeql/compare/63106c04ca455cc015e6a28e33c1a48d721050cf..b3a1ba5c2e93b4640feed5b8d2e648250dc739c2
August 27, 2025 08:42https://patch-diff.githubusercontent.com/github/codeql/pull/20206#event-19364017126
https://patch-diff.githubusercontent.com/d10c
d10chttps://patch-diff.githubusercontent.com/d10c
Aug 27, 2025 https://patch-diff.githubusercontent.com/github/codeql/pull/20206#ref-pullrequest-3358558321
Python: overlay compilation d10c/codeql#1 https://patch-diff.githubusercontent.com/d10c/codeql/pull/1
https://patch-diff.githubusercontent.com/d10c
d10chttps://patch-diff.githubusercontent.com/d10c
force-pushedhttps://patch-diff.githubusercontent.com/github/codeql/compare/b3a1ba5c2e93b4640feed5b8d2e648250dc739c2..fb239776cf0e597e853175e3ddb1c9939bb89319
b3a1ba5https://patch-diff.githubusercontent.com/github/codeql/commit/b3a1ba5c2e93b4640feed5b8d2e648250dc739c2
fb23977https://patch-diff.githubusercontent.com/github/codeql/commit/fb239776cf0e597e853175e3ddb1c9939bb89319
Compare https://patch-diff.githubusercontent.com/github/codeql/compare/b3a1ba5c2e93b4640feed5b8d2e648250dc739c2..fb239776cf0e597e853175e3ddb1c9939bb89319
August 27, 2025 08:59https://patch-diff.githubusercontent.com/github/codeql/pull/20206#event-19364318406
https://patch-diff.githubusercontent.com/d10c
d10chttps://patch-diff.githubusercontent.com/d10c
Aug 28, 2025https://patch-diff.githubusercontent.com/github/codeql/pull/20206#issuecomment-3232936250
@tausbnhttps://github.com/tausbn
Please reload this pagehttps://patch-diff.githubusercontent.com/github/codeql/pull/20206
https://patch-diff.githubusercontent.com/d10c
d10chttps://patch-diff.githubusercontent.com/d10c
August 28, 2025 10:33https://patch-diff.githubusercontent.com/github/codeql/pull/20206#event-19388631156
https://patch-diff.githubusercontent.com/d10c
d10chttps://patch-diff.githubusercontent.com/d10c
code ownerhttps://patch-diff.githubusercontent.com/github/codeql/blob/fa7295f0a100fac4b3f3c4958ae36eba8a201ffe/CODEOWNERS#L9
August 28, 2025 10:33https://patch-diff.githubusercontent.com/github/codeql/pull/20206#event-19388631250
https://patch-diff.githubusercontent.com/d10c
d10chttps://patch-diff.githubusercontent.com/d10c
Copilothttps://patch-diff.githubusercontent.com/apps/copilot-pull-request-reviewer
tausbnhttps://patch-diff.githubusercontent.com/tausbn
August 28, 2025 10:33https://patch-diff.githubusercontent.com/github/codeql/pull/20206#event-19388631405
https://patch-diff.githubusercontent.com/apps/copilot-pull-request-reviewer
Copilothttps://patch-diff.githubusercontent.com/apps/copilot-pull-request-reviewer
Aug 28, 2025 https://patch-diff.githubusercontent.com/github/codeql/pull/20206#pullrequestreview-3164270470
View reviewed changes https://patch-diff.githubusercontent.com/github/codeql/pull/20206/files
Copilothttps://patch-diff.githubusercontent.com/apps/copilot-pull-request-reviewer
https://patch-diff.githubusercontent.com/github/codeql/pull/20206#pullrequestreview-3164270470
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://patch-diff.githubusercontent.com/github/codeql/pull/20206
python/extractor/semmle/traverser.pyhttps://patch-diff.githubusercontent.com/github/codeql/pull/20206/files#diff-1da853ab745bfecfe817ce625b1c73af8d9f05714fed9da634a2375a87d790a6
Copilothttps://patch-diff.githubusercontent.com/apps/copilot-pull-request-reviewer
Aug 28, 2025https://patch-diff.githubusercontent.com/github/codeql/pull/20206#discussion_r2306988455
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://patch-diff.githubusercontent.com/github/codeql/pull/20206
repository custom instructionshttps://docs.github.com/copilot/how-tos/configure-custom-instructions/add-repository-instructions
https://patch-diff.githubusercontent.com/d10c
d10chttps://patch-diff.githubusercontent.com/d10c
Sep 1, 2025 https://patch-diff.githubusercontent.com/github/codeql/pull/20206#ref-pullrequest-3373011882
Python: enable overlay compilation + extractor overlay support #20337 https://patch-diff.githubusercontent.com/github/codeql/pull/20337
https://patch-diff.githubusercontent.com/tausbn
tausbnhttps://patch-diff.githubusercontent.com/tausbn
Sep 5, 2025 https://patch-diff.githubusercontent.com/github/codeql/pull/20206#pullrequestreview-3189241153
View reviewed changes https://patch-diff.githubusercontent.com/github/codeql/pull/20206/files
tausbnhttps://patch-diff.githubusercontent.com/tausbn
https://patch-diff.githubusercontent.com/github/codeql/pull/20206#pullrequestreview-3189241153
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
https://github.com/github/codeql/tree/main/python/extractor/cli-integration-testhttps://github.com/github/codeql/tree/main/python/extractor/cli-integration-test
https://github.com/github/codeql/blob/main/python/extractor/semmle/util.py#L13https://github.com/github/codeql/blob/main/python/extractor/semmle/util.py#L13
Please reload this pagehttps://patch-diff.githubusercontent.com/github/codeql/pull/20206
python/extractor/semmle/traverser.pyhttps://patch-diff.githubusercontent.com/github/codeql/pull/20206/files#diff-1da853ab745bfecfe817ce625b1c73af8d9f05714fed9da634a2375a87d790a6
tausbnhttps://patch-diff.githubusercontent.com/tausbn
Sep 5, 2025https://patch-diff.githubusercontent.com/github/codeql/pull/20206#discussion_r2325009017
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://patch-diff.githubusercontent.com/github/codeql/pull/20206
d10chttps://patch-diff.githubusercontent.com/d10c
Sep 5, 2025https://patch-diff.githubusercontent.com/github/codeql/pull/20206#discussion_r2325526335
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://patch-diff.githubusercontent.com/github/codeql/pull/20206
https://patch-diff.githubusercontent.com/d10c
d10chttps://patch-diff.githubusercontent.com/d10c
Sep 5, 2025https://patch-diff.githubusercontent.com/github/codeql/pull/20206#issuecomment-3258914614
https://github.com/github/codeql/tree/main/python/extractor/cli-integration-testhttps://github.com/github/codeql/tree/main/python/extractor/cli-integration-test
herehttps://github.com/github/semmle-code/pull/53717
Please reload this pagehttps://patch-diff.githubusercontent.com/github/codeql/pull/20206
https://patch-diff.githubusercontent.com/d10c
d10chttps://patch-diff.githubusercontent.com/d10c
force-pushedhttps://patch-diff.githubusercontent.com/github/codeql/compare/fb239776cf0e597e853175e3ddb1c9939bb89319..f309dc6c7dc3540c964f971994dd5f7db1f4f152
fb23977https://patch-diff.githubusercontent.com/github/codeql/commit/fb239776cf0e597e853175e3ddb1c9939bb89319
f309dc6https://patch-diff.githubusercontent.com/github/codeql/commit/f309dc6c7dc3540c964f971994dd5f7db1f4f152
Compare https://patch-diff.githubusercontent.com/github/codeql/compare/fb239776cf0e597e853175e3ddb1c9939bb89319..f309dc6c7dc3540c964f971994dd5f7db1f4f152
September 10, 2025 18:42https://patch-diff.githubusercontent.com/github/codeql/pull/20206#event-19619459304
https://patch-diff.githubusercontent.com/d10c
d10chttps://patch-diff.githubusercontent.com/d10c
Sep 10, 2025https://patch-diff.githubusercontent.com/github/codeql/pull/20206#issuecomment-3276133165
Please reload this pagehttps://patch-diff.githubusercontent.com/github/codeql/pull/20206
https://patch-diff.githubusercontent.com/jbj
jbjhttps://patch-diff.githubusercontent.com/jbj
Sep 12, 2025 https://patch-diff.githubusercontent.com/github/codeql/pull/20206#pullrequestreview-3216203569
View reviewed changes https://patch-diff.githubusercontent.com/github/codeql/pull/20206/files
python/extractor/semmle/extractors/builtin_extractor.pyhttps://patch-diff.githubusercontent.com/github/codeql/pull/20206/files#diff-740ceb1df5ca5ff07950711d6d1886c62cfc6233b385c94346594c8309ba21bc
Please reload this pagehttps://patch-diff.githubusercontent.com/github/codeql/pull/20206
https://patch-diff.githubusercontent.com/jbj
jbjhttps://patch-diff.githubusercontent.com/jbj
Sep 12, 2025 https://patch-diff.githubusercontent.com/github/codeql/pull/20206#pullrequestreview-3216701407
View reviewed changes https://patch-diff.githubusercontent.com/github/codeql/pull/20206/files
jbjhttps://patch-diff.githubusercontent.com/jbj
https://patch-diff.githubusercontent.com/github/codeql/pull/20206#pullrequestreview-3216701407
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://patch-diff.githubusercontent.com/github/codeql/pull/20206
python/ql/lib/semmle/python/Overlay.qllhttps://patch-diff.githubusercontent.com/github/codeql/pull/20206/files#diff-c03de9d100e038fe99086a0e366ead388d7350172cb304545536ca28342bb1c4
Please reload this pagehttps://patch-diff.githubusercontent.com/github/codeql/pull/20206
python/ql/lib/semmle/python/Overlay.qllhttps://patch-diff.githubusercontent.com/github/codeql/pull/20206/files#diff-c03de9d100e038fe99086a0e366ead388d7350172cb304545536ca28342bb1c4
Please reload this pagehttps://patch-diff.githubusercontent.com/github/codeql/pull/20206
python/ql/lib/semmle/python/Overlay.qllhttps://patch-diff.githubusercontent.com/github/codeql/pull/20206/files#diff-c03de9d100e038fe99086a0e366ead388d7350172cb304545536ca28342bb1c4
jbjhttps://patch-diff.githubusercontent.com/jbj
Sep 12, 2025https://patch-diff.githubusercontent.com/github/codeql/pull/20206#discussion_r2344333768
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://patch-diff.githubusercontent.com/github/codeql/pull/20206
d10chttps://patch-diff.githubusercontent.com/d10c
Sep 12, 2025https://patch-diff.githubusercontent.com/github/codeql/pull/20206#discussion_r2344497360
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://patch-diff.githubusercontent.com/github/codeql/pull/20206
d10chttps://patch-diff.githubusercontent.com/d10c
September 12, 2025 23:13https://patch-diff.githubusercontent.com/github/codeql/pull/20206#commits-pushed-5dbe2e2
https://patch-diff.githubusercontent.com/d10c
Add overlay builtins to python dbschemehttps://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/5dbe2e2d81348465c5c3538e6eef4f6b3bc3b3c8
5dbe2e2https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/5dbe2e2d81348465c5c3538e6eef4f6b3bc3b3c8
https://patch-diff.githubusercontent.com/d10c
Turn on overlay support in codeql-extractor.ymlhttps://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/a9f86402d5cf638196bcb75db6e571e89a48dbee
a9f8640https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/a9f86402d5cf638196bcb75db6e571e89a48dbee
https://patch-diff.githubusercontent.com/d10c
Add database upgrade/downgrade scriptshttps://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/1f01b1126b3bec8e25edc9d9b55457bf3cc843ba
1f01b11https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/1f01b1126b3bec8e25edc9d9b55457bf3cc843ba
https://patch-diff.githubusercontent.com/d10c
Support CODEQL_PATH_TRANSFORMER env var in python path renamerhttps://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/c0497af72da81a52a61d8bef86c971f9682ead1d
c0497afhttps://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/c0497af72da81a52a61d8bef86c971f9682ead1d
https://patch-diff.githubusercontent.com/d10c
Python extractor: in overlay mode, traverse only changed fileshttps://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/f4defdc22b932b42c3da3dbcb1042625db56f352
f4defdchttps://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/f4defdc22b932b42c3da3dbcb1042625db56f352
https://patch-diff.githubusercontent.com/d10c
Write overlay metadata at end of extraction.https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/44219d0ced4883f204dd3cafd10ae2edb664d30f
44219d0https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/44219d0ced4883f204dd3cafd10ae2edb664d30f
d10chttps://patch-diff.githubusercontent.com/d10c
September 12, 2025 23:13https://patch-diff.githubusercontent.com/github/codeql/pull/20206#commits-pushed-8edd6c1
https://patch-diff.githubusercontent.com/d10c
Discard predicates for dbscheme elementshttps://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/8edd6c156eeba2c4969341df8af304402bd7ddac
8edd6c1https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/8edd6c156eeba2c4969341df8af304402bd7ddac
https://patch-diff.githubusercontent.com/d10c
Add synthetic data to dbscheme.stats for databaseMetadata/`overlayC…https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/693add0b0ec0456c70d7f0a4478f8b678f5a8251
693add0https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/693add0b0ec0456c70d7f0a4478f8b678f5a8251
https://patch-diff.githubusercontent.com/d10c
Overlay.qll: remove overlay[local?] module; in favour of explicit a…https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/627a7b47cbf307adbd0298c56c42ba428afdd29d
627a7b4https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/627a7b47cbf307adbd0298c56c42ba428afdd29d
https://patch-diff.githubusercontent.com/d10c
Extractor: fall back to full extraction on overlay changes json read …https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/5ef321545e9f4296f21fb15d2e7493d65758d8fe
5ef3215https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/5ef321545e9f4296f21fb15d2e7493d65758d8fe
https://patch-diff.githubusercontent.com/d10c
Path transformer: handle Windows-style pathshttps://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/4bea5d727da3ef3eaed744a5b9f01d0530d8475f
4bea5d7https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/4bea5d727da3ef3eaed744a5b9f01d0530d8475f
https://patch-diff.githubusercontent.com/d10c
Extractor: use filesystem-canonical path comparison to determine buil…https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/01cf7e91b4f726917fae44f626fc1b0ba699188f
01cf7e9https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/01cf7e91b4f726917fae44f626fc1b0ba699188f
https://patch-diff.githubusercontent.com/d10c
Extractor: move overlay-changes check from traverser to workerhttps://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/2ed8dc7e085b1cdb46b81183b722b27a6d4f94db
2ed8dc7https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/2ed8dc7e085b1cdb46b81183b722b27a6d4f94db
https://patch-diff.githubusercontent.com/d10c
Overlay.qll: Streamline discardable entities into one Discardable sup…https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/c2f026d154145dbee0c0f9c489581dedff2f27ae
c2f026dhttps://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/c2f026d154145dbee0c0f9c489581dedff2f27ae
https://patch-diff.githubusercontent.com/d10c
d10chttps://patch-diff.githubusercontent.com/d10c
force-pushedhttps://patch-diff.githubusercontent.com/github/codeql/compare/f309dc6c7dc3540c964f971994dd5f7db1f4f152..c2f026d154145dbee0c0f9c489581dedff2f27ae
f309dc6https://patch-diff.githubusercontent.com/github/codeql/commit/f309dc6c7dc3540c964f971994dd5f7db1f4f152
c2f026dhttps://patch-diff.githubusercontent.com/github/codeql/commit/c2f026d154145dbee0c0f9c489581dedff2f27ae
Compare https://patch-diff.githubusercontent.com/github/codeql/compare/f309dc6c7dc3540c964f971994dd5f7db1f4f152..c2f026d154145dbee0c0f9c489581dedff2f27ae
September 12, 2025 21:14https://patch-diff.githubusercontent.com/github/codeql/pull/20206#event-19669324293
https://patch-diff.githubusercontent.com/d10c
d10chttps://patch-diff.githubusercontent.com/d10c
Oct 2, 2025https://patch-diff.githubusercontent.com/github/codeql/pull/20206#issuecomment-3362048388
#20337https://github.com/github/codeql/pull/20337
Please reload this pagehttps://patch-diff.githubusercontent.com/github/codeql/pull/20206
https://patch-diff.githubusercontent.com/d10c
d10chttps://patch-diff.githubusercontent.com/d10c
Oct 2, 2025https://patch-diff.githubusercontent.com/github/codeql/pull/20206#event-20063586570
Sign up for freehttps://patch-diff.githubusercontent.com/join?source=comment-repo
Sign in to commenthttps://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fgithub%2Fcodeql%2Fpull%2F20206
https://patch-diff.githubusercontent.com/jbj
jbj https://patch-diff.githubusercontent.com/jbj
https://patch-diff.githubusercontent.com/github/codeql/pull/20206/files/f309dc6c7dc3540c964f971994dd5f7db1f4f152
Copilot code review https://patch-diff.githubusercontent.com/apps/copilot-pull-request-reviewer
Copilot https://patch-diff.githubusercontent.com/apps/copilot-pull-request-reviewer
https://patch-diff.githubusercontent.com/github/codeql/pull/20206/files/fb239776cf0e597e853175e3ddb1c9939bb89319
https://patch-diff.githubusercontent.com/tausbn
tausbn https://patch-diff.githubusercontent.com/tausbn
https://patch-diff.githubusercontent.com/github/codeql/pull/20206/files/fb239776cf0e597e853175e3ddb1c9939bb89319
Python https://patch-diff.githubusercontent.com/github/codeql/issues?q=state%3Aopen%20label%3APython
Please reload this pagehttps://patch-diff.githubusercontent.com/github/codeql/pull/20206
https://patch-diff.githubusercontent.com/d10c
https://patch-diff.githubusercontent.com/jbj
https://patch-diff.githubusercontent.com/tausbn
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width


URLs of crawlers that visited me.