From e2f0be234815e2e274c94858b73c19d7cc1eeb89 Mon Sep 17 00:00:00 2001
From: d1tto <819045949@qq.com>
Date: Sat, 21 Sep 2024 16:54:44 +0800
Subject: [PATCH] [dataflow] Fix missing taint nodes on conditional operator

---
 .../scala/io/joern/dataflowengineoss/DefaultSemantics.scala     | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dataflowengineoss/src/main/scala/io/joern/dataflowengineoss/DefaultSemantics.scala b/dataflowengineoss/src/main/scala/io/joern/dataflowengineoss/DefaultSemantics.scala
index 9b9acc341b70..439bd5dd4e24 100644
--- a/dataflowengineoss/src/main/scala/io/joern/dataflowengineoss/DefaultSemantics.scala
+++ b/dataflowengineoss/src/main/scala/io/joern/dataflowengineoss/DefaultSemantics.scala
@@ -38,7 +38,7 @@ object DefaultSemantics {
     F(Operators.assignmentXor, List((2, 1), (1, 1), (2, -1))),
     F(Operators.cast, List((1, -1), (2, -1))),
     F(Operators.computedMemberAccess, List((1, -1))),
-    F(Operators.conditional, List((2, -1), (3, -1))),
+    F(Operators.conditional, List((2, -1), (3, -1), (2, 2), (3, 3))),
     F(Operators.elvis, List((1, -1), (2, -1))),
     F(Operators.notNullAssert, List((1, -1))),
     F(Operators.fieldAccess, List((1, -1))),