Title: Dataflow: Overlay informed dataflow. by alexet · Pull Request #20386 · github/codeql · GitHub
Open Graph Title: Dataflow: Overlay informed dataflow. by alexet · Pull Request #20386 · github/codeql
X Title: Dataflow: Overlay informed dataflow. by alexet · Pull Request #20386 · github/codeql
Description: This adds overlay informed Dataflow. The idea is that for non-diff-informed configurations we use the diff informed mechanism to filter the sources and sinks to the overlay and then merge those results with the base results. This can lead to FPs/FNs due to flow paths via the overlay but the accuracy seems well within what we are targetting for overlay mode and saves lots of time. Unfortunately the merging code cannot instantiated with CPP analysis as it uses EquivalenceRelation internally. This means we need separate parametrised modules (as we can't just guard with a predicate). The local results are also exposed for cases where the pure local results are desired (e.g. for regexes where we are only going to care about analysing new regexes in the overlay).
Open Graph Description: This adds overlay informed Dataflow. The idea is that for non-diff-informed configurations we use the diff informed mechanism to filter the sources and sinks to the overlay and then merge those res...
X Description: This adds overlay informed Dataflow. The idea is that for non-diff-informed configurations we use the diff informed mechanism to filter the sources and sinks to the overlay and then merge those res...
Opengraph URL: https://github.com/github/codeql/pull/20386
X: @github
Domain: github.com
| route-pattern | /:user_id/:repository/pull/:id/files(.:format) |
| route-controller | pull_requests |
| route-action | files |
| fetch-nonce | v2:0933cd68-d58a-9610-b45e-b383d07afdb8 |
| current-catalog-service-hash | ae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b |
| request-id | 9B0A:347BE:48EF0C:62270A:6A580370 |
| html-safe-nonce | 8cf71edc85072f9cf7c81349dde86cfcd2845fc0a0c9745fe1ae4cf0bb52ef62 |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI5QjBBOjM0N0JFOjQ4RUYwQzo2MjI3MEE6NkE1ODAzNzAiLCJ2aXNpdG9yX2lkIjoiNzI4NjM2MTExOTc5MDcyODA0OCIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9 |
| visitor-hmac | 08406d386f9ef9dd78da2de7407db70d0d1178d973c8e5e64c95b2165867c019 |
| hovercard-subject-tag | pull_request:2808715112 |
| 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/20386/files |
| twitter:image | https://avatars.githubusercontent.com/u/3524095?s=400&v=4 |
| twitter:card | summary_large_image |
| og:image | https://avatars.githubusercontent.com/u/3524095?s=400&v=4 |
| og:image:alt | This adds overlay informed Dataflow. The idea is that for non-diff-informed configurations we use the diff informed mechanism to filter the sources and sinks to the overlay and then merge those res... |
| og:site_name | GitHub |
| og:type | object |
| hostname | github.com |
| expected-hostname | github.com |
| None | 49c8c15fabcbf356d607a90ca115c13b273e42ff8b74155de050fd229a9b0121 |
| 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 | 3fb1f684e7a833eb1b2d01d39875a2b52cb4fe9b |
| ui-target | full |
| theme-color | #1e2327 |
| color-scheme | light dark |
Links:
Viewport: width=device-width