Uses of Package
pascal.taie.analysis.pta.plugin.taint
-
ClassDescriptionRepresents sanitizers which remove taint objects on method parameters.Represents a sanitizer in taint analysis.Represents a sink in taint analysis.Represents a source in taint analysis.Configuration for taint analysis.Each instance represents a taint flow from source to sink.Represents taint transfer between argument/base/return variables caused by invocation to specific method.