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

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

class Simple {

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

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

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