mirror of
https://github.com/github/codeql.git
synced 2026-02-22 18:03:39 +01:00
ef39968a56
The idea is that we will do `save ==> synthetic` and `synthetic ==> load`, so we don't need to do CP between save/load. This setup with synthetic node in the middle, also allows for a limited amount of the field-flow we can do with real flow-summary support.