René's URL Explorer Experiment


Title: C#: Overlay extraction support. by michaelnebel · Pull Request #20425 · github/codeql · GitHub

Open Graph Title: C#: Overlay extraction support. by michaelnebel · Pull Request #20425 · github/codeql

X Title: C#: Overlay extraction support. by michaelnebel · Pull Request #20425 · github/codeql

Description: CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security - C#: Overlay extraction support. by michaelnebel · Pull Request #20425 · github/codeql

Open Graph Description: In this PR we Add support for overlay extraction for C# in BMN. Add discard predicates. Enable overlay compilation. Add some unit and QL tests. The strategy for doing overlay extraction in C# is ...

X Description: In this PR we Add support for overlay extraction for C# in BMN. Add discard predicates. Enable overlay compilation. Add some unit and QL tests. The strategy for doing overlay extraction in C# is ...

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

X: @github

direct link

Domain: github.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:4d5a0da2-2ad9-da96-294f-8c518197e50d
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idAF2C:2052BE:13E958:1C1496:6A536739
html-safe-nonce3271370ace54be9bb40549988e6d55e038c1bace4b3c43fa2429ec6aea34dc8e
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJBRjJDOjIwNTJCRToxM0U5NTg6MUMxNDk2OjZBNTM2NzM5IiwidmlzaXRvcl9pZCI6IjI4MTQ1Mjg4NTI5NTI1NzM3NTMiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmace15fec5a5ecc260b6287af4bdc477e6b04da06538190406549fbc8e2f068997e
hovercard-subject-tagpull_request:2823053537
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/20425/pull_request_layout
twitter:imagehttps://opengraph.githubassets.com/5b034c98c2c74a06330933bdd6266393aedf9c5f06d6fbb8256ac4ba0f84507b/github/codeql/pull/20425
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/5b034c98c2c74a06330933bdd6266393aedf9c5f06d6fbb8256ac4ba0f84507b/github/codeql/pull/20425
og:image:altIn this PR we Add support for overlay extraction for C# in BMN. Add discard predicates. Enable overlay compilation. Add some unit and QL tests. The strategy for doing overlay extraction in C# is ...
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernamemichaelnebel
hostnamegithub.com
expected-hostnamegithub.com
Noneb9a586c06a05a7a86fc7e3f4dbd03e42f6869085879aa184aa6369456dbd50fb
turbo-cache-controlno-cache
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
release07a982c1d40157c619b364352b704c3ce66bb332
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/github/codeql/pull/20425#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fgithub%2Fcodeql%2Fpull%2F20425
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub Copilot appDirect agents from issue to mergehttps://github.com/features/ai/github-app
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
View all resourceshttps://github.com/resources
GitHub SponsorsFund open source developershttps://github.com/open-source/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/open-source/accelerator
GitHub Starshttps://stars.github.com
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/enterprise/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://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fgithub%2Fcodeql%2Fpull%2F20425
Sign up https://github.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://github.com/github/codeql/pull/20425
Reloadhttps://github.com/github/codeql/pull/20425
Reloadhttps://github.com/github/codeql/pull/20425
Please reload this pagehttps://github.com/github/codeql/pull/20425
github https://github.com/github
codeqlhttps://github.com/github/codeql
Notifications https://github.com/login?return_to=%2Fgithub%2Fcodeql
Fork 2k https://github.com/login?return_to=%2Fgithub%2Fcodeql
Star 9.8k https://github.com/login?return_to=%2Fgithub%2Fcodeql
Code https://github.com/github/codeql
Issues 988 https://github.com/github/codeql/issues
Pull requests 428 https://github.com/github/codeql/pulls
Discussions https://github.com/github/codeql/discussions
Actions https://github.com/github/codeql/actions
Projects https://github.com/github/codeql/projects
Models https://github.com/github/codeql/models
Security and quality 0 https://github.com/github/codeql/security
Insights https://github.com/github/codeql/pulse
Code https://github.com/github/codeql
Issues https://github.com/github/codeql/issues
Pull requests https://github.com/github/codeql/pulls
Discussions https://github.com/github/codeql/discussions
Actions https://github.com/github/codeql/actions
Projects https://github.com/github/codeql/projects
Models https://github.com/github/codeql/models
Security and quality https://github.com/github/codeql/security
Insights https://github.com/github/codeql/pulse
michaelnebelhttps://github.com/michaelnebel
github:mainhttps://github.com/github/codeql/tree/main
michaelnebel:csharp/basicextractoroverlayhttps://github.com/michaelnebel/codeql/tree/csharp/basicextractoroverlay
Conversationhttps://github.com/github/codeql/pull/20425
Commits27 (27)https://github.com/github/codeql/pull/20425/commits
Checkshttps://github.com/github/codeql/pull/20425/checks
Files changedhttps://github.com/github/codeql/pull/20425/files
C#: Overlay extraction support.https://github.com/github/codeql/pull/20425#top
michaelnebelhttps://github.com/michaelnebel
github:mainhttps://github.com/github/codeql/tree/main
michaelnebel:csharp/basicextractoroverlayhttps://github.com/michaelnebel/codeql/tree/csharp/basicextractoroverlay
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
Sep 12, 2025https://github.com/github/codeql/pull/20425#issue-3410869207
Please reload this pagehttps://github.com/github/codeql/pull/20425
herehttps://github.com/github/codeql-dca-main/issues/32822
herehttps://github.com/github/codeql-dca-main/issues/32820
herehttps://github.com/github/codeql-dca-main/issues/32821
Please reload this pagehttps://github.com/github/codeql/pull/20425
https://github.com/apps/github-actions
github-actionshttps://github.com/apps/github-actions
C# https://github.com/github/codeql/issues?q=state%3Aopen%20label%3AC%23
Sep 12, 2025https://github.com/github/codeql/pull/20425#event-19663322275
https://github.com/apps/github-advanced-security
github-advanced-securityhttps://github.com/apps/github-advanced-security
Sep 12, 2025 https://github.com/github/codeql/pull/20425#pullrequestreview-3217195442
View reviewed changes https://github.com/github/codeql/pull/20425/files
csharp/extractor/Semmle.Extraction.CSharp/Extractor/OverlayInfo.cshttps://github.com/github/codeql/pull/20425/files#diff-ce23e3345f399f55cc2dae24602057705c060ad699bb1a3042bda3724c55ed12
Please reload this pagehttps://github.com/github/codeql/pull/20425
csharp/extractor/Semmle.Extraction.CSharp/Extractor/OverlayInfo.cshttps://github.com/github/codeql/pull/20425/files#diff-ce23e3345f399f55cc2dae24602057705c060ad699bb1a3042bda3724c55ed12
Please reload this pagehttps://github.com/github/codeql/pull/20425
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
force-pushedhttps://github.com/github/codeql/compare/19c75fedd9c3114ab964e3b6e7ee71e10fb3aa5c..41e57d9f5e0905196970d0201955e6040e5bf1eb
19c75fehttps://github.com/github/codeql/commit/19c75fedd9c3114ab964e3b6e7ee71e10fb3aa5c
41e57d9https://github.com/github/codeql/commit/41e57d9f5e0905196970d0201955e6040e5bf1eb
Compare https://github.com/github/codeql/compare/19c75fedd9c3114ab964e3b6e7ee71e10fb3aa5c..41e57d9f5e0905196970d0201955e6040e5bf1eb
September 17, 2025 12:41https://github.com/github/codeql/pull/20425#event-19749582322
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
force-pushedhttps://github.com/github/codeql/compare/41e57d9f5e0905196970d0201955e6040e5bf1eb..beb6cd34e45d2abfa1a0fd59727175dc2b1f223f
41e57d9https://github.com/github/codeql/commit/41e57d9f5e0905196970d0201955e6040e5bf1eb
beb6cd3https://github.com/github/codeql/commit/beb6cd34e45d2abfa1a0fd59727175dc2b1f223f
Compare https://github.com/github/codeql/compare/41e57d9f5e0905196970d0201955e6040e5bf1eb..beb6cd34e45d2abfa1a0fd59727175dc2b1f223f
October 21, 2025 11:23https://github.com/github/codeql/pull/20425#event-20401927343
https://github.com/apps/github-actions
github-actionshttps://github.com/apps/github-actions
documentation https://github.com/github/codeql/issues?q=state%3Aopen%20label%3Adocumentation
Oct 21, 2025https://github.com/github/codeql/pull/20425#event-20401933322
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
force-pushedhttps://github.com/github/codeql/compare/beb6cd34e45d2abfa1a0fd59727175dc2b1f223f..cd1ba5f330ef5dd219d2a7c4bf2a6fffb6b38307
beb6cd3https://github.com/github/codeql/commit/beb6cd34e45d2abfa1a0fd59727175dc2b1f223f
cd1ba5fhttps://github.com/github/codeql/commit/cd1ba5f330ef5dd219d2a7c4bf2a6fffb6b38307
Compare https://github.com/github/codeql/compare/beb6cd34e45d2abfa1a0fd59727175dc2b1f223f..cd1ba5f330ef5dd219d2a7c4bf2a6fffb6b38307
October 21, 2025 12:24https://github.com/github/codeql/pull/20425#event-20403209691
https://github.com/apps/github-advanced-security
github-advanced-securityhttps://github.com/apps/github-advanced-security
Oct 21, 2025 https://github.com/github/codeql/pull/20425#pullrequestreview-3360373794
View reviewed changes https://github.com/github/codeql/pull/20425/files
csharp/extractor/Semmle.Extraction.CSharp.Standalone/Extractor.cshttps://github.com/github/codeql/pull/20425/files#diff-7984edad330e82e8c61e89e7910e226d0ba136a5943143983d718cffa7f61384
Please reload this pagehttps://github.com/github/codeql/pull/20425
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
force-pushedhttps://github.com/github/codeql/compare/1155ee29be77bdd8b1f64805ec13e4013e86d8aa..d158b1f3a2493a11af1ca372d98b64ccabefea51
1155ee2https://github.com/github/codeql/commit/1155ee29be77bdd8b1f64805ec13e4013e86d8aa
d158b1fhttps://github.com/github/codeql/commit/d158b1f3a2493a11af1ca372d98b64ccabefea51
Compare https://github.com/github/codeql/compare/1155ee29be77bdd8b1f64805ec13e4013e86d8aa..d158b1f3a2493a11af1ca372d98b64ccabefea51
October 22, 2025 11:43https://github.com/github/codeql/pull/20425#event-20429245412
https://github.com/apps/github-actions
github-actionshttps://github.com/apps/github-actions
documentation https://github.com/github/codeql/issues?q=state%3Aopen%20label%3Adocumentation
Oct 22, 2025https://github.com/github/codeql/pull/20425#event-20429249150
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
force-pushedhttps://github.com/github/codeql/compare/d158b1f3a2493a11af1ca372d98b64ccabefea51..871c6c9b7f275f5a0f3513d9900a48f52298a8f7
d158b1fhttps://github.com/github/codeql/commit/d158b1f3a2493a11af1ca372d98b64ccabefea51
871c6c9https://github.com/github/codeql/commit/871c6c9b7f275f5a0f3513d9900a48f52298a8f7
Compare https://github.com/github/codeql/compare/d158b1f3a2493a11af1ca372d98b64ccabefea51..871c6c9b7f275f5a0f3513d9900a48f52298a8f7
October 23, 2025 14:41https://github.com/github/codeql/pull/20425#event-20456263511
https://github.com/apps/github-advanced-security
github-advanced-securityhttps://github.com/apps/github-advanced-security
Oct 23, 2025 https://github.com/github/codeql/pull/20425#pullrequestreview-3370335613
View reviewed changes https://github.com/github/codeql/pull/20425/files
csharp/extractor/Semmle.Extraction.CSharp/Extractor/OverlayInfo.cshttps://github.com/github/codeql/pull/20425/files#diff-ce23e3345f399f55cc2dae24602057705c060ad699bb1a3042bda3724c55ed12
Please reload this pagehttps://github.com/github/codeql/pull/20425
csharp/extractor/Semmle.Extraction.CSharp/Extractor/OverlayInfo.cshttps://github.com/github/codeql/pull/20425/files#diff-ce23e3345f399f55cc2dae24602057705c060ad699bb1a3042bda3724c55ed12
Please reload this pagehttps://github.com/github/codeql/pull/20425
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
force-pushedhttps://github.com/github/codeql/compare/cd0b31c41c26bc44a61caebf964a7bb66d424019..b74963629d28bd93c6bed33b53f42f0016efa48e
cd0b31chttps://github.com/github/codeql/commit/cd0b31c41c26bc44a61caebf964a7bb66d424019
b749636https://github.com/github/codeql/commit/b74963629d28bd93c6bed33b53f42f0016efa48e
Compare https://github.com/github/codeql/compare/cd0b31c41c26bc44a61caebf964a7bb66d424019..b74963629d28bd93c6bed33b53f42f0016efa48e
October 27, 2025 09:50https://github.com/github/codeql/pull/20425#event-20520525597
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
Oct 27, 2025https://github.com/github/codeql/pull/20425#event-20520529634
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
force-pushedhttps://github.com/github/codeql/compare/6db88cfcb11cb779a269c6e1c50fcea37ccd4aef..915770b388660c42359d56b4ff44c9f29de6aa76
6db88cfhttps://github.com/github/codeql/commit/6db88cfcb11cb779a269c6e1c50fcea37ccd4aef
915770bhttps://github.com/github/codeql/commit/915770b388660c42359d56b4ff44c9f29de6aa76
Compare https://github.com/github/codeql/compare/6db88cfcb11cb779a269c6e1c50fcea37ccd4aef..915770b388660c42359d56b4ff44c9f29de6aa76
October 27, 2025 13:42https://github.com/github/codeql/pull/20425#event-20525897176
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
Oct 27, 2025https://github.com/github/codeql/pull/20425#event-20527343907
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
force-pushedhttps://github.com/github/codeql/compare/5fe0d0e75df84634a398fc5d6bca4cacf30fb4e4..6ea8338c710766a0ba5f7433cfedd01a25f913de
5fe0d0ehttps://github.com/github/codeql/commit/5fe0d0e75df84634a398fc5d6bca4cacf30fb4e4
6ea8338https://github.com/github/codeql/commit/6ea8338c710766a0ba5f7433cfedd01a25f913de
Compare https://github.com/github/codeql/compare/5fe0d0e75df84634a398fc5d6bca4cacf30fb4e4..6ea8338c710766a0ba5f7433cfedd01a25f913de
October 30, 2025 12:46https://github.com/github/codeql/pull/20425#event-20608208093
https://github.com/apps/github-actions
github-actionshttps://github.com/apps/github-actions
documentation https://github.com/github/codeql/issues?q=state%3Aopen%20label%3Adocumentation
Oct 30, 2025https://github.com/github/codeql/pull/20425#event-20608211372
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
hvitvedhttps://github.com/hvitved
October 31, 2025 07:27https://github.com/github/codeql/pull/20425#event-20626664384
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
October 31, 2025 07:27https://github.com/github/codeql/pull/20425#event-20626665786
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
code ownerhttps://github.com/github/codeql/blob/a25ae3922df23f51cb3130174fc23b97734a6a8a/CODEOWNERS#L7
October 31, 2025 07:27https://github.com/github/codeql/pull/20425#event-20626665934
https://github.com/apps/copilot-pull-request-reviewer
Copilothttps://github.com/apps/copilot-pull-request-reviewer
October 31, 2025 07:27https://github.com/github/codeql/pull/20425#event-20626666125
https://github.com/apps/copilot-pull-request-reviewer
Copilothttps://github.com/apps/copilot-pull-request-reviewer
Oct 31, 2025 https://github.com/github/codeql/pull/20425#pullrequestreview-3402872556
View reviewed changes https://github.com/github/codeql/pull/20425/files
Copilothttps://github.com/apps/copilot-pull-request-reviewer
https://github.com/github/codeql/pull/20425#pullrequestreview-3402872556
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Add Copilot custom instructionshttps://github.com/github/codeql/new/main/.github/instructions?filename=*.instructions.md
Learn how to get startedhttps://docs.github.com/en/copilot/customizing-copilot/adding-repository-custom-instructions-for-github-copilot
Please reload this pagehttps://github.com/github/codeql/pull/20425
michaelnebelhttps://github.com/michaelnebel
November 4, 2025 13:27https://github.com/github/codeql/pull/20425#commits-pushed-b600255
https://github.com/michaelnebel
C#: Enable overlay compilation in lib/qlpack.yml.https://github.com/github/codeql/pull/20425/commits/b6002558354605bf7f1242ae67534c1d5df79128
b600255https://github.com/github/codeql/pull/20425/commits/b6002558354605bf7f1242ae67534c1d5df79128
https://github.com/michaelnebel
C#: Fix bad join due to overlay compilation.https://github.com/github/codeql/pull/20425/commits/bcc6234a60a45bbacc40b4c5b30acda450dbe852
bcc6234https://github.com/github/codeql/pull/20425/commits/bcc6234a60a45bbacc40b4c5b30acda450dbe852
https://github.com/michaelnebel
C#: Add overlay builtins to the dbscheme.https://github.com/github/codeql/pull/20425/commits/b48ce8dec2143c3f5cea1aae334c518eb901e460
b48ce8dhttps://github.com/github/codeql/pull/20425/commits/b48ce8dec2143c3f5cea1aae334c518eb901e460
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
Nov 5, 2025https://github.com/github/codeql/pull/20425#issuecomment-3491075121
Please reload this pagehttps://github.com/github/codeql/pull/20425
@jbjhttps://github.com/jbj
Please reload this pagehttps://github.com/github/codeql/pull/20425
https://github.com/jbj
jbjhttps://github.com/jbj
Nov 5, 2025https://github.com/github/codeql/pull/20425#issuecomment-3491088222
Please reload this pagehttps://github.com/github/codeql/pull/20425
https://github.com/hvitved
hvitvedhttps://github.com/hvitved
Nov 7, 2025 https://github.com/github/codeql/pull/20425#pullrequestreview-3432547964
View reviewed changes https://github.com/github/codeql/pull/20425/files
hvitvedhttps://github.com/hvitved
https://github.com/github/codeql/pull/20425#pullrequestreview-3432547964
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20425
csharp/codeql-extractor.ymlhttps://github.com/github/codeql/pull/20425/files#diff-ddd1bc254d51797ad950d7e1b82bf38a7c8a177db97a9c979a0a54faf9eea8b9
hvitvedhttps://github.com/hvitved
Nov 7, 2025https://github.com/github/codeql/pull/20425#discussion_r2502350246
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20425
michaelnebelhttps://github.com/michaelnebel
Nov 7, 2025https://github.com/github/codeql/pull/20425#discussion_r2503019274
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
herehttps://github.com/github/semmle-code/blob/main/documentation/markdown-internal/incremental-codeql.md#update-the-extractor-packs-metadata
Please reload this pagehttps://github.com/github/codeql/pull/20425
csharp/extractor/Semmle.Extraction.CSharp/Extractor/OverlayInfo.cshttps://github.com/github/codeql/pull/20425/files#diff-ce23e3345f399f55cc2dae24602057705c060ad699bb1a3042bda3724c55ed12
hvitvedhttps://github.com/hvitved
Nov 7, 2025https://github.com/github/codeql/pull/20425#discussion_r2502361072
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20425
michaelnebelhttps://github.com/michaelnebel
Nov 7, 2025https://github.com/github/codeql/pull/20425#discussion_r2503031165
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20425
csharp/extractor/Semmle.Extraction.CSharp/Entities/CommentBlock.cshttps://github.com/github/codeql/pull/20425/files#diff-2a2afaba8083894b1d53a489629b80934aa9ac4e65253510d509c1e01fb078d6
hvitvedhttps://github.com/hvitved
Nov 7, 2025https://github.com/github/codeql/pull/20425#discussion_r2502393710
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20425
michaelnebelhttps://github.com/michaelnebel
Nov 7, 2025https://github.com/github/codeql/pull/20425#discussion_r2503049354
Please reload this pagehttps://github.com/github/codeql/pull/20425
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20425
csharp/extractor/Semmle.Extraction.CSharp/Entities/CommentLine.cshttps://github.com/github/codeql/pull/20425/files#diff-71234ca02e5dcc20a09e5247acae50a3b55d8294425e0efc7a38883079bd7f5b
hvitvedhttps://github.com/hvitved
Nov 7, 2025https://github.com/github/codeql/pull/20425#discussion_r2502394222
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20425
csharp/extractor/Semmle.Extraction.CSharp/Entities/UsingDirective.cshttps://github.com/github/codeql/pull/20425/files#diff-9b1a79b910625e773ed37c7fff6738b8a4501e5cfc0da487af7692e07e747b0e
hvitvedhttps://github.com/hvitved
Nov 7, 2025https://github.com/github/codeql/pull/20425#discussion_r2502410747
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20425
michaelnebelhttps://github.com/michaelnebel
Nov 7, 2025https://github.com/github/codeql/pull/20425#discussion_r2503089729
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20425
csharp/ql/lib/semmle/code/csharp/Overlay.qllhttps://github.com/github/codeql/pull/20425/files#diff-78e8f593611026fa7c992256a82b08f1deef3562bacfd04e24fe40d31a5adc47
hvitvedhttps://github.com/hvitved
Nov 7, 2025https://github.com/github/codeql/pull/20425#discussion_r2502668883
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20425
hvitvedhttps://github.com/hvitved
Nov 7, 2025https://github.com/github/codeql/pull/20425#discussion_r2502672454
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20425
michaelnebelhttps://github.com/michaelnebel
Nov 7, 2025https://github.com/github/codeql/pull/20425#discussion_r2503885357
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20425
csharp/ql/lib/semmle/code/csharp/Overlay.qllhttps://github.com/github/codeql/pull/20425/files#diff-78e8f593611026fa7c992256a82b08f1deef3562bacfd04e24fe40d31a5adc47
hvitvedhttps://github.com/hvitved
Nov 7, 2025https://github.com/github/codeql/pull/20425#discussion_r2502677655
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20425
csharp/ql/lib/semmle/code/csharp/Overlay.qllhttps://github.com/github/codeql/pull/20425/files#diff-78e8f593611026fa7c992256a82b08f1deef3562bacfd04e24fe40d31a5adc47
hvitvedhttps://github.com/hvitved
Nov 7, 2025https://github.com/github/codeql/pull/20425#discussion_r2502697179
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20425
csharp/ql/lib/semmle/code/csharp/Overlay.qllhttps://github.com/github/codeql/pull/20425/files#diff-78e8f593611026fa7c992256a82b08f1deef3562bacfd04e24fe40d31a5adc47
hvitvedhttps://github.com/hvitved
Nov 7, 2025https://github.com/github/codeql/pull/20425#discussion_r2502704908
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20425
michaelnebelhttps://github.com/michaelnebel
Nov 7, 2025https://github.com/github/codeql/pull/20425#discussion_r2503952666
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20425
csharp/ql/lib/semmle/code/csharp/Overlay.qllhttps://github.com/github/codeql/pull/20425/files#diff-78e8f593611026fa7c992256a82b08f1deef3562bacfd04e24fe40d31a5adc47
hvitvedhttps://github.com/hvitved
Nov 7, 2025https://github.com/github/codeql/pull/20425#discussion_r2502733787
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20425
michaelnebelhttps://github.com/michaelnebel
November 7, 2025 14:50https://github.com/github/codeql/pull/20425#commits-pushed-7c670cd
https://github.com/michaelnebel
C#: Address review comments and make more early returns in Populate.https://github.com/github/codeql/pull/20425/commits/7c670cdc3fe22d5a6d45a62ec9829080d2c44f19
7c670cdhttps://github.com/github/codeql/pull/20425/commits/7c670cdc3fe22d5a6d45a62ec9829080d2c44f19
https://github.com/michaelnebel
C#: Remove expression population safeguard and guard creation of cons…https://github.com/github/codeql/pull/20425/commits/1657dfb5516692ee2a4ef8cba766689a466cff19
1657dfbhttps://github.com/github/codeql/pull/20425/commits/1657dfb5516692ee2a4ef8cba766689a466cff19
https://github.com/michaelnebel
C#: Address comments in the QL implementation.https://github.com/github/codeql/pull/20425/commits/9d300e3ad348c63df5196c45032f7c6695d81498
9d300e3https://github.com/github/codeql/pull/20425/commits/9d300e3ad348c63df5196c45032f7c6695d81498
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
force-pushedhttps://github.com/github/codeql/compare/1ca50aaef7f57bffb30a94ca4bf88edd03231076..9d300e3ad348c63df5196c45032f7c6695d81498
1ca50aahttps://github.com/github/codeql/commit/1ca50aaef7f57bffb30a94ca4bf88edd03231076
9d300e3https://github.com/github/codeql/commit/9d300e3ad348c63df5196c45032f7c6695d81498
Compare https://github.com/github/codeql/compare/1ca50aaef7f57bffb30a94ca4bf88edd03231076..9d300e3ad348c63df5196c45032f7c6695d81498
November 7, 2025 14:53https://github.com/github/codeql/pull/20425#event-20789808091
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
November 7, 2025 15:07https://github.com/github/codeql/pull/20425#event-20790191789
https://github.com/hvitved
hvitvedhttps://github.com/hvitved
Nov 10, 2025https://github.com/github/codeql/pull/20425#issuecomment-3510168820
herehttps://github.com/github/codeql-dca-main/issues/32660
herehttps://github.com/github/codeql-dca-main/issues/32659
like Javahttps://github.com/github/codeql/pull/20505
Please reload this pagehttps://github.com/github/codeql/pull/20425
https://github.com/hvitved
hvitvedhttps://github.com/hvitved
Nov 10, 2025 https://github.com/github/codeql/pull/20425#pullrequestreview-3441600682
View reviewed changes https://github.com/github/codeql/pull/20425/files/9d300e3ad348c63df5196c45032f7c6695d81498
csharp/extractor/Semmle.Extraction.CSharp/Entities/CommentBlock.cshttps://github.com/github/codeql/pull/20425/files/d95ebc77ae96489430bb4e509367db67a234740c..7c670cdc3fe22d5a6d45a62ec9829080d2c44f19#diff-2a2afaba8083894b1d53a489629b80934aa9ac4e65253510d509c1e01fb078d6
hvitvedhttps://github.com/hvitved
Nov 10, 2025https://github.com/github/codeql/pull/20425#discussion_r2509305779
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20425
hvitvedhttps://github.com/hvitved
Nov 10, 2025https://github.com/github/codeql/pull/20425#discussion_r2509327868
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20425
michaelnebelhttps://github.com/michaelnebel
Nov 10, 2025https://github.com/github/codeql/pull/20425#discussion_r2509472314
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20425
michaelnebelhttps://github.com/michaelnebel
Nov 10, 2025https://github.com/github/codeql/pull/20425#discussion_r2509682881
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20425
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
Nov 10, 2025https://github.com/github/codeql/pull/20425#issuecomment-3510380171
Please reload this pagehttps://github.com/github/codeql/pull/20425
herehttps://github.com/github/codeql-dca-main/issues/32660
herehttps://github.com/github/codeql-dca-main/issues/32659
like Javahttps://github.com/github/codeql/pull/20505
Please reload this pagehttps://github.com/github/codeql/pull/20425
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
November 10, 2025 10:58https://github.com/github/codeql/pull/20425#event-20833116589
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
Nov 10, 2025https://github.com/github/codeql/pull/20425#issuecomment-3510893616
Please reload this pagehttps://github.com/github/codeql/pull/20425
@hvitvedhttps://github.com/hvitved
Please reload this pagehttps://github.com/github/codeql/pull/20425
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
hvitvedhttps://github.com/hvitved
November 10, 2025 11:54https://github.com/github/codeql/pull/20425#event-20834577153
michaelnebelhttps://github.com/michaelnebel
November 10, 2025 13:26https://github.com/github/codeql/pull/20425#commits-pushed-ded1328
https://github.com/michaelnebel
C#: Do not extract comments when scaffolding.https://github.com/github/codeql/pull/20425/commits/ded13281034e284b25631dddc51208b0cc20daa7
ded1328https://github.com/github/codeql/pull/20425/commits/ded13281034e284b25631dddc51208b0cc20daa7
https://github.com/michaelnebel
C#: The extraction of the TypeMentions for return type and explicit i…https://github.com/github/codeql/pull/20425/commits/43118ecccce4eda654bf34dd3b13b7879dc1b42e
43118echttps://github.com/github/codeql/pull/20425/commits/43118ecccce4eda654bf34dd3b13b7879dc1b42e
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
force-pushedhttps://github.com/github/codeql/compare/fd25d5d3964345468b1de25e896c709378fc358d..43118ecccce4eda654bf34dd3b13b7879dc1b42e
fd25d5dhttps://github.com/github/codeql/commit/fd25d5d3964345468b1de25e896c709378fc358d
43118echttps://github.com/github/codeql/commit/43118ecccce4eda654bf34dd3b13b7879dc1b42e
Compare https://github.com/github/codeql/compare/fd25d5d3964345468b1de25e896c709378fc358d..43118ecccce4eda654bf34dd3b13b7879dc1b42e
November 10, 2025 12:26https://github.com/github/codeql/pull/20425#event-20835418008
michaelnebelhttps://github.com/michaelnebel
November 10, 2025 13:53https://github.com/github/codeql/pull/20425#commits-pushed-0a16cf6
https://github.com/michaelnebel
C#: Do not require that comments and type locations are in source in …https://github.com/github/codeql/pull/20425/commits/0a16cf68de764b27859255345170691d5eedd554
0a16cf6https://github.com/github/codeql/pull/20425/commits/0a16cf68de764b27859255345170691d5eedd554
https://github.com/michaelnebel
C#: Minor code quality improvements.https://github.com/github/codeql/pull/20425/commits/c44b74740e55a21dae792cc9b299f79637665065
c44b747https://github.com/github/codeql/pull/20425/commits/c44b74740e55a21dae792cc9b299f79637665065
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
force-pushedhttps://github.com/github/codeql/compare/a810ba492c62e7df999e94837fdcef28335c3e37..c44b74740e55a21dae792cc9b299f79637665065
a810ba4https://github.com/github/codeql/commit/a810ba492c62e7df999e94837fdcef28335c3e37
c44b747https://github.com/github/codeql/commit/c44b74740e55a21dae792cc9b299f79637665065
Compare https://github.com/github/codeql/compare/a810ba492c62e7df999e94837fdcef28335c3e37..c44b74740e55a21dae792cc9b299f79637665065
November 10, 2025 13:24https://github.com/github/codeql/pull/20425#event-20836883707
https://github.com/apps/github-advanced-security
github-advanced-securityhttps://github.com/apps/github-advanced-security
Nov 10, 2025 https://github.com/github/codeql/pull/20425#pullrequestreview-3443473665
View reviewed changes https://github.com/github/codeql/pull/20425/files
csharp/ql/test/library-tests/overlay/base/web.unchanged.confighttps://github.com/github/codeql/pull/20425/files#diff-2715671649dc442fe6ba21bcc6e34edbf167f53064ba27d8a9fb6c64d77dcf4c
Please reload this pagehttps://github.com/github/codeql/pull/20425
csharp/ql/test/library-tests/overlay/overlay/web.unchanged.confighttps://github.com/github/codeql/pull/20425/files#diff-c98aa11477c5253c1883680e91b9952b785fba80cd95d6eda3d9f755bc08a36f
Please reload this pagehttps://github.com/github/codeql/pull/20425
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
force-pushedhttps://github.com/github/codeql/compare/7a2c6111193d436e2fcad3747d0c674e9ee571d0..11970fb2968e3242505550e4a00123bac868d60e
7a2c611https://github.com/github/codeql/commit/7a2c6111193d436e2fcad3747d0c674e9ee571d0
11970fbhttps://github.com/github/codeql/commit/11970fb2968e3242505550e4a00123bac868d60e
Compare https://github.com/github/codeql/compare/7a2c6111193d436e2fcad3747d0c674e9ee571d0..11970fb2968e3242505550e4a00123bac868d60e
November 10, 2025 14:37https://github.com/github/codeql/pull/20425#event-20838645372
michaelnebelhttps://github.com/michaelnebel
November 10, 2025 15:38https://github.com/github/codeql/pull/20425#commits-pushed-d6b7424
https://github.com/michaelnebel
C#: Add the same strategy in as in Java for XML element discarding.https://github.com/github/codeql/pull/20425/commits/d6b7424e2c5999ef2aebc08dcb2661b79f444c68
d6b7424https://github.com/github/codeql/pull/20425/commits/d6b7424e2c5999ef2aebc08dcb2661b79f444c68
https://github.com/michaelnebel
C#: Add XML overlay tests.https://github.com/github/codeql/pull/20425/commits/3492811cda23c0063a53a56b7a7554cf8b6b02e9
3492811https://github.com/github/codeql/pull/20425/commits/3492811cda23c0063a53a56b7a7554cf8b6b02e9
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
force-pushedhttps://github.com/github/codeql/compare/11970fb2968e3242505550e4a00123bac868d60e..3492811cda23c0063a53a56b7a7554cf8b6b02e9
11970fbhttps://github.com/github/codeql/commit/11970fb2968e3242505550e4a00123bac868d60e
3492811https://github.com/github/codeql/commit/3492811cda23c0063a53a56b7a7554cf8b6b02e9
Compare https://github.com/github/codeql/compare/11970fb2968e3242505550e4a00123bac868d60e..3492811cda23c0063a53a56b7a7554cf8b6b02e9
November 10, 2025 14:38https://github.com/github/codeql/pull/20425#event-20838671469
https://github.com/michaelnebel
C#: Add discarding for ASP elements.https://github.com/github/codeql/pull/20425/commits/0541dccc786e75b7490eae451966c7b79ea63ed4
0541dcchttps://github.com/github/codeql/pull/20425/commits/0541dccc786e75b7490eae451966c7b79ea63ed4
https://github.com/hvitved
hvitvedhttps://github.com/hvitved
Nov 12, 2025 https://github.com/github/codeql/pull/20425#pullrequestreview-3453359912
View reviewed changes https://github.com/github/codeql/pull/20425/files/0541dccc786e75b7490eae451966c7b79ea63ed4
hvitvedhttps://github.com/hvitved
https://github.com/github/codeql/pull/20425#pullrequestreview-3453359912
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20425
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
085d3c8https://github.com/github/codeql/commit/085d3c85cd4498a8319021f73f49c0434d03e32b
Nov 12, 2025https://github.com/github/codeql/pull/20425#event-20889925661
Please reload this pagehttps://github.com/github/codeql/pull/20425
https://github.com/michaelnebel
michaelnebelhttps://github.com/michaelnebel
November 13, 2025 09:33https://github.com/github/codeql/pull/20425#event-20912166403
https://github.co/hiddenchars
https://github.com/github/codeql/pull/{{ revealButtonHref }}
Sign up for freehttps://github.com/join?source=comment-repo
Sign in to commenthttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fgithub%2Fcodeql%2Fpull%2F20425
Copilot code review https://github.com/apps/copilot-pull-request-reviewer
Copilot https://github.com/apps/copilot-pull-request-reviewer
https://github.com/github/codeql/pull/20425/files/6ea8338c710766a0ba5f7433cfedd01a25f913de
https://github.com/hvitved
hvitved https://github.com/hvitved
https://github.com/github/codeql/pull/20425/files/0541dccc786e75b7490eae451966c7b79ea63ed4
C# https://github.com/github/codeql/issues?q=state%3Aopen%20label%3AC%23
documentation https://github.com/github/codeql/issues?q=state%3Aopen%20label%3Adocumentation
Please reload this pagehttps://github.com/github/codeql/pull/20425
https://github.com/michaelnebel
https://github.com/jbj
https://github.com/hvitved
https://github.com/apps/github-advanced-security
https://github.com/apps/copilot-pull-request-reviewer
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.