René's URL Explorer Experiment


Title: C#: Diff-informed queries: phase 3 (non-trivial locations) by d10c · Pull Request #20074 · github/codeql · GitHub

Open Graph Title: C#: Diff-informed queries: phase 3 (non-trivial locations) by d10c · Pull Request #20074 · github/codeql

X Title: C#: Diff-informed queries: phase 3 (non-trivial locations) by d10c · Pull Request #20074 · github/codeql

Description: This PR enables diff-informed mode on queries that select a location other than dataflow source or sink. This entails adding a non-trivial location override that returns the locations that are actually selected. Prior work includes PRs like #19663, #19759, and #19817. This PR uses the same patch script as those PRs to find candidate queries to convert to diff-enabled. This is the final step in mass-enabling diff-informed queries on all the languages. Commit-by-commit reviewing is recommended. I have split the commits that add/modify tests from the ones that enable/disable diff-informed queries. If the commit modifies a .qll file, in the commit message I've included links to the queries that depend on that .qll for easier reviewing. Feel free to delegate parts of the review to others who may be more specialized in certain languages.

Open Graph Description: This PR enables diff-informed mode on queries that select a location other than dataflow source or sink. This entails adding a non-trivial location override that returns the locations that are actu...

X Description: This PR enables diff-informed mode on queries that select a location other than dataflow source or sink. This entails adding a non-trivial location override that returns the locations that are actu...

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

X: @github

direct link

Domain: github.com

