Add sanity check

Fraunhofer-AISEC · Dec 17, 2024 · 92533e6 · 92533e6
1 parent 63013f6
commit 92533e6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/passes/UnreachableEOGPass.kt b/cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/passes/UnreachableEOGPass.kt
@@ -42,7 +42,7 @@ import de.fraunhofer.aisec.cpg.passes.configuration.DependsOn
  * A [Pass] which uses a simple logic to determine constant values and mark unreachable code regions
  * by setting the [EvaluationOrder.unreachable] property to true.
  */
-@DependsOn(ControlFlowSensitiveDFGPass::class)
+@DependsOn(ControlFlowSensitiveDFGPass::class, softDependency = true)
 class UnreachableEOGPass(ctx: TranslationContext) : TranslationUnitPass(ctx) {
     override fun cleanup() {
         // Nothing to do

diff --git a/cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/passes/PointsToPass.kt b/cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/passes/PointsToPass.kt
@@ -655,7 +655,7 @@ class PointsToPass(ctx: TranslationContext) : EOGStarterPass(ctx, orderDependenc
                                             if (derefSource) {
                                                 this.getValues(node.arguments[v.argumentIndex])
                                                     .forEach { r.addAll(this.getValues(it)) }
-                                            } else {
+                                            } else if (v.argumentIndex < node.arguments.size) {
                                                 r.add(node.arguments[v.argumentIndex])
                                             }
                                         } else r.add(v)