AbstractTaintPropagationRule(InfoflowManager manager,
Abstraction zeroValue,
TaintPropagationResults results) |
ArrayPropagationRule(InfoflowManager manager,
Abstraction zeroValue,
TaintPropagationResults results) |
ExceptionPropagationRule(InfoflowManager manager,
Abstraction zeroValue,
TaintPropagationResults results) |
ImplicitPropagtionRule(InfoflowManager manager,
Abstraction zeroValue,
TaintPropagationResults results) |
PropagationRuleManager(InfoflowManager manager,
Abstraction zeroValue,
TaintPropagationResults results) |
SinkPropagationRule(InfoflowManager manager,
Abstraction zeroValue,
TaintPropagationResults results) |
SkipSystemClassRule(InfoflowManager manager,
Abstraction zeroValue,
TaintPropagationResults results) |
SourcePropagationRule(InfoflowManager manager,
Abstraction zeroValue,
TaintPropagationResults results) |
StaticPropagationRule(InfoflowManager manager,
Abstraction zeroValue,
TaintPropagationResults results) |
StopAfterFirstKFlowsPropagationRule(InfoflowManager manager,
Abstraction zeroValue,
TaintPropagationResults results) |
StrongUpdatePropagationRule(InfoflowManager manager,
Abstraction zeroValue,
TaintPropagationResults results) |
TypingPropagationRule(InfoflowManager manager,
Abstraction zeroValue,
TaintPropagationResults results) |
WrapperPropagationRule(InfoflowManager manager,
Abstraction zeroValue,
TaintPropagationResults results) |