search

JetBrains / java-annotations

Annotations for JVM-based languages.
Apache License 2.0
404 stars 47 forks source link

Add `@Tainted`/`@Untainted` annotations #75

Open BartvHelvert opened 2 years ago

BartvHelvert commented 2 years ago

To mark tainted and untainted strings, similar to @Tainted/@Untainted from checkers framework.