route-pattern/:user_id/:repository/pull/:id/files(.:format)
route-controllerpull_requests
route-actionfiles
fetch-noncev2:0de62494-fc55-7997-6890-708996275a71
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idB3A8:1849C1:3D61D4:59384F:6A577712
html-safe-noncee9507df2c4031ddde9f59542ce449519fe4cb1fcd7cfb95cdab841a97f4b97d9
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJCM0E4OjE4NDlDMTozRDYxRDQ6NTkzODRGOjZBNTc3NzEyIiwidmlzaXRvcl9pZCI6IjE4OTY4MTAzNjYwNDQxNzQwOTgiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmac5bd4ccaf9d24e9439d1cfb83ee476f7a2534fa9375f7e632bf5695a942386878
hovercard-subject-tagpull_request:2673346312
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/20074/files
twitter:imagehttps://avatars.githubusercontent.com/u/9970661?s=400&v=4
twitter:cardsummary_large_image
og:imagehttps://avatars.githubusercontent.com/u/9970661?s=400&v=4
og:image:altThis PR enables diff-informed mode on queries that select a location other than dataflow source or sink. This entails adding a non-trivial location override that returns the locations that are actu...
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
None4e7a7296a3830877cf21a6ad2a972c9e618a48915e03966cf0c53eb08e5aad98
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
releasec0ca805e53f128ba1f966be1d3ccd81d0d1959c7
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/github/codeql/pull/20074/files#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fgithub%2Fcodeql%2Fpull%2F20074%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%2F20074%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/20074/files
Reloadhttps://github.com/github/codeql/pull/20074/files
Reloadhttps://github.com/github/codeql/pull/20074/files
Please reload this pagehttps://github.com/github/codeql/pull/20074/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 990 https://github.com/github/codeql/issues
Pull requests 429 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
d10chttps://github.com/d10c
github:mainhttps://github.com/github/codeql/tree/main
d10c:d10c/diff-informed-phase-3-csharphttps://github.com/d10c/codeql/tree/d10c/diff-informed-phase-3-csharp
Conversation 9 https://github.com/github/codeql/pull/20074
Findings https://github.com/github/codeql/pull/20074/findings
Commits 4 https://github.com/github/codeql/pull/20074/commits
Checks 16 https://github.com/github/codeql/pull/20074/checks
Files changed https://github.com/github/codeql/pull/20074/files
Please reload this pagehttps://github.com/github/codeql/pull/20074/files
C#: Diff-informed queries: phase 3 (non-trivial locations) https://github.com/github/codeql/pull/20074/files#top
Show all changes 4 commits https://github.com/github/codeql/pull/20074/files
793f921 [DIFF-INFORMED] C#: ConditionalBypass d10c Jul 16, 2025 https://github.com/github/codeql/pull/20074/commits/793f92129162ecbe8d280bc3a3e55b0940bbe013
7f085e6 [DIFF-INFORMED] C#: UnsafeDeserializationQuery d10c Jul 16, 2025 https://github.com/github/codeql/pull/20074/commits/7f085e6bd937ad3663c009c65889ec62542496d5
b2fd58e [DIFF-INFORMED] C#: ThreadUnsafeCryptoTransformLambda d10c Jul 16, 2025 https://github.com/github/codeql/pull/20074/commits/b2fd58eea435d902bfdfe853ba5225dab3bfbe59
218fcbb [DIFF-INFORMED] C#: HardcodedConnectionString d10c Jul 16, 2025 https://github.com/github/codeql/pull/20074/commits/218fcbbec5eea8c63715c41a82f9588ab48bf58a
Clear filters https://github.com/github/codeql/pull/20074/files
Please reload this pagehttps://github.com/github/codeql/pull/20074/files
Please reload this pagehttps://github.com/github/codeql/pull/20074/files
ConditionalBypassQuery.qll https://github.com/github/codeql/pull/20074/files#diff-62198c25bd0f5301343a63d661c8f9c19ea6e97e6335171ed92d2dd7681c23ef
UnsafeDeserializationQuery.qll https://github.com/github/codeql/pull/20074/files#diff-ebee30c9c3982a4f2e62a57aebdf47615437d88b928b492a5bdb5c0c555426d8
ThreadUnsafeICryptoTransformLambda.ql https://github.com/github/codeql/pull/20074/files#diff-ea5563f7be2a89e5eac72b62f912edca49933add608aa26584bfb6d98e3b597f
HardcodedConnectionString.ql https://github.com/github/codeql/pull/20074/files#diff-f7b18d77689ab11a78fc8fe3c963a989b66c3130ee0db0cd630f33b9a59abf69
https://github.com/github/codeql/blob/main/CODEOWNERS#L7
csharp/ql/lib/semmle/code/csharp/security/dataflow/ConditionalBypassQuery.qllhttps://github.com/github/codeql/pull/20074/files#diff-62198c25bd0f5301343a63d661c8f9c19ea6e97e6335171ed92d2dd7681c23ef
View file https://github.com/d10c/codeql/blob/218fcbbec5eea8c63715c41a82f9588ab48bf58a/csharp/ql/lib/semmle/code/csharp/security/dataflow/ConditionalBypassQuery.qll
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/github/codeql/pull/20074/{{ revealButtonHref }}
https://github.com/github/codeql/pull/20074/files#diff-62198c25bd0f5301343a63d661c8f9c19ea6e97e6335171ed92d2dd7681c23ef
https://github.com/github/codeql/pull/20074/files#diff-62198c25bd0f5301343a63d661c8f9c19ea6e97e6335171ed92d2dd7681c23ef
https://github.com/github/codeql/blob/main/CODEOWNERS#L7
csharp/ql/lib/semmle/code/csharp/security/dataflow/UnsafeDeserializationQuery.qllhttps://github.com/github/codeql/pull/20074/files#diff-ebee30c9c3982a4f2e62a57aebdf47615437d88b928b492a5bdb5c0c555426d8
View file https://github.com/d10c/codeql/blob/218fcbbec5eea8c63715c41a82f9588ab48bf58a/csharp/ql/lib/semmle/code/csharp/security/dataflow/UnsafeDeserializationQuery.qll
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/github/codeql/pull/20074/{{ revealButtonHref }}
https://github.com/github/codeql/pull/20074/files#diff-ebee30c9c3982a4f2e62a57aebdf47615437d88b928b492a5bdb5c0c555426d8
https://github.com/github/codeql/pull/20074/files#diff-ebee30c9c3982a4f2e62a57aebdf47615437d88b928b492a5bdb5c0c555426d8
https://github.com/github/codeql/pull/20074/files#diff-ebee30c9c3982a4f2e62a57aebdf47615437d88b928b492a5bdb5c0c555426d8
https://github.com/github/codeql/pull/20074/files#diff-ebee30c9c3982a4f2e62a57aebdf47615437d88b928b492a5bdb5c0c555426d8
https://github.com/github/codeql/pull/20074/files#diff-ebee30c9c3982a4f2e62a57aebdf47615437d88b928b492a5bdb5c0c555426d8
https://github.com/github/codeql/pull/20074/files#diff-ebee30c9c3982a4f2e62a57aebdf47615437d88b928b492a5bdb5c0c555426d8
https://github.com/github/codeql/pull/20074/files#diff-ebee30c9c3982a4f2e62a57aebdf47615437d88b928b492a5bdb5c0c555426d8
https://github.com/github/codeql/pull/20074/files#diff-ebee30c9c3982a4f2e62a57aebdf47615437d88b928b492a5bdb5c0c555426d8
https://github.com/github/codeql/pull/20074/files#diff-ebee30c9c3982a4f2e62a57aebdf47615437d88b928b492a5bdb5c0c555426d8
https://github.com/github/codeql/blob/main/CODEOWNERS#L7
csharp/ql/src/Likely Bugs/ThreadUnsafeICryptoTransformLambda.qlhttps://github.com/github/codeql/pull/20074/files#diff-ea5563f7be2a89e5eac72b62f912edca49933add608aa26584bfb6d98e3b597f
View file https://github.com/d10c/codeql/blob/218fcbbec5eea8c63715c41a82f9588ab48bf58a/csharp/ql/src/Likely%20Bugs/ThreadUnsafeICryptoTransformLambda.ql
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/github/codeql/pull/20074/{{ revealButtonHref }}
https://github.com/github/codeql/pull/20074/files#diff-ea5563f7be2a89e5eac72b62f912edca49933add608aa26584bfb6d98e3b597f
https://github.com/github/codeql/pull/20074/files#diff-ea5563f7be2a89e5eac72b62f912edca49933add608aa26584bfb6d98e3b597f
https://github.com/github/codeql/blob/main/CODEOWNERS#L7
csharp/ql/src/Security Features/CWE-798/HardcodedConnectionString.qlhttps://github.com/github/codeql/pull/20074/files#diff-f7b18d77689ab11a78fc8fe3c963a989b66c3130ee0db0cd630f33b9a59abf69
View file https://github.com/d10c/codeql/blob/218fcbbec5eea8c63715c41a82f9588ab48bf58a/csharp/ql/src/Security%20Features/CWE-798/HardcodedConnectionString.ql
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/github/codeql/pull/20074/{{ revealButtonHref }}
https://github.com/github/codeql/pull/20074/files#diff-f7b18d77689ab11a78fc8fe3c963a989b66c3130ee0db0cd630f33b9a59abf69
https://github.com/github/codeql/pull/20074/files#diff-f7b18d77689ab11a78fc8fe3c963a989b66c3130ee0db0cd630f33b9a59abf69
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.