Module ClassValidator

Provides predicates for reasoning about sanitization via the class-validator library.

Import path

import javascript

isAccessToSanitizedField	Holds if the given property read refers to a field that has a sanitizing decorator.
isFieldSanitizedByDecorator	Holds if the given field has a decorator that sanitizes its value for the purpose of taint tracking.
sanitizingDecorator	Holds if the given call is a decorator that sanitizes values for the purpose of taint tracking, such as `IsBoolean()`.