| 程序包 | 说明 |
|---|---|
| soot.jimple.infoflow.problems.rules |
| 限定符和类型 | 类和说明 |
|---|---|
class |
ArrayPropagationRule
Rule for propagating array accesses
|
class |
ExceptionPropagationRule
Rule for propagating exceptional data flows
|
class |
ImplicitPropagtionRule
Rule for propagating implicit taints
|
class |
SinkPropagationRule
Rule for recording abstractions that arrive at sinks
|
class |
SkipSystemClassRule
Rule that skips over certain often-used system classes which do not modify
the taint state
|
class |
SourcePropagationRule
Rule to introduce unconditional taints at sources
|
class |
StaticPropagationRule
Rule for propagating taint on static fields
|
class |
StopAfterFirstKFlowsPropagationRule |
class |
StrongUpdatePropagationRule
Propagation rule that implements strong updates
|
class |
TypingPropagationRule
Rule that implements type checs
|
class |
WrapperPropagationRule
Rule for using external taint wrappers
|
Copyright © 2022 Fraunhofer SIT. All rights reserved.