[taint] Add Kotlin test to demonstrate that checking for value histor…

…y is necessary Summary: Add Kotlin test to demonstrate that checking for value history is necessary Reviewed By: dulmarod Differential Revision: D50227083 Privacy Context Container: L1122176 fbshipit-source-id: 65cb78cde98f89a25627ade62e3bff9d54e3c88d
facebook · Oct 13, 2023 · 7178e5b · 7178e5b
1 parent ba6ac64
commit 7178e5b
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/infer/tests/codetoanalyze/kotlin/pulse/taint/Basics.kt b/infer/tests/codetoanalyze/kotlin/pulse/taint/Basics.kt
@@ -209,4 +209,12 @@ class Basics {
     InferTaint.inferSensitiveSink(
         InferTaint.inferUniversalSanitizer(InferTaint.inferSecretSource()))
   }
+
+  fun taintOnUnrelatedBooleanOk(notTaintedFlag: Boolean) {
+    val taintedFlag = InferTaint.inferSecretSource() as Boolean
+    val uberFlag = notTaintedFlag || taintedFlag
+    if (!uberFlag) {
+      InferTaint.inferSensitiveSink(notTaintedFlag)
+    }
+  }
 }