openide/jvm/jvm-analysis-java-tests/testData/codeInspection/sourceToSinkFlow/propagateSafe/ParameterMethodUntainted.after.java

import org.checkerframework.checker.tainting.qual.*;

class Simple {

    @Untainted
    String a(@Untainted String str) {
    return str + "";
  }

  void test() {
    @Untainted String s;
    s = a(foo());
  }

  @Untainted
  String foo() {
    return "safe";
  }
}