codeql
codeql copied to clipboard
Dataflow: Add support for pretty-printed alert provenance in tests
This adds the list of referenced models in a qltest and renumbers the MaD ids to get stable test output. Where applicable, I've updated one test per language to demonstrate the conversion.