package org.checkerframework.checker.tainting;
import org.checkerframework.common.basetype.BaseTypeChecker;
import org.checkerframework.framework.source.SuppressWarningsKeys;
/**
* 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
*/
@SuppressWarningsKeys({"untainted", "tainting"})
public class TaintingChecker extends BaseTypeChecker {}