René's URL Explorer Experiment


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

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

X Title: Python: Diff-informed queries: phase 3 (non-trivial locations) by d10c · Pull Request #20079 · 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. Potentially tricky cases: Python TimingAttackAgainstHash test: I wasn't able to get alerts to show up for the qhelp-based tests; can someone from the language team chip in to what a useful test would look like? Something with MaD? In contrast, in [TEST] Java: CWE-020/ExternalAPI I was able to get alerts just from the qhelp example, and in [TEST] C++: CleartextSqliteDatabase I was able to get alerts from a mostly Copilot-written test. If it's too complicated, let's just drop this query.

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/20079

X: @github

direct link

Domain: github.com

route-pattern/:user_id/:repository/pull/:id/files(.:format)
route-controllerpull_requests
route-actionfiles
fetch-noncev2:754c70b0-7cd9-4f12-be22-199850ad62a4
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idC54C:A2F1B:2EBE04:3F539B:6A57FAAF
html-safe-nonce6f1bd29f5bf60d44046c960b8271728d481ea9b7650f1e17a8dc022e56bedd86
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJDNTRDOkEyRjFCOjJFQkUwNDozRjUzOUI6NkE1N0ZBQUYiLCJ2aXNpdG9yX2lkIjoiNDQ2Nzc5MTIxNDM3NTA2MjIzIiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmac4d41de04958649199d94291ffaea7e0211b9d254c606c57281381fe216ba9686
hovercard-subject-tagpull_request:2673857152
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/20079/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
None49c8c15fabcbf356d607a90ca115c13b273e42ff8b74155de050fd229a9b0121
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
release3fb1f684e7a833eb1b2d01d39875a2b52cb4fe9b
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/github/codeql/pull/20079/files#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fgithub%2Fcodeql%2Fpull%2F20079%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%2F20079%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/20079/files
Reloadhttps://github.com/github/codeql/pull/20079/files
Reloadhttps://github.com/github/codeql/pull/20079/files
Please reload this pagehttps://github.com/github/codeql/pull/20079/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 991 https://github.com/github/codeql/issues
Pull requests 430 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-pythonhttps://github.com/d10c/codeql/tree/d10c/diff-informed-phase-3-python
Conversation 7 https://github.com/github/codeql/pull/20079
Findings https://github.com/github/codeql/pull/20079/findings
Commits 2 https://github.com/github/codeql/pull/20079/commits
Checks 10 https://github.com/github/codeql/pull/20079/checks
Files changed https://github.com/github/codeql/pull/20079/files
Please reload this pagehttps://github.com/github/codeql/pull/20079/files
Python: Diff-informed queries: phase 3 (non-trivial locations) https://github.com/github/codeql/pull/20079/files#top
Show all changes 2 commits https://github.com/github/codeql/pull/20079/files
9408a96 [TEST] Python: TimingAttackAgainstHash: add qlref test to existing so… d10c Jul 15, 2025 https://github.com/github/codeql/pull/20079/commits/9408a96ba53f62b9588e8c844946a908ad8ff146
20030d5 [DIFF-INFORMED] Python: (Possible)TimingAttackAgainstHash d10c Jul 16, 2025 https://github.com/github/codeql/pull/20079/commits/20030d56a528757bca76b07589c11e46ef03271e
Clear filters https://github.com/github/codeql/pull/20079/files
Please reload this pagehttps://github.com/github/codeql/pull/20079/files
Please reload this pagehttps://github.com/github/codeql/pull/20079/files
PossibleTimingAttackAgainstHash.ql https://github.com/github/codeql/pull/20079/files#diff-8bcb2eb5c21f9015f402fff5437a61ab7483dedb21f955a66c2ca79579f98a4d
TimingAttackAgainstHash.ql https://github.com/github/codeql/pull/20079/files#diff-c14fb36deb34aaa8e56904310a0056039446a7a67af4ece5bbe158e34eacf9ab
PossibleTimingAttackAgainstHash.expected https://github.com/github/codeql/pull/20079/files#diff-4d73f238438a4baf6fb3f52561ec1c0f47bd6a353ff0cffe27a5eb88334fdd56
TimingAttackAgainstHash.expected https://github.com/github/codeql/pull/20079/files#diff-b5fb9ee943ca1d2173b92a418a27cbb980319d121183861ff19f5a44f504dccc
TimingAttackAgainstHash.qlref https://github.com/github/codeql/pull/20079/files#diff-66854620a0423d15c0efb9925cbb07d7d2f597c174fbc42b1929fc4b15fa75f2
https://github.com/github/codeql/blob/main/CODEOWNERS#L19
.../experimental/Security/CWE-208/TimingAttackAgainstHash/PossibleTimingAttackAgainstHash.qlhttps://github.com/github/codeql/pull/20079/files#diff-8bcb2eb5c21f9015f402fff5437a61ab7483dedb21f955a66c2ca79579f98a4d
View file https://github.com/d10c/codeql/blob/20030d56a528757bca76b07589c11e46ef03271e/python/ql/src/experimental/Security/CWE-208/TimingAttackAgainstHash/PossibleTimingAttackAgainstHash.ql
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/github/codeql/pull/20079/{{ revealButtonHref }}
https://github.com/github/codeql/pull/20079/files#diff-8bcb2eb5c21f9015f402fff5437a61ab7483dedb21f955a66c2ca79579f98a4d
https://github.com/github/codeql/pull/20079/files#diff-8bcb2eb5c21f9015f402fff5437a61ab7483dedb21f955a66c2ca79579f98a4d
https://github.com/github/codeql/blob/main/CODEOWNERS#L19
...n/ql/src/experimental/Security/CWE-208/TimingAttackAgainstHash/TimingAttackAgainstHash.qlhttps://github.com/github/codeql/pull/20079/files#diff-c14fb36deb34aaa8e56904310a0056039446a7a67af4ece5bbe158e34eacf9ab
View file https://github.com/d10c/codeql/blob/20030d56a528757bca76b07589c11e46ef03271e/python/ql/src/experimental/Security/CWE-208/TimingAttackAgainstHash/TimingAttackAgainstHash.ql
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/github/codeql/pull/20079/{{ revealButtonHref }}
https://github.com/github/codeql/pull/20079/files#diff-c14fb36deb34aaa8e56904310a0056039446a7a67af4ece5bbe158e34eacf9ab
https://github.com/github/codeql/pull/20079/files#diff-c14fb36deb34aaa8e56904310a0056039446a7a67af4ece5bbe158e34eacf9ab
https://github.com/github/codeql/blob/main/CODEOWNERS#L19
...y-tests/Security/CWE-208/TimingAttackAgainstHash/PossibleTimingAttackAgainstHash.expectedhttps://github.com/github/codeql/pull/20079/files#diff-4d73f238438a4baf6fb3f52561ec1c0f47bd6a353ff0cffe27a5eb88334fdd56
View file https://github.com/d10c/codeql/blob/20030d56a528757bca76b07589c11e46ef03271e/python/ql/test/experimental/query-tests/Security/CWE-208/TimingAttackAgainstHash/PossibleTimingAttackAgainstHash.expected
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/github/codeql/pull/20079/{{ revealButtonHref }}
https://github.com/github/codeql/pull/20079/files#diff-4d73f238438a4baf6fb3f52561ec1c0f47bd6a353ff0cffe27a5eb88334fdd56
https://github.com/github/codeql/blob/main/CODEOWNERS#L19
...tal/query-tests/Security/CWE-208/TimingAttackAgainstHash/TimingAttackAgainstHash.expectedhttps://github.com/github/codeql/pull/20079/files#diff-b5fb9ee943ca1d2173b92a418a27cbb980319d121183861ff19f5a44f504dccc
View file https://github.com/d10c/codeql/blob/20030d56a528757bca76b07589c11e46ef03271e/python/ql/test/experimental/query-tests/Security/CWE-208/TimingAttackAgainstHash/TimingAttackAgainstHash.expected
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/github/codeql/pull/20079/{{ revealButtonHref }}
https://github.com/github/codeql/blob/main/CODEOWNERS#L19
...mental/query-tests/Security/CWE-208/TimingAttackAgainstHash/TimingAttackAgainstHash.qlrefhttps://github.com/github/codeql/pull/20079/files#diff-66854620a0423d15c0efb9925cbb07d7d2f597c174fbc42b1929fc4b15fa75f2
View file https://github.com/d10c/codeql/blob/20030d56a528757bca76b07589c11e46ef03271e/python/ql/test/experimental/query-tests/Security/CWE-208/TimingAttackAgainstHash/TimingAttackAgainstHash.qlref
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/github/codeql/pull/20079/{{ revealButtonHref }}
Please reload this pagehttps://github.com/github/codeql/pull/20079/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.