hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Translate more MaD IDs in tests

Browse Source
This commit is contained in:
Tom Hvitved
2025-01-23 13:43:27 +01:00
parent 9286596c1e
commit 33e07edcbf
6 changed files with 524 additions and 470 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
shared/dataflow/codeql/dataflow/test/ProvenancePathGraph.qll
View File

@@ -16,7 +16,8 @@ signature class PathNodeSig {
private signature predicate provenanceSig(string model);
private module TranslateModels<
/** Translates models-as-data provenance information into a format that can be used in tests. */
module TranslateModels<
interpretModelForTestSig/2 interpretModelForTest0, provenanceSig/1 provenance>
{
private predicate madIds(string madId) {
@@ -79,6 +80,7 @@ private module TranslateModels<
)
}
/** Holds if the model `model1` should be translated to `model2`. */
predicate translateModels(string model1, string model2) {
exists(int i |
translateModelsPart(model1, model2, i) and