[taint] Add Java test to demonstrate that checking for value history …

…is necessary Summary: Add Java test to demonstrate that checking for value history is necessary Reviewed By: dulmarod Differential Revision: D50227082 Privacy Context Container: L1122176 fbshipit-source-id: 70ae5933c705586cb58b4d45279a3f9d32654207
facebook · Oct 13, 2023 · ba6ac64 · ba6ac64
1 parent 552113e
commit ba6ac64
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/infer/tests/codetoanalyze/java/pulse/taint/Basics.java b/infer/tests/codetoanalyze/java/pulse/taint/Basics.java
@@ -241,4 +241,12 @@ Object inferUniversalSanitizer() {
   void FP_returnedFromSanitizedTaintedToSinkOk() {
     InferTaint.inferSensitiveSink(inferUniversalSanitizer());
   }
+
+  void taintOnUnrelatedBoolOk(boolean notTaintedFlag) {
+    boolean taintedFlag = (boolean) InferTaint.inferSecretSource();
+    boolean uberFlag = notTaintedFlag || taintedFlag;
+    if (!uberFlag) {
+      InferTaint.inferSensitiveSink(notTaintedFlag);
+    }
+  }
 }