soot.jimple.infoflow.sourcesSinks.definitions

类 AccessPathTuple

java.lang.Object

soot.jimple.infoflow.sourcesSinks.definitions.AccessPathTuple

直接已知子类:

ImmutableAccessPathTuple

public class AccessPathTuple
extends Object

Helper to save an AccessPath with the information about sink and sources.

作者:

Joern Tillmanns, Steven Arzt

方法概要

限定符和类型	方法和说明
static AccessPathTuple	create(boolean isSource, boolean isSink) Simplified factory method for creating an access path that just denotes the base object
boolean	equals(Object obj)
static AccessPathTuple	fromPathElements(List<String> fields, List<String> fieldTypes, boolean isSource, boolean isSink)
static AccessPathTuple	fromPathElements(List<String> fields, List<String> fieldTypes, SourceSinkType sourceSinkType)
static AccessPathTuple	fromPathElements(String[] fields, String[] fieldTypes, boolean isSource, boolean isSink)
static AccessPathTuple	fromPathElements(String baseType, List<String> fields, List<String> fieldTypes, SourceSinkType sourceSinkType)
static AccessPathTuple	fromPathElements(String baseType, String[] fields, String[] fieldTypes, boolean isSource, boolean isSink)
static AccessPathTuple	fromPathElements(String field, String fieldType, SourceSinkType sourceSinkType)
static AccessPathTuple	fromPathElements(String baseType, String field, String fieldType, SourceSinkType sourceSinkType)
String	getBaseType()
static AccessPathTuple	getBlankSinkTuple() Gets the shared tuple that denoted just the base object as a sink
static AccessPathTuple	getBlankSourceTuple() Gets the shared tuple that denoted just the base object as a source
String	getDescription() Gets the description of this access path
String[]	getFields()
String[]	getFieldTypes()
SourceSinkType	getSourceSinkType()
int	hashCode()
void	setDescription(String description) Sets the description of this access path
AccessPathTuple	simplify() Checks whether this tuple is equivalent to one of the simple predefined ones.
AccessPath	toAccessPath(soot.Value baseVal, InfoflowManager manager, boolean canHaveImmutableAliases) Creates an access path from an access path definition object
String	toString()

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

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

方法详细资料

create

public static AccessPathTuple create(boolean isSource,
                                     boolean isSink)

Simplified factory method for creating an access path that just denotes the base object

参数:

isSource - True if the referenced access path shall be considered a data flow source

isSink - True if the referenced access path shall be considered a data flow sink

返回:

The newly created access path object

fromPathElements

public static AccessPathTuple fromPathElements(List<String> fields,
                                               List<String> fieldTypes,
                                               boolean isSource,
                                               boolean isSink)

fromPathElements

public static AccessPathTuple fromPathElements(List<String> fields,
                                               List<String> fieldTypes,
                                               SourceSinkType sourceSinkType)

fromPathElements

public static AccessPathTuple fromPathElements(String field,
                                               String fieldType,
                                               SourceSinkType sourceSinkType)

fromPathElements

public static AccessPathTuple fromPathElements(String baseType,
                                               String field,
                                               String fieldType,
                                               SourceSinkType sourceSinkType)

fromPathElements

public static AccessPathTuple fromPathElements(String baseType,
                                               List<String> fields,
                                               List<String> fieldTypes,
                                               SourceSinkType sourceSinkType)

fromPathElements

public static AccessPathTuple fromPathElements(String[] fields,
                                               String[] fieldTypes,
                                               boolean isSource,
                                               boolean isSink)

fromPathElements

public static AccessPathTuple fromPathElements(String baseType,
                                               String[] fields,
                                               String[] fieldTypes,
                                               boolean isSource,
                                               boolean isSink)

getBaseType

public String getBaseType()

getFields

public String[] getFields()

getFieldTypes

public String[] getFieldTypes()

getSourceSinkType

public SourceSinkType getSourceSinkType()

getBlankSourceTuple

public static AccessPathTuple getBlankSourceTuple()

Gets the shared tuple that denoted just the base object as a source

返回:

The tuple that denotes just the base object as a source

getBlankSinkTuple

public static AccessPathTuple getBlankSinkTuple()

Gets the shared tuple that denoted just the base object as a sink

返回:

The tuple that denotes just the base object as a sink

getDescription

public String getDescription()

Gets the description of this access path

返回:

The description of this access path

setDescription

public void setDescription(String description)

Sets the description of this access path

参数:

description - The description of this access path

hashCode

public int hashCode()

覆盖:

hashCode 在类中 Object

equals

public boolean equals(Object obj)

覆盖:

equals 在类中 Object

simplify

public AccessPathTuple simplify()

Checks whether this tuple is equivalent to one of the simple predefined ones. If so, it returns the shared predefined object. Otherwise, it returns this object.

返回:

A shared object that is equal to this one if possible, otherwise this object

toAccessPath

public AccessPath toAccessPath(soot.Value baseVal,
                               InfoflowManager manager,
                               boolean canHaveImmutableAliases)

Creates an access path from an access path definition object

参数:

baseVal - The base for the new access path

manager - The manager to be used for creating new access paths

canHaveImmutableAliases - Specifies if the newly tainted value can have aliases that are not overwritten by the current operation, i.e., whether there must be an alias analysis from the source statement backwards through the code

返回:

The newly created access path

toString

public String toString()

覆盖:

toString 在类中 Object