René's URL Explorer Experiment


Title: Shared: Use `isSink/1` in `PropagateFlowConfig` by MathiasVP · Pull Request #19404 · github/codeql · GitHub

Open Graph Title: Shared: Use `isSink/1` in `PropagateFlowConfig` by MathiasVP · Pull Request #19404 · github/codeql

X Title: Shared: Use `isSink/1` in `PropagateFlowConfig` by MathiasVP · Pull Request #19404 · github/codeql

Description: A not-super-widely-known feature from state-based dataflow configurations is that you can omit the state (see here) in the isSink when you don't want to restrict the state in isSink. It looks like this is exactly what's being done in PropagateFlowConfig::isSink so we might as well omit the sink and avoid the small cartesian product.

Open Graph Description: A not-super-widely-known feature from state-based dataflow configurations is that you can omit the state (see here) in the isSink when you don't want to restrict the state in isSink. It looks l...

X Description: A not-super-widely-known feature from state-based dataflow configurations is that you can omit the state (see here) in the isSink when you don't want to restrict the state in isSink. It loo...

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

X: @github

direct link

Domain: github.com

react-profiling0
react-import-mapreact,react-dom,react-dom/client,react-dom/profiling,react-is,react-reconciler,react/compiler-runtime,react/jsx-dev-runtime,react/jsx-runtime,scheduler@d5750093facf
route-pattern/:user_id/:repository/pull/:id/files(.:format)
route-controllerpull_requests
route-actionfiles
fetch-noncev2:c5590a37-a680-1bb1-a399-f1b4179dc8c1
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idB9B0:2AEA51:107A9E:167BB8:6AF8FADD
html-safe-nonce909ef566055c77f72850597c595e98c5ef90fd7f17da0c0d42c2563a8e3e0ed4
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJCOUIwOjJBRUE1MToxMDdBOUU6MTY3QkI4OjZBRjhGQUREIiwidmlzaXRvcl9pZCI6IjMwMDc0OTkyNjM5NjY1MDk3ODkiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmacc443522a71b467a02634474414e28119ab0d32a995732417ceeaee913a297b0e
hovercard-subject-tagpull_request:2486388565
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/19404/files
twitter:imagehttps://avatars.githubusercontent.com/u/4527323?s=400&v=4
twitter:cardsummary_large_image
og:imagehttps://avatars.githubusercontent.com/u/4527323?s=400&v=4
og:image:altA not-super-widely-known feature from state-based dataflow configurations is that you can omit the state (see here) in the isSink when you don't want to restrict the state in isSink. It looks l...
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
None612d3e6ffd693e7ea8d9fcf452370995872baef31d825b1fedef704cd3d24ac7
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
disable-turbotrue
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release072e34035c13c31543fba9f025cbbbda4210dae4
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/github/codeql/pull/19404/files#start-of-content
https://github.com/
Sign inhttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fgithub%2Fcodeql%2Fpull%2F19404%2Ffiles
GitHubRepository hosting, code review, and collaborationhttps://github.com/platform
CopilotAI coding agent for tasks, projects, and automated workhttps://github.com/features/copilot
ActionsCI/CD and automationhttps://github.com/features/actions
Code QualityQuality analysis, fixes, and enforcementhttps://github.com/features/code-quality
CodespacesCloud development environmentshttps://github.com/features/codespaces
Code SecurityVulnerability detection and remediationhttps://github.com/security/advanced-security/code-security
Secret ProtectionSecret scanning and leak preventionhttps://github.com/security/advanced-security/secret-protection
All Featureshttps://github.com/features
Documentationhttps://docs.github.com/en
Traininghttps://learn.github.com/skills
Certificationshttps://learn.github.com/credentials
Build with Copilothttps://github.com/features/ai
Customize Copilothttps://docs.github.com/en/copilot/how-tos/copilot-on-github/customize-copilot/customize-copilot-overview
Integrationshttps://github.com/marketplace
Trending reposhttps://github.com/trending
GitHub Sponsorshttps://github.com/open-source/sponsors
Developer articleshttps://github.com/resources/articles
ChangelogYour source for the latest features, improvements, and fixes across GitHub products, all in one place.https://github.blog/changelog/
Enterpriseshttps://github.com/enterprise
Teamhttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
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
See all industrieshttps://github.com/solutions/industry
Why GitHubhttps://github.com/why-github
Customer Storieshttps://github.com/customer-stories
Business insightshttps://github.com/solutions/executive-insights
Trust Centerhttps://github.com/trust-center
GitHub Advanced SecurityEnterprise-grade code securityhttps://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
Documentationhttps://docs.github.com/en
Resource centerhttps://github.com/resources
Bloghttps://github.blog/
Events & webinarshttps://github.com/resources/events
Community Forumhttps://github.com/orgs/community/discussions
Customer Storieshttps://github.com/customer-stories
Integrationshttps://github.com/marketplace
Customer supporthttps://help.github.com/
Traininghttps://learn.github.com/skills
GitHub Statushttps://www.githubstatus.com/
Abouthttps://github.com/about
Partnershttps://github.com/partners
Changeloghttps://github.blog/changelog/
GitHub UniverseThe event for developers, by developers — talks, workshops, and what’s next for GitHub.https://githubuniverse.com/
Pricinghttps://github.com/pricing
Sign inhttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fgithub%2Fcodeql%2Fpull%2F19404%2Ffiles
Sign uphttps://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/19404/files
Reloadhttps://github.com/github/codeql/pull/19404/files
Reloadhttps://github.com/github/codeql/pull/19404/files
githubhttps://github.com/github
codeqlhttps://github.com/github/codeql
Codehttps://github.com/github/codeql
Issues1k (1k)https://github.com/github/codeql/issues
Pull requests516 (516)https://github.com/github/codeql/pulls
Discussionshttps://github.com/github/codeql/discussions
Actionshttps://github.com/github/codeql/actions
Projectshttps://github.com/github/codeql/projects
Security and qualityhttps://github.com/github/codeql/security
Insightshttps://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
MathiasVPhttps://github.com/MathiasVP
github:mainhttps://github.com/github/codeql/tree/main
MathiasVP:cleanup-PropagateFlowConfighttps://github.com/MathiasVP/ql/tree/cleanup-PropagateFlowConfig
Conversation 2 https://github.com/github/codeql/pull/19404
Commits 1 https://github.com/github/codeql/pull/19404/commits
Checks 0 https://github.com/github/codeql/pull/19404/checks
Findings https://github.com/github/codeql/pull/19404/findings
Files changed https://github.com/github/codeql/pull/19404/files
Please reload this pagehttps://github.com/github/codeql/pull/19404/files
Shared: Use isSink/1 in PropagateFlowConfig https://github.com/github/codeql/pull/19404/files#top
Show all changes 1 commit https://github.com/github/codeql/pull/19404/files
b91a2cc Shared: Use 'isSink/1' in 'PropagateFlowConfig'. MathiasVP Apr 28, 2025 https://github.com/github/codeql/pull/19404/commits/b91a2cc1594c7a69d1d18a11c00c4f7d825b8342
Clear filters https://github.com/github/codeql/pull/19404/files
Please reload this pagehttps://github.com/github/codeql/pull/19404/files
Please reload this pagehttps://github.com/github/codeql/pull/19404/files
https://github.com/github/codeql/blob/main/CODEOWNERS#L25
shared/mad/codeql/mad/modelgenerator/internal/ModelGeneratorImpl.qllhttps://github.com/github/codeql/pull/19404/files#diff-bea1f1888b51e06464afd96cd186d2e6ad8e5a169059627ac44b5312bdccf5e6
View file https://github.com/MathiasVP/ql/blob/b91a2cc1594c7a69d1d18a11c00c4f7d825b8342/shared/mad/codeql/mad/modelgenerator/internal/ModelGeneratorImpl.qll
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/github/codeql/pull/19404/{{ revealButtonHref }}
https://github.com/github/codeql/pull/19404/files#diff-bea1f1888b51e06464afd96cd186d2e6ad8e5a169059627ac44b5312bdccf5e6
https://github.com/github/codeql/pull/19404/files#diff-bea1f1888b51e06464afd96cd186d2e6ad8e5a169059627ac44b5312bdccf5e6
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.