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: 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 as follows. The CLI supplies a JSON file with "changed" files. This information is used in the extraction context in C#. If a file is considered changed, we extract it as usual. If a file is considered un-changed, we extract a skeleton implementation. That is, we extract all signature like information, but we do not extract expressions or statements (body implementations). Furthermore, we don't extract locations as we re-use those from the base variant. There are three DCA experiments A normal DCA execution for nightly/nightly without overlay (internally available here). This experiment shows no change in performance (but an increase in DIL sizes) and a small alert discrepancy which is likely due to wobliness. This experiment is to validate that enabling overlay compilation in the C# QL library don't have any negative side effects. An accuracy experiment to check (internally available here), whether we get the same results when running the code-scanning security queries on full extraction compared to overlay extraction. According to DCA we get 97.4% 97.9% accuracy (which is above the 90% min target). It looks like the missing results all are located in generated files. At the moment we only extract "changed" files fully in overlay mode, which could explain the missing results as the files are generated on the fly by the extractor (by running source generators). That is, we are only doing a skeleton extraction of the generated files as they are considered "unchanged". A performance experiment to compare a full extraction with overlay extraction (internally available here). According to DCA we get Analysis time +4% Database build time -21% TRAP import time -35% End-to-end time -12% Database size +56% There is still plenty that could be done to improve the quality of the overlay database and query execution. Known possible improvements Address the accuracy problem mentioned above. There appears to be some extra tuple results for the XML based queries, we need to do proper discarding of XML elements. It looks like there is a discrepancy between the number of "locatable" entities (from global) code between an overlay generated database, which indicates that we are not removing everything that could be removed (discarding could be improved). After doing XML discarding this observable difference disappeared. All the QL code needs to be decorated with the relevant overlay annotations.

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/:user_id/:repository/pull/:id/files(.:format)
route-controllerpull_requests
route-actionfiles
fetch-noncev2:6fc98e4f-1fba-d30c-4bac-7eee60c4f1f4
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idD84E:29681E:381028:4A6B29:6A53E316
html-safe-nonce1e19f1b46fbe8763953fb4fcd3f24d4eeaa491bf6b0c059dc647e74f6571a0e4
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJEODRFOjI5NjgxRTozODEwMjg6NEE2QjI5OjZBNTNFMzE2IiwidmlzaXRvcl9pZCI6IjkxOTIzNjk4MDkzNDk5Mjc3MDMiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmac1ae83c367861072e671bce6badfb7b87df1b4aa7a6b3d29bed506a62c44097b6
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///pull_requests/show/files
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/github/codeql/pull/20425/files
twitter:imagehttps://avatars.githubusercontent.com/u/6472811?s=400&v=4
twitter:cardsummary_large_image
og:imagehttps://avatars.githubusercontent.com/u/6472811?s=400&v=4
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:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
Noneb9a586c06a05a7a86fc7e3f4dbd03e42f6869085879aa184aa6369456dbd50fb
turbo-cache-controlno-preview
diff-viewunified
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 full-width
disable-turbotrue
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/files#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fgithub%2Fcodeql%2Fpull%2F20425%2Ffiles
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%2Ffiles
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%2Fpull_requests%2Fshow%2Ffiles&source=header-repo&source_repo=github%2Fcodeql
Reloadhttps://github.com/github/codeql/pull/20425/files
Reloadhttps://github.com/github/codeql/pull/20425/files
Reloadhttps://github.com/github/codeql/pull/20425/files
Please reload this pagehttps://github.com/github/codeql/pull/20425/files
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
Sign up for GitHub https://github.com/signup?return_to=%2Fgithub%2Fcodeql%2Fissues%2Fnew%2Fchoose
terms of servicehttps://docs.github.com/terms
privacy statementhttps://docs.github.com/privacy
Sign inhttps://github.com/login?return_to=%2Fgithub%2Fcodeql%2Fissues%2Fnew%2Fchoose
michaelnebelhttps://github.com/michaelnebel
github:mainhttps://github.com/github/codeql/tree/main
michaelnebel:csharp/basicextractoroverlayhttps://github.com/michaelnebel/codeql/tree/csharp/basicextractoroverlay
Conversation 54 https://github.com/github/codeql/pull/20425
Findings https://github.com/github/codeql/pull/20425/findings
Commits 27 https://github.com/github/codeql/pull/20425/commits
Checks 17 https://github.com/github/codeql/pull/20425/checks
Files changed https://github.com/github/codeql/pull/20425/files
Please reload this pagehttps://github.com/github/codeql/pull/20425/files
C#: Overlay extraction support. https://github.com/github/codeql/pull/20425/files#top
Show all changes 27 commits https://github.com/github/codeql/pull/20425/files
b600255 C#: Enable overlay compilation in lib/qlpack.yml. michaelnebel Oct 21, 2025 https://github.com/github/codeql/pull/20425/commits/b6002558354605bf7f1242ae67534c1d5df79128
bcc6234 C#: Fix bad join due to overlay compilation. michaelnebel Oct 29, 2025 https://github.com/github/codeql/pull/20425/commits/bcc6234a60a45bbacc40b4c5b30acda450dbe852
b48ce8d C#: Add overlay builtins to the dbscheme. michaelnebel Sep 12, 2025 https://github.com/github/codeql/pull/20425/commits/b48ce8dec2143c3f5cea1aae334c518eb901e460
cfb6843 C#: Add upgrade- and downgrade scripts. michaelnebel Sep 12, 2025 https://github.com/github/codeql/pull/20425/commits/cfb68436f2ce4acf19e0f830fc912d522e111cde
9026a5a C#: Turn on overlay support in codeql-extractor.yml. michaelnebel Sep 12, 2025 https://github.com/github/codeql/pull/20425/commits/9026a5a82afc258f7c9140b7652a4b77a766ccac
aa80558 C#: Add functionality to detect overlay mode and integrate in extract… michaelnebel Sep 12, 2025 https://github.com/github/codeql/pull/20425/commits/aa805580e32cd80f8a5b69bc3cae0ee5f2471b21
cab9d81 C#: Add unit test. michaelnebel Sep 12, 2025 https://github.com/github/codeql/pull/20425/commits/cab9d81376a4c23115c0e0581d80374286f86783
61f6512 C#: Sprinkle uses of OnlyScaffold to extract less when in overlay mode. michaelnebel Sep 17, 2025 https://github.com/github/codeql/pull/20425/commits/61f6512c74ad52dfabef2654d6a893b3b532df7f
76ac2df C#: Write overlay metadata at end of extraction. michaelnebel Oct 21, 2025 https://github.com/github/codeql/pull/20425/commits/76ac2dff26c7c8f3169d17e1f406b94065ba667a
121c150 C#: Define discarding predicates for expressions, statements, locatio… michaelnebel Oct 23, 2025 https://github.com/github/codeql/pull/20425/commits/121c1500cab7b3c4064a27a9e59b1912221815c3
8a34421 C#: Add QL overlay tests. michaelnebel Oct 27, 2025 https://github.com/github/codeql/pull/20425/commits/8a344215b9230054b38c80179e1220ae3b5319ce
40035d2 C#: Add a locatable type to the dbscheme. michaelnebel Oct 27, 2025 https://github.com/github/codeql/pull/20425/commits/40035d2e8226b8467526be822820f3f79b8e7883
8927b0a C#: Simplify the discarding and also discard type mentions and comments. michaelnebel Oct 27, 2025 https://github.com/github/codeql/pull/20425/commits/8927b0a35066af76d5467d97d2c15b3c0b569021
04d33cb C#: Add discarding for diagnostics and extractor messages. michaelnebel Oct 28, 2025 https://github.com/github/codeql/pull/20425/commits/04d33cbad7fa7b5d207bbb443611aef1390d3231
1d2f154 C#: Add change-note. michaelnebel Oct 30, 2025 https://github.com/github/codeql/pull/20425/commits/1d2f1545d63a31b5ff79042223c3aa6dbc492e4f
504bb9c C#: Only scaffold assemblies in overlay mode, only extract expression… michaelnebel Nov 3, 2025 https://github.com/github/codeql/pull/20425/commits/504bb9c4a1f470a95a32843984e14462c94fb275
d95ebc7 C#: Add using directives and type mentions as star entities. michaelnebel Nov 3, 2025 https://github.com/github/codeql/pull/20425/commits/d95ebc77ae96489430bb4e509367db67a234740c
7c670cd C#: Address review comments and make more early returns in Populate. michaelnebel Nov 7, 2025 https://github.com/github/codeql/pull/20425/commits/7c670cdc3fe22d5a6d45a62ec9829080d2c44f19
1657dfb C#: Remove expression population safeguard and guard creation of cons… michaelnebel Nov 7, 2025 https://github.com/github/codeql/pull/20425/commits/1657dfb5516692ee2a4ef8cba766689a466cff19
9d300e3 C#: Address comments in the QL implementation. michaelnebel Nov 7, 2025 https://github.com/github/codeql/pull/20425/commits/9d300e3ad348c63df5196c45032f7c6695d81498
ded1328 C#: Do not extract comments when scaffolding. michaelnebel Nov 10, 2025 https://github.com/github/codeql/pull/20425/commits/ded13281034e284b25631dddc51208b0cc20daa7
43118ec C#: The extraction of the TypeMentions for return type and explicit i… michaelnebel Nov 10, 2025 https://github.com/github/codeql/pull/20425/commits/43118ecccce4eda654bf34dd3b13b7879dc1b42e
0a16cf6 C#: Do not require that comments and type locations are in source in … michaelnebel Nov 10, 2025 https://github.com/github/codeql/pull/20425/commits/0a16cf68de764b27859255345170691d5eedd554
c44b747 C#: Minor code quality improvements. michaelnebel Nov 10, 2025 https://github.com/github/codeql/pull/20425/commits/c44b74740e55a21dae792cc9b299f79637665065
d6b7424 C#: Add the same strategy in as in Java for XML element discarding. michaelnebel Nov 10, 2025 https://github.com/github/codeql/pull/20425/commits/d6b7424e2c5999ef2aebc08dcb2661b79f444c68
3492811 C#: Add XML overlay tests. michaelnebel Nov 10, 2025 https://github.com/github/codeql/pull/20425/commits/3492811cda23c0063a53a56b7a7554cf8b6b02e9
0541dcc C#: Add discarding for ASP elements. michaelnebel Nov 10, 2025 https://github.com/github/codeql/pull/20425/commits/0541dccc786e75b7490eae451966c7b79ea63ed4
Clear filters https://github.com/github/codeql/pull/20425/files
Please reload this pagehttps://github.com/github/codeql/pull/20425/files
Please reload this pagehttps://github.com/github/codeql/pull/20425/files
codeql-extractor.yml https://github.com/github/codeql/pull/20425/files#diff-ddd1bc254d51797ad950d7e1b82bf38a7c8a177db97a9c979a0a54faf9eea8b9
old.dbscheme https://github.com/github/codeql/pull/20425/files#diff-01489dbaf03c0c410603ebbcfdab0f6addd0b2e21721a92bb95aa4806b900c72
semmlecode.csharp.dbscheme https://github.com/github/codeql/pull/20425/files#diff-82114b1b95c58b61d1b0cbb9b355d45943cf2a158b7bbba1c5022cae34539740
upgrade.properties https://github.com/github/codeql/pull/20425/files#diff-60853fb4f942e8da0f6b79f22d2f44d083c14dd4394a038f341ebf198cf0366b
old.dbscheme https://github.com/github/codeql/pull/20425/files#diff-3d0c18c2946d8f3e7c3e1b8bbc8ea8fd86ea8173b2539c106e444d3680be9b84
semmlecode.csharp.dbscheme https://github.com/github/codeql/pull/20425/files#diff-df33874ec79ada477f65887effe27ddd6687a5a337a11050be5ca626b57cdd80
upgrade.properties https://github.com/github/codeql/pull/20425/files#diff-3f234adf5377cc221ef968afbcc67e0be23b3eb4a07ff8925ade2d8e78cd07eb
Extractor.cs https://github.com/github/codeql/pull/20425/files#diff-7984edad330e82e8c61e89e7910e226d0ba136a5943143983d718cffa7f61384
Attribute.cs https://github.com/github/codeql/pull/20425/files#diff-1fe485974593fb3068209c1108916a9d887ba2123700fc512522c7b6c797d3b0
CommentBlock.cs https://github.com/github/codeql/pull/20425/files#diff-2a2afaba8083894b1d53a489629b80934aa9ac4e65253510d509c1e01fb078d6
CommentLine.cs https://github.com/github/codeql/pull/20425/files#diff-71234ca02e5dcc20a09e5247acae50a3b55d8294425e0efc7a38883079bd7f5b
CompilerDiagnostic.cs https://github.com/github/codeql/pull/20425/files#diff-5ca18065a9bb06435b34ad6299888f333eb7c3e32fdebe2879d803bba3a2e323
Constructor.cs https://github.com/github/codeql/pull/20425/files#diff-dd1eaeb355f623ed3fe30b1ec1724d126ef5fc4b35539531f007b781ed4ee0e2
Destructor.cs https://github.com/github/codeql/pull/20425/files#diff-cdcbe172983a08db6526e3acfad9c3f8e8feac703d8e88b093b5a352f4d7c6d8
Event.cs https://github.com/github/codeql/pull/20425/files#diff-6693d4001be1edef89670a17b619e5e1140a6342b92976550e9775f3f08dd0fa
ExtractionMessage.cs https://github.com/github/codeql/pull/20425/files#diff-6f3e2294548b455a8375f3a614ff783eeb66c786c1fa28b95fb4aab38f0c5ce5
Field.cs https://github.com/github/codeql/pull/20425/files#diff-33a8fe4d6008b8400e6619dc467618e37e0670a0bd271b88551333589ccf1035
Indexer.cs https://github.com/github/codeql/pull/20425/files#diff-880aadc7f74983b773d1c9adec4792e0cb358bd0f2786e07c47870292d2875f7
LocalVariable.cs https://github.com/github/codeql/pull/20425/files#diff-48114950d2e0bfc02f78be86d80cbbbff9c804c7caf5a6978742fc1e7a562e7f
Method.cs https://github.com/github/codeql/pull/20425/files#diff-7c65f8b9885962c7c99fc7b16f6850a34d4fd9137a467a7a19460393bf595e54
NamespaceDeclaration.cs https://github.com/github/codeql/pull/20425/files#diff-22a30f02c533c39971876f2e2141cb401c9f4638f1e84cd73b6677d578d9bcd9
OrdinaryMethod.cs https://github.com/github/codeql/pull/20425/files#diff-cee0542b0b5381bb3a64e38a9ac8349727ea9e87fa5877cfeb7ab0d311a00970
Parameter.cs https://github.com/github/codeql/pull/20425/files#diff-2045011e1706205d8411cca9f7fdc993d7bca3fdc4e6ccce15b4f829219f9073
PreprocessorDirective.cs https://github.com/github/codeql/pull/20425/files#diff-a59d670ff05020a1e6c85b2e558adaab48c3edc3e865bc413ced230ff3b9a82d
Property.cs https://github.com/github/codeql/pull/20425/files#diff-769dacd1676fb3341a7d1b87f624d30e66c6cc644194e81df3608a33f7f915fe
TypeMention.cs https://github.com/github/codeql/pull/20425/files#diff-89062b97b035da5533a02537859cd35c01dd66d2c7dcee8fc86ae3d89ff5bcf1
DynamicType.cs https://github.com/github/codeql/pull/20425/files#diff-4b8b8c0331b8d878e8d3a057de0e542a0b0df1e922737241ac81df0a8c821a67
NamedType.cs https://github.com/github/codeql/pull/20425/files#diff-07319083205049aa47406167bac218bf5f7d9ea0f66b4f4c91155129a44c7b8e
TupleType.cs https://github.com/github/codeql/pull/20425/files#diff-d3bc9cae48a9deee2a2bcf67a77040930787e5f72e5564e86e2b7b19751b42f3
Type.cs https://github.com/github/codeql/pull/20425/files#diff-7cfd21db098c3442fc9992a6509afcd6067d07125f3fce2d3dea7319fdd7afde
TypeParameter.cs https://github.com/github/codeql/pull/20425/files#diff-6471fc292e3237e1d48676a5304a3dc6e78cd34163f8cb6b26c85c0f98c1c9bb
UserOperator.cs https://github.com/github/codeql/pull/20425/files#diff-6d5970684397a7a31025ac5008051dae7c0f4fe03661fd0f77f044c4ae411621
UsingDirective.cs https://github.com/github/codeql/pull/20425/files#diff-9b1a79b910625e773ed37c7fff6738b8a4501e5cfc0da487af7692e07e747b0e
Analyser.cs https://github.com/github/codeql/pull/20425/files#diff-55a106017996f08b087d92b081bf7df7c8a0ab8121d72960ef9370fd7767b317
BinaryLogAnalyser.cs https://github.com/github/codeql/pull/20425/files#diff-65f8becb9dc32332e0fef850c9043c049b3da894a516263ece3569bb1d391fd1
Context.cs https://github.com/github/codeql/pull/20425/files#diff-3c6999ffdd909981ceed759047ff23b45a3baf6b4e4e426201b0ff27e97c0312
OverlayInfo.cs https://github.com/github/codeql/pull/20425/files#diff-ce23e3345f399f55cc2dae24602057705c060ad699bb1a3042bda3724c55ed12
StandaloneAnalyser.cs https://github.com/github/codeql/pull/20425/files#diff-3122a00f9a1280d615e8ae8c0f48eb4b81e5363df1df05aca28633d6a780ef8b
TracingAnalyser.cs https://github.com/github/codeql/pull/20425/files#diff-84ae0764c23ceed306210801713c6d88dbfb66bdd1ee5af8a970df6aedfeda10
CommentPopulator.cs https://github.com/github/codeql/pull/20425/files#diff-1bc8808e3c2ffa0764df81269bcaa73eedb2068c179ca2d3bd539e4892b56341
OverlayInfo.cs https://github.com/github/codeql/pull/20425/files#diff-a41b5310fc16fea1ddbed050dd3b32013d4803b222a4c9657af192eda6f9defb
EnvironmentVariables.cs https://github.com/github/codeql/pull/20425/files#diff-1482eafee0899542ed56cb0279a71ef9b6c4768dec16cab2dd634c303b0b4b5c
2025-10-30-overlay-compilation-and-extraction.md https://github.com/github/codeql/pull/20425/files#diff-acfa43a32b4aa85eb0454a5228dabc23e5e69850c9fe2556b13ba200a460586f
csharp.qll https://github.com/github/codeql/pull/20425/files#diff-7eed45f63f6b3f0568c985e037b493494b05dfe9040993bf5cc3d4d87d274bcf
qlpack.yml https://github.com/github/codeql/pull/20425/files#diff-a0daa8a571f37ffd7e917157263b5cf234fb33f5e2b79a092379a98d57031416
Conversion.qll https://github.com/github/codeql/pull/20425/files#diff-50c31d0a2cba94a20f44a6e748cd4054b0b2a259fc1b41d0cf71593d4eac8cc2
Overlay.qll https://github.com/github/codeql/pull/20425/files#diff-a4f18bb599711bbefd00a694a82774db42482313871a8355b3142be650a3f7f0
semmlecode.csharp.dbscheme https://github.com/github/codeql/pull/20425/files#diff-4bf8f17e3a822ec2c4bc000e94d8ed5c1f9e9d3923be62d8e6f1d2e8e6cebe00
old.dbscheme https://github.com/github/codeql/pull/20425/files#diff-636e250b1e6924055b3bb76d81b04246bad39b4c3226a24aadef20667b81bd9b
semmlecode.csharp.dbscheme https://github.com/github/codeql/pull/20425/files#diff-a604eede799691d6d3e990724b3e9568e343e3f56197903423fe5bf24bea3ea3
upgrade.properties https://github.com/github/codeql/pull/20425/files#diff-d936646c66da456a7cda9001f8598a751e1b0c281c4c2a912b7a24ee2b096ace
old.dbscheme https://github.com/github/codeql/pull/20425/files#diff-87b1170a6992d6ac9256fa1166fafa9e02df1cad5cf0cfbc5bbae20e621d6cbe
semmlecode.csharp.dbscheme https://github.com/github/codeql/pull/20425/files#diff-169be3d30d1befbac434ae4d285a3500ed4abf74cabdb85d9da67413eb084ae3
upgrade.properties https://github.com/github/codeql/pull/20425/files#diff-2d94b486b7957122c25175134e959000c6196f4bec2764a01b6e95af5bf07e6c
PrintAst.expected https://github.com/github/codeql/pull/20425/files#diff-7d6dd5d9a812b6117ee1d33e74140e8f0673fe7298e8de38af1eb508b1744038
PrintAst.expected https://github.com/github/codeql/pull/20425/files#diff-da2b4f38c45e1a1725396289ae77f63ac9d029abb491d0136d999afd5dd11991
A.cs https://github.com/github/codeql/pull/20425/files#diff-c8ee68f5c1ff49390c9b192c0869aa6f42095537d203a02654f2bbaa2110f186
Program.cs https://github.com/github/codeql/pull/20425/files#diff-5a133bf3fd33f5078a3f8a5c8f503f891e2084d8aea792b2a04636d9af9311ba
options https://github.com/github/codeql/pull/20425/files#diff-0da0e3e2d33b1a3d3f5901ca83ae9180cdc35f67c3d350202e531a5e6127e1c1
test.expected https://github.com/github/codeql/pull/20425/files#diff-e6dba302b9555106bac2088b55fb6c890f6958891c37cd06fe37ca301f30b461
test.qlref https://github.com/github/codeql/pull/20425/files#diff-db8f957a904735eee29bd65fefd1c42903e6e5d5838bc83ecb2c97a367cacf3b
web.changed.config https://github.com/github/codeql/pull/20425/files#diff-0a1140de4c1a0379b21ef9b83212667c7fd18ac10844e9478f72162d7ebf6db9
web.unchanged.config https://github.com/github/codeql/pull/20425/files#diff-2715671649dc442fe6ba21bcc6e34edbf167f53064ba27d8a9fb6c64d77dcf4c
codeql-test.yml https://github.com/github/codeql/pull/20425/files#diff-5726c752ff35e5605076db7bb0ca7b01256a0b6563b7eab78df186efca660db1
options https://github.com/github/codeql/pull/20425/files#diff-bac7963d43fbe5ed76217e739596477a5cbf4fe54950b669125905eba789bfa5
A.cs https://github.com/github/codeql/pull/20425/files#diff-5aa150951ddaa9e3ecaa2f947a3b04e90d873e643d942cb1d358056f7c464eb1
Program.cs https://github.com/github/codeql/pull/20425/files#diff-60b6c1986f507b59d842250705f0c5e11c822fe965e1dcdb92fc9f03d9086d85
options https://github.com/github/codeql/pull/20425/files#diff-6ea1ffe5de8b089ca08a6d8f9652661f4a8352935c5f2ea9d8dcd56b6c00a041
test.expected https://github.com/github/codeql/pull/20425/files#diff-641cbca407b32e011b5e9a06476f9e0f2fbd0372ba98ed8f945035a7ee72dfd5
test.qlref https://github.com/github/codeql/pull/20425/files#diff-565bfd50536aa4dd03d87bede200efc2827e956f8342ae86929787d3185eeac8
web.changed.config https://github.com/github/codeql/pull/20425/files#diff-e4ca358c922226988f9ec7e5cd1dce5a6ed28e026894a8a7814407b40d747114
web.unchanged.config https://github.com/github/codeql/pull/20425/files#diff-c98aa11477c5253c1883680e91b9952b785fba80cd95d6eda3d9f755bc08a36f
test.ql https://github.com/github/codeql/pull/20425/files#diff-4906ee9c326ffb1a4e6afa3684aa806b71fdd7667a2815d827896a93be8e392b
testlocations.expected https://github.com/github/codeql/pull/20425/files#diff-709b96826e17078d444e08c4b71dd4c17d51be55b6b49579b887c246fbe6a602
testlocations.ql https://github.com/github/codeql/pull/20425/files#diff-09c4307a0df4255d8a13de1ecd8396c97f95c5c9f614e3c4628c96da60f66254
https://github.com/github/codeql/blob/main/CODEOWNERS#L7
csharp/codeql-extractor.ymlhttps://github.com/github/codeql/pull/20425/files#diff-ddd1bc254d51797ad950d7e1b82bf38a7c8a177db97a9c979a0a54faf9eea8b9
View file https://github.com/michaelnebel/codeql/blob/0541dccc786e75b7490eae451966c7b79ea63ed4/csharp/codeql-extractor.yml
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/github/codeql/pull/20425/{{ revealButtonHref }}
https://github.com/github/codeql/pull/20425/files#diff-ddd1bc254d51797ad950d7e1b82bf38a7c8a177db97a9c979a0a54faf9eea8b9
hvitvedhttps://github.com/hvitved
Nov 7, 2025https://github.com/github/codeql/pull/20425/files#r2502350246
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20425/files
michaelnebelhttps://github.com/michaelnebel
Nov 7, 2025https://github.com/github/codeql/pull/20425/files#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/files
https://github.com/github/codeql/pull/20425/files#diff-ddd1bc254d51797ad950d7e1b82bf38a7c8a177db97a9c979a0a54faf9eea8b9
Please reload this pagehttps://github.com/github/codeql/pull/20425/files
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.