soot.jimple.infoflow.sourcesSinks.definitions

类 StatementSourceSinkDefinition

java.lang.Object

soot.jimple.infoflow.sourcesSinks.definitions.AbstractSourceSinkDefinition

soot.jimple.infoflow.sourcesSinks.definitions.StatementSourceSinkDefinition

所有已实现的接口:

IAccessPathBasedSourceSinkDefinition, ISourceSinkDefinition

public class StatementSourceSinkDefinition
extends AbstractSourceSinkDefinition
implements IAccessPathBasedSourceSinkDefinition

A source/sink definition that corresponds to a concrete statement in the Jimple code

作者:

Steven Arzt

字段概要

从类继承的字段 soot.jimple.infoflow.sourcesSinks.definitions.AbstractSourceSinkDefinition

category

构造器概要

构造器

构造器和说明
StatementSourceSinkDefinition(soot.jimple.Stmt stmt, soot.Local local, Set<AccessPathTuple> accessPaths)

方法概要

限定符和类型	方法和说明
protected StatementSourceSinkDefinition	buildNewDefinition(soot.jimple.Stmt stmt, soot.Local local, Set<AccessPathTuple> accessPaths)
boolean	equals(Object obj)
IAccessPathBasedSourceSinkDefinition	filter(Collection<AccessPathTuple> toFilter) Filters the source/sink definition to only reference the given access paths
Set<AccessPathTuple>	getAccessPaths()
Set<AccessPathTuple>	getAllAccessPaths() Gets all access paths referenced in this source or sink definition, regardless of their respective semantics
soot.Local	getLocal()
StatementSourceSinkDefinition	getSinkOnlyDefinition() Creates a definition which is a subset of this definition that only contains the sinks
StatementSourceSinkDefinition	getSourceOnlyDefinition() Creates a definition which is a subset of this definition that only contains the sources
soot.jimple.Stmt	getStmt()
int	hashCode()
boolean	isEmpty() Checks whether this source/sink definition is empty, i.e., has no concrete access paths
void	merge(ISourceSinkDefinition other) Merges the source and sink definitions of the given definition object into this definition object
String	toString()

从类继承的方法 soot.jimple.infoflow.sourcesSinks.definitions.AbstractSourceSinkDefinition

getCategory, setCategory

从类继承的方法 java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

从接口继承的方法 soot.jimple.infoflow.sourcesSinks.definitions.ISourceSinkDefinition

getCategory, setCategory

构造器详细资料

StatementSourceSinkDefinition

public StatementSourceSinkDefinition(soot.jimple.Stmt stmt,
                                     soot.Local local,
                                     Set<AccessPathTuple> accessPaths)

方法详细资料

getSourceOnlyDefinition

public StatementSourceSinkDefinition getSourceOnlyDefinition()

从接口复制的说明: IAccessPathBasedSourceSinkDefinition

Creates a definition which is a subset of this definition that only contains the sources

指定者:

getSourceOnlyDefinition 在接口中 IAccessPathBasedSourceSinkDefinition

指定者:

getSourceOnlyDefinition 在接口中 ISourceSinkDefinition

返回:

The source-only subset of this definition

getSinkOnlyDefinition

public StatementSourceSinkDefinition getSinkOnlyDefinition()

从接口复制的说明: IAccessPathBasedSourceSinkDefinition

Creates a definition which is a subset of this definition that only contains the sinks

指定者:

getSinkOnlyDefinition 在接口中 IAccessPathBasedSourceSinkDefinition

指定者:

getSinkOnlyDefinition 在接口中 ISourceSinkDefinition

返回:

The sink-only subset of this definition

getStmt

public soot.jimple.Stmt getStmt()

getLocal

public soot.Local getLocal()

getAccessPaths

public Set<AccessPathTuple> getAccessPaths()

merge

public void merge(ISourceSinkDefinition other)

从接口复制的说明: ISourceSinkDefinition

Merges the source and sink definitions of the given definition object into this definition object

指定者:

merge 在接口中 ISourceSinkDefinition

参数:

other - The definition object to merge

isEmpty

public boolean isEmpty()

从接口复制的说明: IAccessPathBasedSourceSinkDefinition

Checks whether this source/sink definition is empty, i.e., has no concrete access paths

指定者:

isEmpty 在接口中 IAccessPathBasedSourceSinkDefinition

指定者:

isEmpty 在接口中 ISourceSinkDefinition

返回:

True if this source/sink definition is empty, i.e., has no concrete access paths, otherwise false

toString

public String toString()

覆盖:

toString 在类中 Object

getAllAccessPaths

public Set<AccessPathTuple> getAllAccessPaths()

从接口复制的说明: IAccessPathBasedSourceSinkDefinition

Gets all access paths referenced in this source or sink definition, regardless of their respective semantics

指定者:

getAllAccessPaths 在接口中 IAccessPathBasedSourceSinkDefinition

返回:

All access paths referenced in this source or sink definition. The return value can be null if this definition does not reference any access paths.

filter

public IAccessPathBasedSourceSinkDefinition filter(Collection<AccessPathTuple> toFilter)

从接口复制的说明: IAccessPathBasedSourceSinkDefinition

Filters the source/sink definition to only reference the given access paths

指定者:

filter 在接口中 IAccessPathBasedSourceSinkDefinition

参数:

toFilter - The access path to which to limit the scope of this source/sink definition

返回:

A copy of this source/sink definition that only references the given access paths

buildNewDefinition

protected StatementSourceSinkDefinition buildNewDefinition(soot.jimple.Stmt stmt,
                                                           soot.Local local,
                                                           Set<AccessPathTuple> accessPaths)

hashCode

public int hashCode()

覆盖:

hashCode 在类中 AbstractSourceSinkDefinition

equals

public boolean equals(Object obj)

覆盖:

equals 在类中 AbstractSourceSinkDefinition