Class TaintingChecker

All Implemented Interfaces:
Processor, OptionConfiguration

@SuppressWarningsPrefix({"untainted","tainting"}) public class TaintingChecker extends BaseTypeChecker
A type-checker plug-in for the Tainting type system qualifier that finds (and verifies the absence of) trust bugs.

It verifies that only verified values are trusted and that user-input is sanitized before use.

See the Checker Framework Manual:
Tainting Checker
  • Constructor Details

    • TaintingChecker

      public TaintingChecker()