类的使用
soot.jimple.infoflow.data.SourceContextAndPath

使用SourceContextAndPath的程序包

程序包	说明
soot.jimple.infoflow.data
soot.jimple.infoflow.data.pathBuilders

soot.jimple.infoflow.data中SourceContextAndPath的使用

返回SourceContextAndPath的soot.jimple.infoflow.data中的方法

限定符和类型	方法和说明
SourceContextAndPath	SourceContextAndPath.clone()
SourceContextAndPath	SourceContextAndPath.extendPath(Abstraction abs) Extends the taint propagation path with the given abstraction
SourceContextAndPath	SourceContextAndPath.extendPath(Abstraction abs, InfoflowConfiguration.PathConfiguration pathConfig) Extends the taint propagation path with the given abstraction

返回变量类型为SourceContextAndPath的类型的soot.jimple.infoflow.data中的方法

限定符和类型	方法和说明
heros.solver.Pair<SourceContextAndPath,soot.jimple.Stmt>	SourceContextAndPath.popTopCallStackItem() Pops the top item off the call stack.

soot.jimple.infoflow.data.pathBuilders中SourceContextAndPath的使用

类型参数类型为SourceContextAndPath的soot.jimple.infoflow.data.pathBuilders中的字段

限定符和类型	字段和说明
protected ConcurrentIdentityHashMultiMap<Abstraction,SourceContextAndPath>	ContextSensitivePathBuilder.pathCache

参数类型为SourceContextAndPath的soot.jimple.infoflow.data.pathBuilders中的方法

限定符和类型	方法和说明
protected boolean	ContextSensitivePathBuilder.checkForSource(Abstraction abs, SourceContextAndPath scap) Checks whether the given abstraction is a source.