Remove unused method

Fraunhofer-AISEC · Mar 12, 2024 · 8e0d577 · 8e0d577
1 parent 2eeb5de
commit 8e0d577
Showing 1 changed file with 0 additions and 27 deletions.
diff --git a/cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/passes/DFGPass.kt b/cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/passes/DFGPass.kt
@@ -51,33 +51,6 @@ class DFGPass(ctx: TranslationContext) : ComponentPass(ctx) {
         for (tu in component.translationUnits) {
             walker.iterate(tu)
         }
-
-        // connectInferredCallArguments(config.functionSummaries)
-    }
-
-    /**
-     * For inferred functions which have function summaries encoded, we connect the arguments to
-     * modified parameter to propagate the changes to the arguments out of the [FunctionDeclaration]
-     * again.
-     */
-    private fun connectInferredCallArguments(functionSummaries: DFGFunctionSummaries) {
-        for (call in callsInferredFunctions) {
-            for (invoked in call.invokes.filter { it.isInferred }) {
-                val changedParams =
-                    functionSummaries.functionToChangedParameters[invoked] ?: mapOf()
-                for ((param, _) in changedParams) {
-                    if (param == (invoked as? MethodDeclaration)?.receiver) {
-                        (call as? MemberCallExpression)
-                            ?.base
-                            ?.addPrevDFGContext(param, CallingContextOut(call))
-                    } else if (param is ParameterDeclaration) {
-                        val arg = call.arguments[param.argumentIndex]
-                        arg.addPrevDFGContext(param, CallingContextOut(call))
-                        // (arg as? Reference)?.access = AccessValues.READWRITE
-                    }
-                }
-            }
-        }
     }
 
     override fun cleanup() {