Title: Python extractor: overlay support by d10c · Pull Request #20206 · github/codeql · GitHub
Open Graph Title: Python extractor: overlay support by d10c · Pull Request #20206 · github/codeql
X Title: Python extractor: overlay support by d10c · Pull Request #20206 · github/codeql
Description: This PR adds overlay support to the Python extractor, but no overlay compilation (to be merged separately since it needs further testing, see this PR).
This PR also includes an initial pass at the discard predicates (see Overlay.qll), though these are ignored in full (non-overlay) evaluation; they probably still need to be tweaked, so I'm happy to move this commit to another PR and let this one be only about the extractor.
Roadmap:
Update the dbscheme
Implement path transformer support
Read the overlay-changes JSON file
Read/write base metadata (CODEQL_EXTRACTOR_
Open Graph Description: This PR adds overlay support to the Python extractor, but no overlay compilation (to be merged separately since it needs further testing, see this PR). This PR also includes an initial pass at the ...
X Description: This PR adds overlay support to the Python extractor, but no overlay compilation (to be merged separately since it needs further testing, see this PR). This PR also includes an initial pass at the ...
Opengraph URL: https://github.com/github/codeql/pull/20206
X: @github
Domain: patch-diff.githubusercontent.com
| route-pattern | /:user_id/:repository/pull/:id/checks(.:format) |
| route-controller | pull_requests |
| route-action | checks |
| fetch-nonce | v2:1a2e0862-a9c6-a425-921f-b4bf37fccbfe |
| current-catalog-service-hash | 87dc3bc62d9b466312751bfd5f889726f4f1337bdff4e8be7da7c93d6c00a25a |
| request-id | B126:39FF80:BFF708:102ED6C:698F75CC |
| html-safe-nonce | c524fc9d3a50556b9cd0a717492e0fb3d0d1ee1d201de5768c0d343f6923737b |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJCMTI2OjM5RkY4MDpCRkY3MDg6MTAyRUQ2Qzo2OThGNzVDQyIsInZpc2l0b3JfaWQiOiI1NTI1NzgyODc0NzE4OTU5MDUyIiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0= |
| visitor-hmac | 57723c1031982c6dfb6d87e985fb94efbd6f50401cafacddd5a0c2d03ac96eb6 |
| hovercard-subject-tag | pull_request:2735779914 |
| github-keyboard-shortcuts | repository,pull-request-list,pull-request-conversation,pull-request-files-changed,checks,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/20206/checks |
| 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 | This PR adds overlay support to the Python extractor, but no overlay compilation (to be merged separately since it needs further testing, see this PR). This PR also includes an initial pass at the ... |
| og:site_name | GitHub |
| og:type | object |
| hostname | github.com |
| expected-hostname | github.com |
| None | a40913be56b49e6322246e4bcd65ab6ec4b458c6dca6b691d30419da1e5ee35e |
| turbo-cache-control | no-cache |
| 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 full-width-p-0 |
| disable-turbo | false |
| browser-stats-url | https://api.github.com/_private/browser/stats |
| browser-errors-url | https://api.github.com/_private/browser/errors |
| release | ca6051e0ba2303370981e3d01e2bc1044eb3b429 |
| ui-target | full |
| theme-color | #1e2327 |
| color-scheme | light dark |
Links:
Viewport: width=device-width