Add @Tainted/@Untainted annotations #75
Description
To mark tainted and untainted strings, similar to @Tainted/@Untainted from checkers framework.
{{ message }}
Add
@Tainted/@Untainted annotations #75To mark tainted and untainted strings, similar to @Tainted/@Untainted from checkers framework.