René's URL Explorer Experiment


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

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

X Title: Rust: Diff-informed queries: phase 3 (non-trivial locations) by d10c · Pull Request #20081 · 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/20081

X: @github

direct link

Domain: github.com

route-pattern/:user_id/:repository/pull/:id/files(.:format)
route-controllerpull_requests
route-actionfiles
fetch-noncev2:b9f5cd55-dea0-f7e2-9b8e-cd7ca64e611a
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idBE38:3E9CB8:122A3CE:1A403F7:6A57B179
html-safe-noncec98d707a1c320f5c8cc17f45eb809a0fe806429451ee29bb0563581ff3a48e88
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJCRTM4OjNFOUNCODoxMjJBM0NFOjFBNDAzRjc6NkE1N0IxNzkiLCJ2aXNpdG9yX2lkIjoiMzczMTYyMTE1OTM5OTU2NzczNyIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmace54eab39136126c829806f3194b369e0bb6e452a0b0a2f5a59749703fd2c5fc0
hovercard-subject-tagpull_request:2673896802
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/20081/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
None899c314dfde9abcf8fc1fe8c04f09866b347ea06f43166d653afc482795c9fca
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
release67aa73f3bba9e68b2de0ebe01c65fcd120461cba
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/github/codeql/pull/20081/files#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fgithub%2Fcodeql%2Fpull%2F20081%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%2F20081%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/20081/files
Reloadhttps://github.com/github/codeql/pull/20081/files
Reloadhttps://github.com/github/codeql/pull/20081/files
Please reload this pagehttps://github.com/github/codeql/pull/20081/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 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
d10chttps://github.com/d10c
github:mainhttps://github.com/github/codeql/tree/main
d10c:d10c/diff-informed-phase-3-rusthttps://github.com/d10c/codeql/tree/d10c/diff-informed-phase-3-rust
Conversation 8 https://github.com/github/codeql/pull/20081
Findings https://github.com/github/codeql/pull/20081/findings
Commits 8 https://github.com/github/codeql/pull/20081/commits
Checks 13 https://github.com/github/codeql/pull/20081/checks
Files changed https://github.com/github/codeql/pull/20081/files
Please reload this pagehttps://github.com/github/codeql/pull/20081/files
Rust: Diff-informed queries: phase 3 (non-trivial locations) https://github.com/github/codeql/pull/20081/files#top
Show all changes 8 commits https://github.com/github/codeql/pull/20081/files
329fd80 [DIFF-INFORMED] Rust: RegexInjection d10c Jul 16, 2025 https://github.com/github/codeql/pull/20081/commits/329fd803e26945260f90997b1df60f018f4f927c
574bb87 [DIFF-INFORMED] Rust: TaintedPath d10c Jul 16, 2025 https://github.com/github/codeql/pull/20081/commits/574bb871e0268918725ecbbafff86db13fff8f5e
78c40e2 [DIFF-INFORMED] Rust: SqlInjection d10c Jul 16, 2025 https://github.com/github/codeql/pull/20081/commits/78c40e209b377f09f4606c79a8a070293b9e6fa3
091163b [DIFF-INFORMED] Rust: CleartextTransmission d10c Jul 16, 2025 https://github.com/github/codeql/pull/20081/commits/091163bf8e4b3e7135621808fb3a4c988358f88c
fcc3800 [DIFF-INFORMED] Rust: CleartextLogging d10c Jul 16, 2025 https://github.com/github/codeql/pull/20081/commits/fcc38007567bf5e71fdba8261f0f3bb67b7e87f6
56ae868 [DIFF-INFORMED] Rust: UncontrolledAllocationSize d10c Jul 16, 2025 https://github.com/github/codeql/pull/20081/commits/56ae8684e1ccc0f6b596161d7944ccd8acc7a861
31a73d4 [DIFF-INFORMED] Rust: AccessAfterLifetime d10c Jul 16, 2025 https://github.com/github/codeql/pull/20081/commits/31a73d466b9cc7be2e401ff76818a3fea8a9650d
83fe9e0 [DIFF-INFORMED] Rust: AccessInvalidPointer d10c Jul 16, 2025 https://github.com/github/codeql/pull/20081/commits/83fe9e0d514b4e50352da9d5825bf243e11bad9d
Clear filters https://github.com/github/codeql/pull/20081/files
Please reload this pagehttps://github.com/github/codeql/pull/20081/files
Please reload this pagehttps://github.com/github/codeql/pull/20081/files
RegexInjection.ql https://github.com/github/codeql/pull/20081/files#diff-fe7a2831f8dccd2add2d92384f49895d83e4ffdb7d4c1360f2ae8d4de775f1bb
TaintedPath.ql https://github.com/github/codeql/pull/20081/files#diff-5960e87c2c73bd70c975adc4d8e90ce2ddda4392c950fe0fdef7d1ae44afc47a
SqlInjection.ql https://github.com/github/codeql/pull/20081/files#diff-4441cd872f7fa0ee79359f9b95a3529c7be416fd77c40453a63a5a2e4b7287ed
CleartextTransmission.ql https://github.com/github/codeql/pull/20081/files#diff-dd1964e0860b42488fdd4583685c53c84736cab517f3eab2432118f49f457337
CleartextLogging.ql https://github.com/github/codeql/pull/20081/files#diff-dec2fb09691ccdf7d776e2d4f8e02b2f485729603d2bd58cbe4c72e75b3afd45
UncontrolledAllocationSize.ql https://github.com/github/codeql/pull/20081/files#diff-948c68eaf73185e896231630bce73b4ce6e22ee172bb7880a152d8351ae61b08
AccessAfterLifetime.ql https://github.com/github/codeql/pull/20081/files#diff-f44c6ea539f73e77266c218ee96cafb5a556550570cbe7677602d80a2773052c
AccessInvalidPointer.ql https://github.com/github/codeql/pull/20081/files#diff-a038c81cb1738145485060dc6d8acb9890032d9df48748af3e7a1867c1a13e58
https://github.com/github/codeql/blob/main/CODEOWNERS#L24
rust/ql/src/queries/security/CWE-020/RegexInjection.qlhttps://github.com/github/codeql/pull/20081/files#diff-fe7a2831f8dccd2add2d92384f49895d83e4ffdb7d4c1360f2ae8d4de775f1bb
View file https://github.com/d10c/codeql/blob/83fe9e0d514b4e50352da9d5825bf243e11bad9d/rust/ql/src/queries/security/CWE-020/RegexInjection.ql
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/github/codeql/pull/20081/{{ revealButtonHref }}
https://github.com/github/codeql/pull/20081/files#diff-fe7a2831f8dccd2add2d92384f49895d83e4ffdb7d4c1360f2ae8d4de775f1bb
https://github.com/github/codeql/pull/20081/files#diff-fe7a2831f8dccd2add2d92384f49895d83e4ffdb7d4c1360f2ae8d4de775f1bb
https://github.com/github/codeql/blob/main/CODEOWNERS#L24
rust/ql/src/queries/security/CWE-022/TaintedPath.qlhttps://github.com/github/codeql/pull/20081/files#diff-5960e87c2c73bd70c975adc4d8e90ce2ddda4392c950fe0fdef7d1ae44afc47a
View file https://github.com/d10c/codeql/blob/83fe9e0d514b4e50352da9d5825bf243e11bad9d/rust/ql/src/queries/security/CWE-022/TaintedPath.ql
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/github/codeql/pull/20081/{{ revealButtonHref }}
https://github.com/github/codeql/pull/20081/files#diff-5960e87c2c73bd70c975adc4d8e90ce2ddda4392c950fe0fdef7d1ae44afc47a
https://github.com/github/codeql/pull/20081/files#diff-5960e87c2c73bd70c975adc4d8e90ce2ddda4392c950fe0fdef7d1ae44afc47a
https://github.com/github/codeql/blob/main/CODEOWNERS#L24
rust/ql/src/queries/security/CWE-089/SqlInjection.qlhttps://github.com/github/codeql/pull/20081/files#diff-4441cd872f7fa0ee79359f9b95a3529c7be416fd77c40453a63a5a2e4b7287ed
View file https://github.com/d10c/codeql/blob/83fe9e0d514b4e50352da9d5825bf243e11bad9d/rust/ql/src/queries/security/CWE-089/SqlInjection.ql
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/github/codeql/pull/20081/{{ revealButtonHref }}
https://github.com/github/codeql/pull/20081/files#diff-4441cd872f7fa0ee79359f9b95a3529c7be416fd77c40453a63a5a2e4b7287ed
https://github.com/github/codeql/pull/20081/files#diff-4441cd872f7fa0ee79359f9b95a3529c7be416fd77c40453a63a5a2e4b7287ed
https://github.com/github/codeql/blob/main/CODEOWNERS#L24
rust/ql/src/queries/security/CWE-311/CleartextTransmission.qlhttps://github.com/github/codeql/pull/20081/files#diff-dd1964e0860b42488fdd4583685c53c84736cab517f3eab2432118f49f457337
View file https://github.com/d10c/codeql/blob/83fe9e0d514b4e50352da9d5825bf243e11bad9d/rust/ql/src/queries/security/CWE-311/CleartextTransmission.ql
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/github/codeql/pull/20081/{{ revealButtonHref }}
https://github.com/github/codeql/pull/20081/files#diff-dd1964e0860b42488fdd4583685c53c84736cab517f3eab2432118f49f457337
https://github.com/github/codeql/pull/20081/files#diff-dd1964e0860b42488fdd4583685c53c84736cab517f3eab2432118f49f457337
https://github.com/github/codeql/blob/main/CODEOWNERS#L24
rust/ql/src/queries/security/CWE-312/CleartextLogging.qlhttps://github.com/github/codeql/pull/20081/files#diff-dec2fb09691ccdf7d776e2d4f8e02b2f485729603d2bd58cbe4c72e75b3afd45
View file https://github.com/d10c/codeql/blob/83fe9e0d514b4e50352da9d5825bf243e11bad9d/rust/ql/src/queries/security/CWE-312/CleartextLogging.ql
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/github/codeql/pull/20081/{{ revealButtonHref }}
https://github.com/github/codeql/pull/20081/files#diff-dec2fb09691ccdf7d776e2d4f8e02b2f485729603d2bd58cbe4c72e75b3afd45
https://github.com/github/codeql/pull/20081/files#diff-dec2fb09691ccdf7d776e2d4f8e02b2f485729603d2bd58cbe4c72e75b3afd45
https://github.com/github/codeql/blob/main/CODEOWNERS#L24
rust/ql/src/queries/security/CWE-770/UncontrolledAllocationSize.qlhttps://github.com/github/codeql/pull/20081/files#diff-948c68eaf73185e896231630bce73b4ce6e22ee172bb7880a152d8351ae61b08
View file https://github.com/d10c/codeql/blob/83fe9e0d514b4e50352da9d5825bf243e11bad9d/rust/ql/src/queries/security/CWE-770/UncontrolledAllocationSize.ql
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/github/codeql/pull/20081/{{ revealButtonHref }}
https://github.com/github/codeql/pull/20081/files#diff-948c68eaf73185e896231630bce73b4ce6e22ee172bb7880a152d8351ae61b08
https://github.com/github/codeql/pull/20081/files#diff-948c68eaf73185e896231630bce73b4ce6e22ee172bb7880a152d8351ae61b08
https://github.com/github/codeql/blob/main/CODEOWNERS#L24
rust/ql/src/queries/security/CWE-825/AccessAfterLifetime.qlhttps://github.com/github/codeql/pull/20081/files#diff-f44c6ea539f73e77266c218ee96cafb5a556550570cbe7677602d80a2773052c
View file https://github.com/d10c/codeql/blob/83fe9e0d514b4e50352da9d5825bf243e11bad9d/rust/ql/src/queries/security/CWE-825/AccessAfterLifetime.ql
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/github/codeql/pull/20081/{{ revealButtonHref }}
https://github.com/github/codeql/pull/20081/files#diff-f44c6ea539f73e77266c218ee96cafb5a556550570cbe7677602d80a2773052c
https://github.com/github/codeql/blob/main/CODEOWNERS#L24
rust/ql/src/queries/security/CWE-825/AccessInvalidPointer.qlhttps://github.com/github/codeql/pull/20081/files#diff-a038c81cb1738145485060dc6d8acb9890032d9df48748af3e7a1867c1a13e58
View file https://github.com/d10c/codeql/blob/83fe9e0d514b4e50352da9d5825bf243e11bad9d/rust/ql/src/queries/security/CWE-825/AccessInvalidPointer.ql
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/github/codeql/pull/20081/{{ revealButtonHref }}
https://github.com/github/codeql/pull/20081/files#diff-a038c81cb1738145485060dc6d8acb9890032d9df48748af3e7a1867c1a13e58
https://github.com/github/codeql/pull/20081/files#diff-a038c81cb1738145485060dc6d8acb9890032d9df48748af3e7a1867c1a13e58
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.