程序包 soot.jimple.infoflow.problems.rules

接口概要

接口	说明
IPropagationRuleManagerFactory	Interface for constructing propagation rule managers
ITaintPropagationRule	Common interface for taint propagation rules

类概要

类	说明
AbstractTaintPropagationRule	Abstract base class for all taint propagation rules
ArrayPropagationRule	Rule for propagating array accesses
DefaultPropagationRuleManagerFactory	Default implementation of the IPropagationRuleManagerFactory class
ExceptionPropagationRule	Rule for propagating exceptional data flows
ImplicitPropagtionRule	Rule for propagating implicit taints
PropagationRuleManager	Manager class for all propagation rules
SinkPropagationRule	Rule for recording abstractions that arrive at sinks
SkipSystemClassRule	Rule that skips over certain often-used system classes which do not modify the taint state
SourcePropagationRule	Rule to introduce unconditional taints at sources
StaticPropagationRule	Rule for propagating taint on static fields
StopAfterFirstKFlowsPropagationRule
StrongUpdatePropagationRule	Propagation rule that implements strong updates
TypingPropagationRule	Rule that implements type checs
WrapperPropagationRule	Rule for using external taint wrappers