soot.jimple.infoflow.data

类 AccessPathFactory

java.lang.Object

soot.jimple.infoflow.data.AccessPathFactory

public class AccessPathFactory
extends Object

嵌套类概要

嵌套类

限定符和类型	类和说明
static class	AccessPathFactory.BasePair Specialized pair class for field bases

字段概要

字段

限定符和类型	字段和说明
protected static org.slf4j.Logger	logger

构造器概要

构造器

构造器和说明
AccessPathFactory(InfoflowConfiguration config) Creates a new instance of the AccessPathFactory class

方法概要

限定符和类型	方法和说明
AccessPath	appendFields(AccessPath original, soot.SootField[] apFields, soot.Type[] apFieldTypes, boolean taintSubFields) Appends additional fields to the given access path
AccessPath	copyWithNewValue(AccessPath original, soot.Value val) Copies the given access path with a new base value, but retains the base type
AccessPath	copyWithNewValue(AccessPath original, soot.Value val, soot.Type newType, boolean cutFirstField) value val gets new base, fields are preserved.
AccessPath	copyWithNewValue(AccessPath original, soot.Value val, soot.Type newType, boolean cutFirstField, boolean reduceBases) value val gets new base, fields are preserved.
AccessPath	copyWithNewValue(AccessPath original, soot.Value val, soot.Type newType, boolean cutFirstField, boolean reduceBases, AccessPath.ArrayTaintType arrayTaintType) value val gets new base, fields are preserved.
AccessPath	createAccessPath(soot.Value val, boolean taintSubFields)
AccessPath	createAccessPath(soot.Value val, soot.SootField[] appendingFields, boolean taintSubFields)
AccessPath	createAccessPath(soot.Value val, soot.SootField[] appendingFields, soot.Type valType, soot.Type[] appendingFieldTypes, boolean taintSubFields, boolean cutFirstField, boolean reduceBases, AccessPath.ArrayTaintType arrayTaintType)
AccessPath	createAccessPath(soot.Value val, soot.SootField[] appendingFields, soot.Type valType, soot.Type[] appendingFieldTypes, boolean taintSubFields, boolean cutFirstField, boolean reduceBases, AccessPath.ArrayTaintType arrayTaintType, boolean canHaveImmutableAliases)
AccessPath	createAccessPath(soot.Value val, soot.Type valType, boolean taintSubFields, AccessPath.ArrayTaintType arrayTaintType)
Collection<AccessPathFactory.BasePair>	getBaseForType(soot.Type tp)
AccessPath	merge(AccessPath ap1, AccessPath ap2) Merges the two given access paths , i.e., adds the fields of ap2 to ap1.

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

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

字段详细资料

logger

protected static final org.slf4j.Logger logger

构造器详细资料

AccessPathFactory

public AccessPathFactory(InfoflowConfiguration config)

Creates a new instance of the AccessPathFactory class

参数:

config - The FlowDroid configuration object

方法详细资料

createAccessPath

public AccessPath createAccessPath(soot.Value val,
                                   boolean taintSubFields)

createAccessPath

public AccessPath createAccessPath(soot.Value val,
                                   soot.Type valType,
                                   boolean taintSubFields,
                                   AccessPath.ArrayTaintType arrayTaintType)

createAccessPath

public AccessPath createAccessPath(soot.Value val,
                                   soot.SootField[] appendingFields,
                                   boolean taintSubFields)

createAccessPath

public AccessPath createAccessPath(soot.Value val,
                                   soot.SootField[] appendingFields,
                                   soot.Type valType,
                                   soot.Type[] appendingFieldTypes,
                                   boolean taintSubFields,
                                   boolean cutFirstField,
                                   boolean reduceBases,
                                   AccessPath.ArrayTaintType arrayTaintType)

createAccessPath

public AccessPath createAccessPath(soot.Value val,
                                   soot.SootField[] appendingFields,
                                   soot.Type valType,
                                   soot.Type[] appendingFieldTypes,
                                   boolean taintSubFields,
                                   boolean cutFirstField,
                                   boolean reduceBases,
                                   AccessPath.ArrayTaintType arrayTaintType,
                                   boolean canHaveImmutableAliases)

getBaseForType

public Collection<AccessPathFactory.BasePair> getBaseForType(soot.Type tp)

copyWithNewValue

public AccessPath copyWithNewValue(AccessPath original,
                                   soot.Value val)

Copies the given access path with a new base value, but retains the base type

参数:

original - The original access path

val - The new value

返回:

The new access path with the exchanged value

copyWithNewValue

public AccessPath copyWithNewValue(AccessPath original,
                                   soot.Value val,
                                   soot.Type newType,
                                   boolean cutFirstField)

value val gets new base, fields are preserved.

参数:

original - The original access path

val - The new base value

返回:

This access path with the base replaced by the value given in the val parameter

copyWithNewValue

public AccessPath copyWithNewValue(AccessPath original,
                                   soot.Value val,
                                   soot.Type newType,
                                   boolean cutFirstField,
                                   boolean reduceBases)

value val gets new base, fields are preserved.

参数:

original - The original access path

val - The new base value

reduceBases - True if circular types shall be reduced to bases

返回:

This access path with the base replaced by the value given in the val parameter

copyWithNewValue

public AccessPath copyWithNewValue(AccessPath original,
                                   soot.Value val,
                                   soot.Type newType,
                                   boolean cutFirstField,
                                   boolean reduceBases,
                                   AccessPath.ArrayTaintType arrayTaintType)

value val gets new base, fields are preserved.

参数:

original - The original access path

val - The new base value

reduceBases - True if circular types shall be reduced to bases

arrayTaintType - The way a tainted array shall be handled

返回:

This access path with the base replaced by the value given in the val parameter

merge

public AccessPath merge(AccessPath ap1,
                        AccessPath ap2)

Merges the two given access paths , i.e., adds the fields of ap2 to ap1.

参数:

ap1 - The access path to which to append the fields

ap2 - The access path whose fields to append to ap1

返回:

The new access path

appendFields

public AccessPath appendFields(AccessPath original,
                               soot.SootField[] apFields,
                               soot.Type[] apFieldTypes,
                               boolean taintSubFields)

Appends additional fields to the given access path

参数:

original - The original access path to which to append the fields

apFields - The fields to append

apFieldTypes - The types of the fields to append

taintSubFields - True if the new access path shall taint all objects reachable through it, false if it shall only point to precisely one object

返回:

The new access path