| package org.checkerframework.checker.tainting; |
| |
| import org.checkerframework.common.basetype.BaseTypeChecker; |
| import org.checkerframework.framework.source.SuppressWarningsPrefix; |
| |
| /** |
| * A type-checker plug-in for the Tainting type system qualifier that finds (and verifies the |
| * absence of) trust bugs. |
| * |
| * <p>It verifies that only verified values are trusted and that user-input is sanitized before use. |
| * |
| * @checker_framework.manual #tainting-checker Tainting Checker |
| */ |
| @SuppressWarningsPrefix({"untainted", "tainting"}) |
| public class TaintingChecker extends BaseTypeChecker {} |