mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-17 15:50:53 +07:00
35 lines
1.0 KiB
Java
35 lines
1.0 KiB
Java
import org.checkerframework.checker.tainting.qual.Untainted;
|
|
|
|
class FieldsCheck {
|
|
final String constant = "1";
|
|
private String clean = "1";
|
|
private String notClean = "1";
|
|
|
|
final String finalAppliedFromConstructor;
|
|
private String appliedFromConstructor;
|
|
private String clean2;
|
|
|
|
public FieldsCheck(String finalAppliedFromConstructor, String appliedFromConstructor) {
|
|
this.finalAppliedFromConstructor = finalAppliedFromConstructor;
|
|
this.appliedFromConstructor = appliedFromConstructor;
|
|
clean2 = "2";
|
|
}
|
|
|
|
public void setNotClean(String notClean) {
|
|
this.notClean = notClean;
|
|
}
|
|
|
|
public void test() {
|
|
sink(constant);
|
|
sink(clean);
|
|
sink(clean2);
|
|
sink(<warning descr="Unknown string is used as safe parameter">notClean</warning>); //warn
|
|
sink(<warning descr="Unknown string is used as safe parameter">finalAppliedFromConstructor</warning>); //warn
|
|
sink(<warning descr="Unknown string is used as safe parameter">appliedFromConstructor</warning>); //warn
|
|
}
|
|
|
|
void sink(@Untainted String s) {
|
|
}
|
|
|
|
}
|