codeql/java/ql/test/library-tests/dataflow/deduplicate-path-graph/A.java at f2968f4e1401d677957cce380ab7ce6dc554d550 · asgerf/codeql · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
import java.util.function.Function;

class A {
  String source() { return ""; }

  void sink(String s) { }

  String propagateState(String s, String state) {
    return "";
  }

  void foo() {
    Function<String, String> lambda = Math.random() > 0.5
      ? x -> propagateState(x, "A")
      : x -> propagateState(x, "B");

    String step0 = source();
    String step1 = lambda.apply(step0);
    String step2 = lambda.apply(step1);

    sink(step2);
  }

  void bar() {
    Function<String, String> lambda =
      (x -> Math.random() > 0.5 ? propagateState(x, "A") : propagateState(x, "B"));

    String step0 = source();
    String step1 = lambda.apply(step0);
    String step2 = lambda.apply(step1);

    sink(step2);
  }
}