do not use !!-operator

Fraunhofer-AISEC · Jun 17, 2024 · 606d967 · 606d967
1 parent 0ce362e
commit 606d967
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.../main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/evaluators/ArgumentEvaluator.kt b/.../main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/evaluators/ArgumentEvaluator.kt
@@ -43,7 +43,7 @@ class ArgumentEvaluator(val targetCall: Op, val argPos: Int, val originCall: Op)
         for (call in targetCalls) {
             val arg: VariableDeclaration? =
                 (call.arguments.getOrNull(argPos) as? Reference)?.refersTo as? VariableDeclaration
-            if (arg in variables && !arg!!.allowsInvalidPaths(originCalls.toList(), call)) {
+            if (arg in variables && arg?.allowsInvalidPaths(originCalls.toList(), call) == false) {
                 findings.add(
                     CpgFinding(
                         message = "Complies with rule: " +