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: CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security - Rust: Diff-informed queries: phase 3 (non-trivial locations) by d10c · Pull Request #20081 · github/codeql

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/_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:3dbd0da2-5319-afb6-99e6-83ea164fb376
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idC306:73ADA:10AC93D:1823EA2:6A5773C2
html-safe-nonce64a64c2fc0db63c4c7e0bace6a88fad8d8758f3e53cbb67996d2f963eb111880
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJDMzA2OjczQURBOjEwQUM5M0Q6MTgyM0VBMjo2QTU3NzNDMiIsInZpc2l0b3JfaWQiOiI3OTI3OTIzNTQ3NTUyODM4NTk0IiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmacf049df408ac4d30f9a6c05f3d251c63fc21b3b55300e503d290016e4e11a5f50
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///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/20081/pull_request_layout
twitter:imagehttps://opengraph.githubassets.com/5d2aa2a662413614de9a3290d6d09dc9ef4de5bd09b19ec13b4a6dd0018ddcd8/github/codeql/pull/20081
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/5d2aa2a662413614de9a3290d6d09dc9ef4de5bd09b19ec13b4a6dd0018ddcd8/github/codeql/pull/20081
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:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernamed10c
hostnamegithub.com
expected-hostnamegithub.com
None4e7a7296a3830877cf21a6ad2a972c9e618a48915e03966cf0c53eb08e5aad98
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
releasec0ca805e53f128ba1f966be1d3ccd81d0d1959c7
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/github/codeql/pull/20081#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fgithub%2Fcodeql%2Fpull%2F20081
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
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/20081
Reloadhttps://github.com/github/codeql/pull/20081
Reloadhttps://github.com/github/codeql/pull/20081
Please reload this pagehttps://github.com/github/codeql/pull/20081
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
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
Conversationhttps://github.com/github/codeql/pull/20081
Commits8 (8)https://github.com/github/codeql/pull/20081/commits
Checkshttps://github.com/github/codeql/pull/20081/checks
Files changedhttps://github.com/github/codeql/pull/20081/files
Rust: Diff-informed queries: phase 3 (non-trivial locations)https://github.com/github/codeql/pull/20081#top
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
https://github.com/d10c
d10chttps://github.com/d10c
Jul 17, 2025https://github.com/github/codeql/pull/20081#issue-3239502028
#19663https://github.com/github/codeql/pull/19663
#19759https://github.com/github/codeql/pull/19759
#19817https://github.com/github/codeql/pull/19817
Please reload this pagehttps://github.com/github/codeql/pull/20081
https://github.com/apps/github-actions
github-actionshttps://github.com/apps/github-actions
Rust https://github.com/github/codeql/issues?q=state%3Aopen%20label%3ARust
Jul 17, 2025https://github.com/github/codeql/pull/20081#event-18679825735
https://github.com/d10c
d10chttps://github.com/d10c
no-change-note-required https://github.com/github/codeql/issues?q=state%3Aopen%20label%3Ano-change-note-required
Jul 17, 2025https://github.com/github/codeql/pull/20081#event-18679997250
https://github.com/d10c
d10chttps://github.com/d10c
July 17, 2025 14:46https://github.com/github/codeql/pull/20081#event-18682016687
https://github.com/apps/copilot-pull-request-reviewer
Copilothttps://github.com/apps/copilot-pull-request-reviewer
July 17, 2025 14:46https://github.com/github/codeql/pull/20081#event-18682016932
https://github.com/d10c
d10chttps://github.com/d10c
code ownerhttps://github.com/github/codeql/blob/1485d7072d3546251bb628e2c4a258073abefb4c/CODEOWNERS#L11
July 17, 2025 14:47https://github.com/github/codeql/pull/20081#event-18682017129
https://github.com/d10c
d10chttps://github.com/d10c
michaelnebelhttps://github.com/michaelnebel
July 17, 2025 14:47https://github.com/github/codeql/pull/20081#event-18682018698
https://github.com/apps/copilot-pull-request-reviewer
Copilothttps://github.com/apps/copilot-pull-request-reviewer
Jul 17, 2025 https://github.com/github/codeql/pull/20081#pullrequestreview-3029868991
View reviewed changes https://github.com/github/codeql/pull/20081/files
Copilothttps://github.com/apps/copilot-pull-request-reviewer
https://github.com/github/codeql/pull/20081#pullrequestreview-3029868991
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20081
https://github.com/geoffw0
geoffw0https://github.com/geoffw0
Jul 21, 2025 https://github.com/github/codeql/pull/20081#pullrequestreview-3039944235
View reviewed changes https://github.com/github/codeql/pull/20081/files
geoffw0https://github.com/geoffw0
Please reload this pagehttps://github.com/github/codeql/pull/20081
https://github.com/github/codeql/pull/20081#pullrequestreview-3039944235
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20081
rust/ql/src/queries/security/CWE-825/AccessAfterLifetime.qlhttps://github.com/github/codeql/pull/20081/files#diff-f44c6ea539f73e77266c218ee96cafb5a556550570cbe7677602d80a2773052c
geoffw0https://github.com/geoffw0
Jul 21, 2025https://github.com/github/codeql/pull/20081#discussion_r2220408991
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20081
d10chttps://github.com/d10c
Jul 22, 2025https://github.com/github/codeql/pull/20081#discussion_r2221831933
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20081
geoffw0https://github.com/geoffw0
Jul 23, 2025https://github.com/github/codeql/pull/20081#discussion_r2225030264
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20081
d10chttps://github.com/d10c
Jul 23, 2025https://github.com/github/codeql/pull/20081#discussion_r2225530985
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20081
https://github.com/d10c
d10chttps://github.com/d10c
Jul 22, 2025https://github.com/github/codeql/pull/20081#issuecomment-3101722396
Please reload this pagehttps://github.com/github/codeql/pull/20081
d10chttps://github.com/d10c
July 23, 2025 14:51https://github.com/github/codeql/pull/20081#commits-pushed-329fd80
https://github.com/d10c
[DIFF-INFORMED] Rust: RegexInjectionhttps://github.com/github/codeql/pull/20081/commits/329fd803e26945260f90997b1df60f018f4f927c
329fd80https://github.com/github/codeql/pull/20081/commits/329fd803e26945260f90997b1df60f018f4f927c
https://github.com/d10c
[DIFF-INFORMED] Rust: TaintedPathhttps://github.com/github/codeql/pull/20081/commits/574bb871e0268918725ecbbafff86db13fff8f5e
574bb87https://github.com/github/codeql/pull/20081/commits/574bb871e0268918725ecbbafff86db13fff8f5e
https://github.com/d10c
[DIFF-INFORMED] Rust: SqlInjectionhttps://github.com/github/codeql/pull/20081/commits/78c40e209b377f09f4606c79a8a070293b9e6fa3
78c40e2https://github.com/github/codeql/pull/20081/commits/78c40e209b377f09f4606c79a8a070293b9e6fa3
https://github.com/d10c
[DIFF-INFORMED] Rust: CleartextTransmissionhttps://github.com/github/codeql/pull/20081/commits/091163bf8e4b3e7135621808fb3a4c988358f88c
091163bhttps://github.com/github/codeql/pull/20081/commits/091163bf8e4b3e7135621808fb3a4c988358f88c
https://github.com/d10c
[DIFF-INFORMED] Rust: CleartextLogginghttps://github.com/github/codeql/pull/20081/commits/fcc38007567bf5e71fdba8261f0f3bb67b7e87f6
fcc3800https://github.com/github/codeql/pull/20081/commits/fcc38007567bf5e71fdba8261f0f3bb67b7e87f6
https://github.com/d10c
[DIFF-INFORMED] Rust: UncontrolledAllocationSizehttps://github.com/github/codeql/pull/20081/commits/56ae8684e1ccc0f6b596161d7944ccd8acc7a861
56ae868https://github.com/github/codeql/pull/20081/commits/56ae8684e1ccc0f6b596161d7944ccd8acc7a861
https://github.com/d10c
[DIFF-INFORMED] Rust: AccessAfterLifetimehttps://github.com/github/codeql/pull/20081/commits/31a73d466b9cc7be2e401ff76818a3fea8a9650d
31a73d4https://github.com/github/codeql/pull/20081/commits/31a73d466b9cc7be2e401ff76818a3fea8a9650d
https://github.com/d10c
[DIFF-INFORMED] Rust: AccessInvalidPointerhttps://github.com/github/codeql/pull/20081/commits/83fe9e0d514b4e50352da9d5825bf243e11bad9d
83fe9e0https://github.com/github/codeql/pull/20081/commits/83fe9e0d514b4e50352da9d5825bf243e11bad9d
https://github.com/d10c
d10chttps://github.com/d10c
force-pushedhttps://github.com/github/codeql/compare/276effeb2ac3848c9723d70aca6dae1ea69fb3cf..83fe9e0d514b4e50352da9d5825bf243e11bad9d
276effehttps://github.com/github/codeql/commit/276effeb2ac3848c9723d70aca6dae1ea69fb3cf
83fe9e0https://github.com/github/codeql/commit/83fe9e0d514b4e50352da9d5825bf243e11bad9d
Compare https://github.com/github/codeql/compare/276effeb2ac3848c9723d70aca6dae1ea69fb3cf..83fe9e0d514b4e50352da9d5825bf243e11bad9d
July 23, 2025 12:58https://github.com/github/codeql/pull/20081#event-18773863408
https://github.com/geoffw0
geoffw0https://github.com/geoffw0
Jul 23, 2025 https://github.com/github/codeql/pull/20081#pullrequestreview-3047722375
View reviewed changes https://github.com/github/codeql/pull/20081/files/83fe9e0d514b4e50352da9d5825bf243e11bad9d
geoffw0https://github.com/geoffw0
https://github.com/github/codeql/pull/20081#pullrequestreview-3047722375
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql/pull/20081
https://github.com/d10c
d10chttps://github.com/d10c
5f8c457https://github.com/github/codeql/commit/5f8c457295de582f6762e0099f508b055096977d
Jul 23, 2025https://github.com/github/codeql/pull/20081#event-18775947469
Please reload this pagehttps://github.com/github/codeql/pull/20081
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%2F20081
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/20081/files/276effeb2ac3848c9723d70aca6dae1ea69fb3cf
https://github.com/geoffw0
geoffw0 https://github.com/geoffw0
https://github.com/github/codeql/pull/20081/files/83fe9e0d514b4e50352da9d5825bf243e11bad9d
https://github.com/michaelnebel
michaelnebel https://github.com/michaelnebel
no-change-note-required https://github.com/github/codeql/issues?q=state%3Aopen%20label%3Ano-change-note-required
Rust https://github.com/github/codeql/issues?q=state%3Aopen%20label%3ARust
Please reload this pagehttps://github.com/github/codeql/pull/20081
https://github.com/d10c
https://github.com/geoffw0
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.