Title: Experiment: Make all data flow incremental by jbj · Pull Request #20028 · github/codeql · GitHub
Open Graph Title: Experiment: Make all data flow incremental by jbj · Pull Request #20028 · github/codeql
X Title: Experiment: Make all data flow incremental by jbj · Pull Request #20028 · github/codeql
Description: I've polished up this branch for testing and to communicate a proof-of-concept for what it would look like to have all data flow incremental, either diff-informed or "overlay-informed". The last commit uses forceLocal to add in the base-to-base results, but it has some problems: I wasn't able to test performance because it turns out we don't get any cache hits when forceLocal is in use. Alex is on it. It only works for Java because the predicate that calls forceLocal can't currently be marked as local?. The shared code in this PR won't compile for other languages than Java because it requires Node to be local. To achieve the full vision of incrementality, the type tracking library also needs to be overlay-aware. That library seems to be the main performance bottleneck that we know how to address in QL. As I'm going out on holiday now, I want to leave this PR for @alexet and @aschackmull to work from or take inspiration from.
Open Graph Description: I've polished up this branch for testing and to communicate a proof-of-concept for what it would look like to have all data flow incremental, either diff-informed or "overlay-informed"...
X Description: I've polished up this branch for testing and to communicate a proof-of-concept for what it would look like to have all data flow incremental, either diff-informed or "overlay-infor...
Opengraph URL: https://github.com/github/codeql/pull/20028
X: @github
Domain: github.com
| route-pattern | /:user_id/:repository/pull/:id/files(.:format) |
| route-controller | pull_requests |
| route-action | files |
| fetch-nonce | v2:23cb2afe-a326-ebb8-91f7-12be9a220062 |
| current-catalog-service-hash | ae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b |
| request-id | C894:4E072:212E29F:2FC9BC3:6A58E75E |
| html-safe-nonce | 7c3ab10724df0e97ca8da9e0f6bc85fc625d6a98c7928eb208bbc4f5badf5463 |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJDODk0OjRFMDcyOjIxMkUyOUY6MkZDOUJDMzo2QTU4RTc1RSIsInZpc2l0b3JfaWQiOiIzMzM2MTM0NTYyMTI0NzE5OTY2IiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0= |
| visitor-hmac | 98df83535ffaf97ab723ca97f4398527e890c3ae8c9c5fa932725e2ffabf1841 |
| hovercard-subject-tag | pull_request:2658998382 |
| 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/20028/files |
| twitter:image | https://avatars.githubusercontent.com/u/308293?s=400&v=4 |
| twitter:card | summary_large_image |
| og:image | https://avatars.githubusercontent.com/u/308293?s=400&v=4 |
| og:image:alt | I've polished up this branch for testing and to communicate a proof-of-concept for what it would look like to have all data flow incremental, either diff-informed or "overlay-informed"... |
| og:site_name | GitHub |
| og:type | object |
| hostname | github.com |
| expected-hostname | github.com |
| None | 5f2a0c7865178af3d91dd9f13b0cdfc3c73a2529c873d2780bb4c01271a57ec6 |
| 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 | 8aae7b8d6caacacf5c66eaeb2702d8dc88d85b4a |
| ui-target | full |
| theme-color | #1e2327 |
| color-scheme | light dark |
Links:
Viewport: width=device-width