| route-pattern | /_view_fragments/voltron/pull_requests/show/:user_id/:repository/:id/pull_request_layout(.:format) |
| route-controller | voltron_pull_requests_fragments |
| route-action | pull_request_layout |
| fetch-nonce | v2:ec4d6b9f-e0ba-6a9e-e8f4-d05fca2550cd |
| current-catalog-service-hash | ae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b |
| request-id | A60A:1699A3:23D7F3:30D720:698EE120 |
| html-safe-nonce | 40dc4a564393e65f4eafd20fa3f903ba896a5e69518854eb5f3deb2922e95be1 |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJBNjBBOjE2OTlBMzoyM0Q3RjM6MzBENzIwOjY5OEVFMTIwIiwidmlzaXRvcl9pZCI6IjEzODA2MTgxNzEwNzgwNzQ2NTYiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ== |
| visitor-hmac | aa051515e53ccb56c4d84a25fb6901444f0ff2b48df1e0a859750332d1d753f1 |
| hovercard-subject-tag | pull_request:2735779914 |
| github-keyboard-shortcuts | repository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot |
| google-site-verification | Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I |
| octolytics-url | https://collector.github.com/github/collect |
| analytics-location | ///voltron/pull_requests_fragments/pull_request_layout |
| fb:app_id | 1401488693436528 |
| apple-itunes-app | app-id=1477376905, app-argument=https://github.com/_view_fragments/voltron/pull_requests/show/github/codeql/20206/pull_request_layout |
| twitter:image | https://opengraph.githubassets.com/90f7f4950aa2191cc5ba25cc6b248fe3501c6e10bb2cf624ef5ca203aea1dd4b/github/codeql/pull/20206 |
| twitter:card | summary_large_image |
| og:image | https://opengraph.githubassets.com/90f7f4950aa2191cc5ba25cc6b248fe3501c6e10bb2cf624ef5ca203aea1dd4b/github/codeql/pull/20206 |
| og:image:alt | 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 ... |
| og:image:width | 1200 |
| og:image:height | 600 |
| og:site_name | GitHub |
| og:type | object |
| og:author:username | d10c |
| hostname | github.com |
| expected-hostname | github.com |
| None | cb2828a801ee6b7be618f3ac76fbf55def35bbc30f053a9c41bf90210b8b72ba |
| turbo-cache-control | no-preview |
| go-import | github.com/github/codeql git https://github.com/github/codeql.git |
| octolytics-dimension-user_id | 9919 |
| octolytics-dimension-user_login | github |
| octolytics-dimension-repository_id | 143040428 |
| octolytics-dimension-repository_nwo | github/codeql |
| octolytics-dimension-repository_public | true |
| octolytics-dimension-repository_is_fork | false |
| octolytics-dimension-repository_network_root_id | 143040428 |
| octolytics-dimension-repository_network_root_nwo | github/codeql |
| turbo-body-classes | logged-out env-production page-responsive |
| disable-turbo | false |
| browser-stats-url | https://api.github.com/_private/browser/stats |
| browser-errors-url | https://api.github.com/_private/browser/errors |
| release | e6b91a7e6e46287d26887e3fb7a4161657bab8f7 |
| ui-target | full |
| theme-color | #1e2327 |
| color-scheme | light dark |
| Skip to content | https://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 AI | https://github.com/features/copilot |
| GitHub SparkBuild and deploy intelligent apps | https://github.com/features/spark |
| GitHub ModelsManage and compare prompts | https://github.com/features/models |
| MCP RegistryNewIntegrate external tools | https://github.com/mcp |
| ActionsAutomate any workflow | https://github.com/features/actions |
| CodespacesInstant dev environments | https://github.com/features/codespaces |
| IssuesPlan and track work | https://github.com/features/issues |
| Code ReviewManage code changes | https://github.com/features/code-review |
| GitHub Advanced SecurityFind and fix vulnerabilities | https://github.com/security/advanced-security |
| Code securitySecure your code as you build | https://github.com/security/advanced-security/code-security |
| Secret protectionStop leaks before they start | https://github.com/security/advanced-security/secret-protection |
| Why GitHub | https://github.com/why-github |
| Documentation | https://docs.github.com |
| Blog | https://github.blog |
| Changelog | https://github.blog/changelog |
| Marketplace | https://github.com/marketplace |
| View all features | https://github.com/features |
| Enterprises | https://github.com/enterprise |
| Small and medium teams | https://github.com/team |
| Startups | https://github.com/enterprise/startups |
| Nonprofits | https://github.com/solutions/industry/nonprofits |
| App Modernization | https://github.com/solutions/use-case/app-modernization |
| DevSecOps | https://github.com/solutions/use-case/devsecops |
| DevOps | https://github.com/solutions/use-case/devops |
| CI/CD | https://github.com/solutions/use-case/ci-cd |
| View all use cases | https://github.com/solutions/use-case |
| Healthcare | https://github.com/solutions/industry/healthcare |
| Financial services | https://github.com/solutions/industry/financial-services |
| Manufacturing | https://github.com/solutions/industry/manufacturing |
| Government | https://github.com/solutions/industry/government |
| View all industries | https://github.com/solutions/industry |
| View all solutions | https://github.com/solutions |
| AI | https://github.com/resources/articles?topic=ai |
| Software Development | https://github.com/resources/articles?topic=software-development |
| DevOps | https://github.com/resources/articles?topic=devops |
| Security | https://github.com/resources/articles?topic=security |
| View all topics | https://github.com/resources/articles |
| Customer stories | https://github.com/customer-stories |
| Events & webinars | https://github.com/resources/events |
| Ebooks & reports | https://github.com/resources/whitepapers |
| Business insights | https://github.com/solutions/executive-insights |
| GitHub Skills | https://skills.github.com |
| Documentation | https://docs.github.com |
| Customer support | https://support.github.com |
| Community forum | https://github.com/orgs/community/discussions |
| Trust center | https://github.com/trust-center |
| Partners | https://github.com/partners |
| GitHub SponsorsFund open source developers | https://github.com/sponsors |
| Security Lab | https://securitylab.github.com |
| Maintainer Community | https://maintainers.github.com |
| Accelerator | https://github.com/accelerator |
| Archive Program | https://archiveprogram.github.com |
| Topics | https://github.com/topics |
| Trending | https://github.com/trending |
| Collections | https://github.com/collections |
| Enterprise platformAI-powered developer platform | https://github.com/enterprise |
| GitHub Advanced SecurityEnterprise-grade security features | https://github.com/security/advanced-security |
| Copilot for BusinessEnterprise-grade AI features | https://github.com/features/copilot/copilot-business |
| Premium SupportEnterprise-grade 24/7 support | https://github.com/premium-support |
| Pricing | https://github.com/pricing |
| Search syntax tips | https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax |
| documentation | https://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 |
| Reload | https://patch-diff.githubusercontent.com/github/codeql/pull/20206 |
| Reload | https://patch-diff.githubusercontent.com/github/codeql/pull/20206 |
| Reload | https://patch-diff.githubusercontent.com/github/codeql/pull/20206 |
|
github
| https://patch-diff.githubusercontent.com/github |
| codeql | https://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 service | https://docs.github.com/terms |
| privacy statement | https://docs.github.com/privacy |
| Sign in | https://patch-diff.githubusercontent.com/login?return_to=%2Fgithub%2Fcodeql%2Fissues%2Fnew%2Fchoose |
| Jump to bottom | https://patch-diff.githubusercontent.com/github/codeql/pull/20206#issue-comment-box |
| d10c | https://patch-diff.githubusercontent.com/d10c |
| github:main | https://patch-diff.githubusercontent.com/github/codeql/tree/main |
| d10c:d10c/python-overlay | https://patch-diff.githubusercontent.com/d10c/codeql/tree/d10c/python-overlay |
|
Python extractor: overlay support
| https://patch-diff.githubusercontent.com/github/codeql/pull/20206#top |
| d10c | https://patch-diff.githubusercontent.com/d10c |
| github:main | https://patch-diff.githubusercontent.com/github/codeql/tree/main |
| d10c:d10c/python-overlay | https://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 page | https://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 |
| d10c | https://patch-diff.githubusercontent.com/d10c |
| Aug 11, 2025 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206#issue-3310364888 |
| Please reload this page | https://patch-diff.githubusercontent.com/github/codeql/pull/20206 |
| this PR | https://github.com/d10c/codeql/pull/1 |
| Please reload this page | https://patch-diff.githubusercontent.com/github/codeql/pull/20206 |
| https://patch-diff.githubusercontent.com/apps/github-actions |
| github-actions | https://patch-diff.githubusercontent.com/apps/github-actions |
|
Python
| https://patch-diff.githubusercontent.com/github/codeql/issues?q=state%3Aopen%20label%3APython |
| Aug 11, 2025 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206#event-19090431142 |
| https://patch-diff.githubusercontent.com/d10c |
| d10c | https://patch-diff.githubusercontent.com/d10c |
| force-pushed | https://patch-diff.githubusercontent.com/github/codeql/compare/b18b9ce83df3340cf9d5b18204484b1bec052efe..3015c12deb3c9b86a7bbc53b85a343921b35446d |
| b18b9ce | https://patch-diff.githubusercontent.com/github/codeql/commit/b18b9ce83df3340cf9d5b18204484b1bec052efe |
| 3015c12 | https://patch-diff.githubusercontent.com/github/codeql/commit/3015c12deb3c9b86a7bbc53b85a343921b35446d |
|
Compare
| https://patch-diff.githubusercontent.com/github/codeql/compare/b18b9ce83df3340cf9d5b18204484b1bec052efe..3015c12deb3c9b86a7bbc53b85a343921b35446d |
| August 12, 2025 10:48 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206#event-19109389230 |
| https://patch-diff.githubusercontent.com/apps/github-advanced-security |
| github-advanced-security | https://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.qll | https://patch-diff.githubusercontent.com/github/codeql/pull/20206/files#diff-c03de9d100e038fe99086a0e366ead388d7350172cb304545536ca28342bb1c4 |
| Please reload this page | https://patch-diff.githubusercontent.com/github/codeql/pull/20206 |
| python/ql/lib/semmle/python/Overlay.qll | https://patch-diff.githubusercontent.com/github/codeql/pull/20206/files#diff-c03de9d100e038fe99086a0e366ead388d7350172cb304545536ca28342bb1c4 |
| Please reload this page | https://patch-diff.githubusercontent.com/github/codeql/pull/20206 |
| https://patch-diff.githubusercontent.com/d10c |
| d10c | https://patch-diff.githubusercontent.com/d10c |
| force-pushed | https://patch-diff.githubusercontent.com/github/codeql/compare/b0c7a528780a4b31391cb65f6cbb169befa74a06..b5c833826364f75d8dda3a3cdb84830704e728b9 |
| b0c7a52 | https://patch-diff.githubusercontent.com/github/codeql/commit/b0c7a528780a4b31391cb65f6cbb169befa74a06 |
| b5c8338 | https://patch-diff.githubusercontent.com/github/codeql/commit/b5c833826364f75d8dda3a3cdb84830704e728b9 |
|
Compare
| https://patch-diff.githubusercontent.com/github/codeql/compare/b0c7a528780a4b31391cb65f6cbb169befa74a06..b5c833826364f75d8dda3a3cdb84830704e728b9 |
| August 19, 2025 18:20 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206#event-19230168756 |
| https://patch-diff.githubusercontent.com/apps/github-advanced-security |
| github-advanced-security | https://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.qll | https://patch-diff.githubusercontent.com/github/codeql/pull/20206/files#diff-c03de9d100e038fe99086a0e366ead388d7350172cb304545536ca28342bb1c4 |
| Please reload this page | https://patch-diff.githubusercontent.com/github/codeql/pull/20206 |
| https://patch-diff.githubusercontent.com/d10c |
| d10c | https://patch-diff.githubusercontent.com/d10c |
| force-pushed | https://patch-diff.githubusercontent.com/github/codeql/compare/f75a3921cb5aadfadb407410f8c28f3cf088459b..63106c04ca455cc015e6a28e33c1a48d721050cf |
| f75a392 | https://patch-diff.githubusercontent.com/github/codeql/commit/f75a3921cb5aadfadb407410f8c28f3cf088459b |
| 63106c0 | https://patch-diff.githubusercontent.com/github/codeql/commit/63106c04ca455cc015e6a28e33c1a48d721050cf |
|
Compare
| https://patch-diff.githubusercontent.com/github/codeql/compare/f75a3921cb5aadfadb407410f8c28f3cf088459b..63106c04ca455cc015e6a28e33c1a48d721050cf |
| August 20, 2025 14:32 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206#event-19247442051 |
| https://patch-diff.githubusercontent.com/d10c |
| d10c | https://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 |
| d10c | https://patch-diff.githubusercontent.com/d10c |
| force-pushed | https://patch-diff.githubusercontent.com/github/codeql/compare/63106c04ca455cc015e6a28e33c1a48d721050cf..b3a1ba5c2e93b4640feed5b8d2e648250dc739c2 |
| 63106c0 | https://patch-diff.githubusercontent.com/github/codeql/commit/63106c04ca455cc015e6a28e33c1a48d721050cf |
| b3a1ba5 | https://patch-diff.githubusercontent.com/github/codeql/commit/b3a1ba5c2e93b4640feed5b8d2e648250dc739c2 |
|
Compare
| https://patch-diff.githubusercontent.com/github/codeql/compare/63106c04ca455cc015e6a28e33c1a48d721050cf..b3a1ba5c2e93b4640feed5b8d2e648250dc739c2 |
| August 27, 2025 08:42 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206#event-19364017126 |
| https://patch-diff.githubusercontent.com/d10c |
| d10c | https://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 |
| d10c | https://patch-diff.githubusercontent.com/d10c |
| force-pushed | https://patch-diff.githubusercontent.com/github/codeql/compare/b3a1ba5c2e93b4640feed5b8d2e648250dc739c2..fb239776cf0e597e853175e3ddb1c9939bb89319 |
| b3a1ba5 | https://patch-diff.githubusercontent.com/github/codeql/commit/b3a1ba5c2e93b4640feed5b8d2e648250dc739c2 |
| fb23977 | https://patch-diff.githubusercontent.com/github/codeql/commit/fb239776cf0e597e853175e3ddb1c9939bb89319 |
|
Compare
| https://patch-diff.githubusercontent.com/github/codeql/compare/b3a1ba5c2e93b4640feed5b8d2e648250dc739c2..fb239776cf0e597e853175e3ddb1c9939bb89319 |
| August 27, 2025 08:59 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206#event-19364318406 |
| https://patch-diff.githubusercontent.com/d10c |
| d10c | https://patch-diff.githubusercontent.com/d10c |
| Aug 28, 2025 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206#issuecomment-3232936250 |
| @tausbn | https://github.com/tausbn |
| Please reload this page | https://patch-diff.githubusercontent.com/github/codeql/pull/20206 |
| https://patch-diff.githubusercontent.com/d10c |
| d10c | https://patch-diff.githubusercontent.com/d10c |
| August 28, 2025 10:33 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206#event-19388631156 |
| https://patch-diff.githubusercontent.com/d10c |
| d10c | https://patch-diff.githubusercontent.com/d10c |
| code owner | https://patch-diff.githubusercontent.com/github/codeql/blob/fa7295f0a100fac4b3f3c4958ae36eba8a201ffe/CODEOWNERS#L9 |
| August 28, 2025 10:33 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206#event-19388631250 |
| https://patch-diff.githubusercontent.com/d10c |
| d10c | https://patch-diff.githubusercontent.com/d10c |
| Copilot | https://patch-diff.githubusercontent.com/apps/copilot-pull-request-reviewer |
| tausbn | https://patch-diff.githubusercontent.com/tausbn |
| August 28, 2025 10:33 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206#event-19388631405 |
|
| https://patch-diff.githubusercontent.com/apps/copilot-pull-request-reviewer |
| Copilot | https://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 |
| Copilot | https://patch-diff.githubusercontent.com/apps/copilot-pull-request-reviewer |
| https://patch-diff.githubusercontent.com/github/codeql/pull/20206#pullrequestreview-3164270470 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| Please reload this page | https://patch-diff.githubusercontent.com/github/codeql/pull/20206 |
| python/extractor/semmle/traverser.py | https://patch-diff.githubusercontent.com/github/codeql/pull/20206/files#diff-1da853ab745bfecfe817ce625b1c73af8d9f05714fed9da634a2375a87d790a6 |
| Copilot | https://patch-diff.githubusercontent.com/apps/copilot-pull-request-reviewer |
| Aug 28, 2025 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206#discussion_r2306988455 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| Please reload this page | https://patch-diff.githubusercontent.com/github/codeql/pull/20206 |
| repository custom instructions | https://docs.github.com/copilot/how-tos/configure-custom-instructions/add-repository-instructions |
| https://patch-diff.githubusercontent.com/d10c |
| d10c | https://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 |
| tausbn | https://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 |
| tausbn | https://patch-diff.githubusercontent.com/tausbn |
| https://patch-diff.githubusercontent.com/github/codeql/pull/20206#pullrequestreview-3189241153 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| https://github.com/github/codeql/tree/main/python/extractor/cli-integration-test | https://github.com/github/codeql/tree/main/python/extractor/cli-integration-test |
| https://github.com/github/codeql/blob/main/python/extractor/semmle/util.py#L13 | https://github.com/github/codeql/blob/main/python/extractor/semmle/util.py#L13 |
| Please reload this page | https://patch-diff.githubusercontent.com/github/codeql/pull/20206 |
| python/extractor/semmle/traverser.py | https://patch-diff.githubusercontent.com/github/codeql/pull/20206/files#diff-1da853ab745bfecfe817ce625b1c73af8d9f05714fed9da634a2375a87d790a6 |
| tausbn | https://patch-diff.githubusercontent.com/tausbn |
| Sep 5, 2025 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206#discussion_r2325009017 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| Please reload this page | https://patch-diff.githubusercontent.com/github/codeql/pull/20206 |
| d10c | https://patch-diff.githubusercontent.com/d10c |
| Sep 5, 2025 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206#discussion_r2325526335 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| Please reload this page | https://patch-diff.githubusercontent.com/github/codeql/pull/20206 |
| https://patch-diff.githubusercontent.com/d10c |
| d10c | https://patch-diff.githubusercontent.com/d10c |
| Sep 5, 2025 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206#issuecomment-3258914614 |
| https://github.com/github/codeql/tree/main/python/extractor/cli-integration-test | https://github.com/github/codeql/tree/main/python/extractor/cli-integration-test |
| here | https://github.com/github/semmle-code/pull/53717 |
| Please reload this page | https://patch-diff.githubusercontent.com/github/codeql/pull/20206 |
| https://patch-diff.githubusercontent.com/d10c |
| d10c | https://patch-diff.githubusercontent.com/d10c |
| force-pushed | https://patch-diff.githubusercontent.com/github/codeql/compare/fb239776cf0e597e853175e3ddb1c9939bb89319..f309dc6c7dc3540c964f971994dd5f7db1f4f152 |
| fb23977 | https://patch-diff.githubusercontent.com/github/codeql/commit/fb239776cf0e597e853175e3ddb1c9939bb89319 |
| f309dc6 | https://patch-diff.githubusercontent.com/github/codeql/commit/f309dc6c7dc3540c964f971994dd5f7db1f4f152 |
|
Compare
| https://patch-diff.githubusercontent.com/github/codeql/compare/fb239776cf0e597e853175e3ddb1c9939bb89319..f309dc6c7dc3540c964f971994dd5f7db1f4f152 |
| September 10, 2025 18:42 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206#event-19619459304 |
| https://patch-diff.githubusercontent.com/d10c |
| d10c | https://patch-diff.githubusercontent.com/d10c |
| Sep 10, 2025 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206#issuecomment-3276133165 |
| Please reload this page | https://patch-diff.githubusercontent.com/github/codeql/pull/20206 |
| https://patch-diff.githubusercontent.com/jbj |
| jbj | https://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.py | https://patch-diff.githubusercontent.com/github/codeql/pull/20206/files#diff-740ceb1df5ca5ff07950711d6d1886c62cfc6233b385c94346594c8309ba21bc |
| Please reload this page | https://patch-diff.githubusercontent.com/github/codeql/pull/20206 |
| https://patch-diff.githubusercontent.com/jbj |
| jbj | https://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 |
| jbj | https://patch-diff.githubusercontent.com/jbj |
| https://patch-diff.githubusercontent.com/github/codeql/pull/20206#pullrequestreview-3216701407 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| Please reload this page | https://patch-diff.githubusercontent.com/github/codeql/pull/20206 |
| python/ql/lib/semmle/python/Overlay.qll | https://patch-diff.githubusercontent.com/github/codeql/pull/20206/files#diff-c03de9d100e038fe99086a0e366ead388d7350172cb304545536ca28342bb1c4 |
| Please reload this page | https://patch-diff.githubusercontent.com/github/codeql/pull/20206 |
| python/ql/lib/semmle/python/Overlay.qll | https://patch-diff.githubusercontent.com/github/codeql/pull/20206/files#diff-c03de9d100e038fe99086a0e366ead388d7350172cb304545536ca28342bb1c4 |
| Please reload this page | https://patch-diff.githubusercontent.com/github/codeql/pull/20206 |
| python/ql/lib/semmle/python/Overlay.qll | https://patch-diff.githubusercontent.com/github/codeql/pull/20206/files#diff-c03de9d100e038fe99086a0e366ead388d7350172cb304545536ca28342bb1c4 |
| jbj | https://patch-diff.githubusercontent.com/jbj |
| Sep 12, 2025 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206#discussion_r2344333768 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| Please reload this page | https://patch-diff.githubusercontent.com/github/codeql/pull/20206 |
| d10c | https://patch-diff.githubusercontent.com/d10c |
| Sep 12, 2025 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206#discussion_r2344497360 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| Please reload this page | https://patch-diff.githubusercontent.com/github/codeql/pull/20206 |
| d10c | https://patch-diff.githubusercontent.com/d10c |
| September 12, 2025 23:13 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206#commits-pushed-5dbe2e2 |
|
| https://patch-diff.githubusercontent.com/d10c |
| Add overlay builtins to python dbscheme | https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/5dbe2e2d81348465c5c3538e6eef4f6b3bc3b3c8 |
| 5dbe2e2 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/5dbe2e2d81348465c5c3538e6eef4f6b3bc3b3c8 |
|
| https://patch-diff.githubusercontent.com/d10c |
| Turn on overlay support in codeql-extractor.yml | https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/a9f86402d5cf638196bcb75db6e571e89a48dbee |
| a9f8640 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/a9f86402d5cf638196bcb75db6e571e89a48dbee |
|
| https://patch-diff.githubusercontent.com/d10c |
| Add database upgrade/downgrade scripts | https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/1f01b1126b3bec8e25edc9d9b55457bf3cc843ba |
| 1f01b11 | https://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 renamer | https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/c0497af72da81a52a61d8bef86c971f9682ead1d |
| c0497af | https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/c0497af72da81a52a61d8bef86c971f9682ead1d |
|
| https://patch-diff.githubusercontent.com/d10c |
| Python extractor: in overlay mode, traverse only changed files | https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/f4defdc22b932b42c3da3dbcb1042625db56f352 |
| f4defdc | https://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 |
| 44219d0 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/44219d0ced4883f204dd3cafd10ae2edb664d30f |
| d10c | https://patch-diff.githubusercontent.com/d10c |
| September 12, 2025 23:13 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206#commits-pushed-8edd6c1 |
|
| https://patch-diff.githubusercontent.com/d10c |
| Discard predicates for dbscheme elements | https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/8edd6c156eeba2c4969341df8af304402bd7ddac |
| 8edd6c1 | https://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 |
| 693add0 | https://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 |
| 627a7b4 | https://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 |
| 5ef3215 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/5ef321545e9f4296f21fb15d2e7493d65758d8fe |
|
| https://patch-diff.githubusercontent.com/d10c |
| Path transformer: handle Windows-style paths | https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/4bea5d727da3ef3eaed744a5b9f01d0530d8475f |
| 4bea5d7 | https://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 |
| 01cf7e9 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/01cf7e91b4f726917fae44f626fc1b0ba699188f |
|
| https://patch-diff.githubusercontent.com/d10c |
| Extractor: move overlay-changes check from traverser to worker | https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/2ed8dc7e085b1cdb46b81183b722b27a6d4f94db |
| 2ed8dc7 | https://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 |
| c2f026d | https://patch-diff.githubusercontent.com/github/codeql/pull/20206/commits/c2f026d154145dbee0c0f9c489581dedff2f27ae |
| https://patch-diff.githubusercontent.com/d10c |
| d10c | https://patch-diff.githubusercontent.com/d10c |
| force-pushed | https://patch-diff.githubusercontent.com/github/codeql/compare/f309dc6c7dc3540c964f971994dd5f7db1f4f152..c2f026d154145dbee0c0f9c489581dedff2f27ae |
| f309dc6 | https://patch-diff.githubusercontent.com/github/codeql/commit/f309dc6c7dc3540c964f971994dd5f7db1f4f152 |
| c2f026d | https://patch-diff.githubusercontent.com/github/codeql/commit/c2f026d154145dbee0c0f9c489581dedff2f27ae |
|
Compare
| https://patch-diff.githubusercontent.com/github/codeql/compare/f309dc6c7dc3540c964f971994dd5f7db1f4f152..c2f026d154145dbee0c0f9c489581dedff2f27ae |
| September 12, 2025 21:14 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206#event-19669324293 |
| https://patch-diff.githubusercontent.com/d10c |
| d10c | https://patch-diff.githubusercontent.com/d10c |
| Oct 2, 2025 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206#issuecomment-3362048388 |
| #20337 | https://github.com/github/codeql/pull/20337 |
| Please reload this page | https://patch-diff.githubusercontent.com/github/codeql/pull/20206 |
| https://patch-diff.githubusercontent.com/d10c |
| d10c | https://patch-diff.githubusercontent.com/d10c |
| Oct 2, 2025 | https://patch-diff.githubusercontent.com/github/codeql/pull/20206#event-20063586570 |
| Sign up for free | https://patch-diff.githubusercontent.com/join?source=comment-repo |
| Sign in to comment | https://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 page | https://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 |
| Terms | https://docs.github.com/site-policy/github-terms/github-terms-of-service |
| Privacy | https://docs.github.com/site-policy/privacy-policies/github-privacy-statement |
| Security | https://github.com/security |
| Status | https://www.githubstatus.com/ |
| Community | https://github.community/ |
| Docs | https://docs.github.com/ |
| Contact | https://support.github.com?tags=dotcom-footer |