Shortcut when no transformers, sinks, and/or a report message should be defined
Add rules for function categories (i.e. sets of functions from BuiltInIndex fulfilling certain properties)
Optionalhandler: TaintConditionFunction<AnyAbstractDomain>Set the message reported when the analysis produces a finding.
Add propagator or sanitizer rules that determine the resulting taint of matching calls.
Add sink rules signaling findings by yielding Bottom.
Add propagator or sanitizer rules that determine the resulting taint of matching calls.