To mark tainted and untainted strings, similar to `@Tainted`/`@Untainted` from [checkers framework](https://checkerframework.org/manual/#tainting-checker).
To mark tainted and untainted strings, similar to
@Tainted/@Untaintedfrom checkers framework.