| 程序包 | 说明 |
|---|---|
| soot.jimple.infoflow.problems.rules | |
| soot.jimple.infoflow.util |
| 限定符和类型 | 方法和说明 |
|---|---|
Set<Abstraction> |
PropagationRuleManager.applyCallFlowFunction(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
soot.SootMethod dest,
ByReferenceBoolean killAll)
Propagates a flow across a call site
|
Set<Abstraction> |
PropagationRuleManager.applyCallToReturnFlowFunction(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
ByReferenceBoolean killSource,
ByReferenceBoolean killAll,
boolean noAddSource)
Applies all rules to the call-to-return flow function
|
Set<Abstraction> |
PropagationRuleManager.applyNormalFlowFunction(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
soot.jimple.Stmt destStmt,
ByReferenceBoolean killSource,
ByReferenceBoolean killAll)
Applies all rules to the normal flow function
|
Set<Abstraction> |
PropagationRuleManager.applyReturnFlowFunction(Collection<Abstraction> callerD1s,
Abstraction source,
soot.jimple.Stmt stmt,
soot.jimple.Stmt retSite,
soot.jimple.Stmt callSite,
ByReferenceBoolean killAll)
Applies all rules to the return flow function
|
Collection<Abstraction> |
WrapperPropagationRule.propagateCallFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
soot.SootMethod dest,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
TypingPropagationRule.propagateCallFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
soot.SootMethod dest,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
ExceptionPropagationRule.propagateCallFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
soot.SootMethod dest,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
ImplicitPropagtionRule.propagateCallFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
soot.SootMethod dest,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
SourcePropagationRule.propagateCallFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
soot.SootMethod dest,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
StaticPropagationRule.propagateCallFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
soot.SootMethod dest,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
SinkPropagationRule.propagateCallFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
soot.SootMethod dest,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
StrongUpdatePropagationRule.propagateCallFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
soot.SootMethod dest,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
ArrayPropagationRule.propagateCallFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
soot.SootMethod dest,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
ITaintPropagationRule.propagateCallFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
soot.SootMethod dest,
ByReferenceBoolean killAll)
Propagates a flow across a call site
|
Collection<Abstraction> |
StopAfterFirstKFlowsPropagationRule.propagateCallFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
soot.SootMethod dest,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
SkipSystemClassRule.propagateCallFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
soot.SootMethod dest,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
WrapperPropagationRule.propagateCallToReturnFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
ByReferenceBoolean killSource,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
TypingPropagationRule.propagateCallToReturnFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
ByReferenceBoolean killSource,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
ExceptionPropagationRule.propagateCallToReturnFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
ByReferenceBoolean killSource,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
ImplicitPropagtionRule.propagateCallToReturnFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
ByReferenceBoolean killSource,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
SourcePropagationRule.propagateCallToReturnFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
ByReferenceBoolean killSource,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
StaticPropagationRule.propagateCallToReturnFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
ByReferenceBoolean killSource,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
SinkPropagationRule.propagateCallToReturnFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
ByReferenceBoolean killSource,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
StrongUpdatePropagationRule.propagateCallToReturnFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
ByReferenceBoolean killSource,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
ArrayPropagationRule.propagateCallToReturnFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
ByReferenceBoolean killSource,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
ITaintPropagationRule.propagateCallToReturnFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
ByReferenceBoolean killSource,
ByReferenceBoolean killAll)
Propagates a flow along a the call-to-return edge at a call site
|
Collection<Abstraction> |
StopAfterFirstKFlowsPropagationRule.propagateCallToReturnFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
ByReferenceBoolean killSource,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
SkipSystemClassRule.propagateCallToReturnFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
ByReferenceBoolean killSource,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
WrapperPropagationRule.propagateNormalFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
soot.jimple.Stmt destStmt,
ByReferenceBoolean killSource,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
TypingPropagationRule.propagateNormalFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
soot.jimple.Stmt destStmt,
ByReferenceBoolean killSource,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
ExceptionPropagationRule.propagateNormalFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
soot.jimple.Stmt destStmt,
ByReferenceBoolean killSource,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
ImplicitPropagtionRule.propagateNormalFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
soot.jimple.Stmt destStmt,
ByReferenceBoolean killSource,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
SourcePropagationRule.propagateNormalFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
soot.jimple.Stmt destStmt,
ByReferenceBoolean killSource,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
StaticPropagationRule.propagateNormalFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
soot.jimple.Stmt destStmt,
ByReferenceBoolean killSource,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
SinkPropagationRule.propagateNormalFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
soot.jimple.Stmt destStmt,
ByReferenceBoolean killSource,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
StrongUpdatePropagationRule.propagateNormalFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
soot.jimple.Stmt destStmt,
ByReferenceBoolean killSource,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
ArrayPropagationRule.propagateNormalFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
soot.jimple.Stmt destStmt,
ByReferenceBoolean killSource,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
ITaintPropagationRule.propagateNormalFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
soot.jimple.Stmt destStmt,
ByReferenceBoolean killSource,
ByReferenceBoolean killAll)
Propagates a flow along a normal statement this is not a call or return
site
|
Collection<Abstraction> |
StopAfterFirstKFlowsPropagationRule.propagateNormalFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
soot.jimple.Stmt destStmt,
ByReferenceBoolean killSource,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
SkipSystemClassRule.propagateNormalFlow(Abstraction d1,
Abstraction source,
soot.jimple.Stmt stmt,
soot.jimple.Stmt destStmt,
ByReferenceBoolean killSource,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
WrapperPropagationRule.propagateReturnFlow(Collection<Abstraction> callerD1s,
Abstraction source,
soot.jimple.Stmt stmt,
soot.jimple.Stmt retSite,
soot.jimple.Stmt callSite,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
TypingPropagationRule.propagateReturnFlow(Collection<Abstraction> callerD1s,
Abstraction source,
soot.jimple.Stmt stmt,
soot.jimple.Stmt retSite,
soot.jimple.Stmt callSite,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
ExceptionPropagationRule.propagateReturnFlow(Collection<Abstraction> callerD1s,
Abstraction source,
soot.jimple.Stmt stmt,
soot.jimple.Stmt retSite,
soot.jimple.Stmt callSite,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
ImplicitPropagtionRule.propagateReturnFlow(Collection<Abstraction> callerD1s,
Abstraction source,
soot.jimple.Stmt returnStmt,
soot.jimple.Stmt retSite,
soot.jimple.Stmt callSite,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
SourcePropagationRule.propagateReturnFlow(Collection<Abstraction> callerD1s,
Abstraction source,
soot.jimple.Stmt stmt,
soot.jimple.Stmt retSite,
soot.jimple.Stmt callSite,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
StaticPropagationRule.propagateReturnFlow(Collection<Abstraction> callerD1s,
Abstraction source,
soot.jimple.Stmt stmt,
soot.jimple.Stmt retSite,
soot.jimple.Stmt callSite,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
SinkPropagationRule.propagateReturnFlow(Collection<Abstraction> callerD1s,
Abstraction source,
soot.jimple.Stmt stmt,
soot.jimple.Stmt retSite,
soot.jimple.Stmt callSite,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
StrongUpdatePropagationRule.propagateReturnFlow(Collection<Abstraction> callerD1s,
Abstraction source,
soot.jimple.Stmt stmt,
soot.jimple.Stmt retSite,
soot.jimple.Stmt callSite,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
ArrayPropagationRule.propagateReturnFlow(Collection<Abstraction> callerD1s,
Abstraction source,
soot.jimple.Stmt stmt,
soot.jimple.Stmt retSite,
soot.jimple.Stmt callSite,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
ITaintPropagationRule.propagateReturnFlow(Collection<Abstraction> callerD1s,
Abstraction source,
soot.jimple.Stmt stmt,
soot.jimple.Stmt retSite,
soot.jimple.Stmt callSite,
ByReferenceBoolean killAll)
Propagates a flow along a the return edge
|
Collection<Abstraction> |
StopAfterFirstKFlowsPropagationRule.propagateReturnFlow(Collection<Abstraction> callerD1s,
Abstraction source,
soot.jimple.Stmt stmt,
soot.jimple.Stmt retSite,
soot.jimple.Stmt callSite,
ByReferenceBoolean killAll) |
Collection<Abstraction> |
SkipSystemClassRule.propagateReturnFlow(Collection<Abstraction> callerD1s,
Abstraction source,
soot.jimple.Stmt stmt,
soot.jimple.Stmt retSite,
soot.jimple.Stmt callSite,
ByReferenceBoolean killAll) |
| 限定符和类型 | 方法和说明 |
|---|---|
ByReferenceBoolean |
ByReferenceBoolean.and(boolean b) |
ByReferenceBoolean |
ByReferenceBoolean.or(boolean b) |
ByReferenceBoolean |
ByReferenceBoolean.xor(boolean b) |
Copyright © 2022 Fraunhofer SIT. All rights reserved.