Shared: Rename 'asLiftedTaintModel' to 'asLiftedModel'.

MathiasVP · MathiasVP · commit 54f0eed2c67e · 2025-05-02T13:54:58.000+01:00
diff --git a/shared/mad/codeql/mad/modelgenerator/internal/ModelGeneratorImpl.qll b/shared/mad/codeql/mad/modelgenerator/internal/ModelGeneratorImpl.qll
@@ -562,7 +562,7 @@ module MakeModelGeneratorFactory<
       private string captureThroughFlow(DataFlowSummaryTargetApi api, boolean preservesValue) {
         exists(string input, string output |
           preservesValue = max(boolean b | captureThroughFlow0(api, _, input, _, output, b)) and
-          result = ModelPrintingSummary::asLiftedTaintModel(api, input, output, preservesValue)
+          result = ModelPrintingSummary::asLiftedModel(api, input, output, preservesValue)
         )
       }
 
diff --git a/shared/mad/codeql/mad/modelgenerator/internal/ModelPrinting.qll b/shared/mad/codeql/mad/modelgenerator/internal/ModelPrinting.qll
@@ -97,7 +97,7 @@ module ModelPrintingImpl<ModelPrintingLangSig Lang> {
      * Gets the lifted taint summary model for `api` with `input` and `output`.
      */
     bindingset[input, output, preservesValue]
-    string asLiftedTaintModel(
+    string asLiftedModel(
       Printing::SummaryApi api, string input, string output, boolean preservesValue
     ) {
       result = asModel(api, input, output, preservesValue, true)

Original file line number	Diff line number	Diff line change
`@@ -562,7 +562,7 @@ module MakeModelGeneratorFactory<`
`562`	`562`	`private string captureThroughFlow(DataFlowSummaryTargetApi api, boolean preservesValue) {`
`563`	`563`	`exists(string input, string output \|`
`564`	`564`	`preservesValue = max(boolean b \| captureThroughFlow0(api, _, input, _, output, b)) and`
`565`		`- result = ModelPrintingSummary::asLiftedTaintModel(api, input, output, preservesValue)`
	`565`	`+ result = ModelPrintingSummary::asLiftedModel(api, input, output, preservesValue)`
`566`	`566`	`)`
`567`	`567`	`}`
`568`	`568`