Title: Java: mass enable diff-informed data flow + `none()` overrides by d10c · Pull Request #19795 · github/codeql · GitHub
Open Graph Title: Java: mass enable diff-informed data flow + `none()` overrides by d10c · Pull Request #19795 · github/codeql
X Title: Java: mass enable diff-informed data flow + `none()` overrides by d10c · Pull Request #19795 · github/codeql
Description: An auto-generated patch that enables diff-informed data flow in the obvious cases. Adds observeDiffInformedIncrementalMode() { any() } override to queries that don't select a location other than a dataflow source or sink. Adds getASelected{Source,Sink}Location() { none() } override to queries that select a dataflow source or sink as a location, but not both. Java has previously had a round of diff-informed query enablements, but it seems some queries were missed in the first round.
Open Graph Description: An auto-generated patch that enables diff-informed data flow in the obvious cases. Adds observeDiffInformedIncrementalMode() { any() } override to queries that don't select a location other th...
X Description: An auto-generated patch that enables diff-informed data flow in the obvious cases. Adds observeDiffInformedIncrementalMode() { any() } override to queries that don't select a location othe...
Opengraph URL: https://github.com/github/codeql/pull/19795
X: @github
Domain: github.com
| route-pattern | /:user_id/:repository/pull/:id/files(.:format) |
| route-controller | pull_requests |
| route-action | files |
| fetch-nonce | v2:14182e66-7223-5b55-dc0e-92ed73e12037 |
| current-catalog-service-hash | ae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b |
| request-id | B280:11104D:21DB6A:3065F1:6A59D5E2 |
| html-safe-nonce | 1851fc8510afa7fb0a6c11dc3f5a023ed3b4e6c261ab5ec39952ba73f7fcc09a |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJCMjgwOjExMTA0RDoyMURCNkE6MzA2NUYxOjZBNTlENUUyIiwidmlzaXRvcl9pZCI6IjU0Mzc0NDYxMTc2OTE4NzI3MzgiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ== |
| visitor-hmac | 8417874783826238ce54028413352e34b7f1e172a02f1bd8641841ea3abafed6 |
| hovercard-subject-tag | pull_request:2598728649 |
| github-keyboard-shortcuts | repository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot |
| google-site-verification | Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I |
| octolytics-url | https://collector.github.com/github/collect |
| analytics-location | / |
| fb:app_id | 1401488693436528 |
| apple-itunes-app | app-id=1477376905, app-argument=https://github.com/github/codeql/pull/19795/files |
| twitter:image | https://avatars.githubusercontent.com/u/9970661?s=400&v=4 |
| twitter:card | summary_large_image |
| og:image | https://avatars.githubusercontent.com/u/9970661?s=400&v=4 |
| og:image:alt | An auto-generated patch that enables diff-informed data flow in the obvious cases. Adds observeDiffInformedIncrementalMode() { any() } override to queries that don't select a location other th... |
| og:site_name | GitHub |
| og:type | object |
| hostname | github.com |
| expected-hostname | github.com |
| None | ba3976babb66479b1c943a8edc0777d96157da48fadc0161f9ddb219deee8353 |
| turbo-cache-control | no-preview |
| diff-view | unified |
| go-import | github.com/github/codeql git https://github.com/github/codeql.git |
| octolytics-dimension-user_id | 9919 |
| octolytics-dimension-user_login | github |
| octolytics-dimension-repository_id | 143040428 |
| octolytics-dimension-repository_nwo | github/codeql |
| octolytics-dimension-repository_public | true |
| octolytics-dimension-repository_is_fork | false |
| octolytics-dimension-repository_network_root_id | 143040428 |
| octolytics-dimension-repository_network_root_nwo | github/codeql |
| turbo-body-classes | logged-out env-production page-responsive full-width |
| disable-turbo | true |
| browser-stats-url | https://api.github.com/_private/browser/stats |
| browser-errors-url | https://api.github.com/_private/browser/errors |
| release | bfacf98c3b7ad151665d6ddd216469389872b251 |
| ui-target | full |
| theme-color | #1e2327 |
| color-scheme | light dark |
Links:
Viewport: width=device-width