soot.jimple.infoflow

类 InfoflowConfiguration.AccessPathConfiguration

java.lang.Object

soot.jimple.infoflow.InfoflowConfiguration.AccessPathConfiguration

封闭类:

InfoflowConfiguration

public static class InfoflowConfiguration.AccessPathConfiguration
extends Object

Class containing the configuration options for dealing with access paths (maximum length, reduction options, etc.)

作者:

Steven Arzt

构造器概要

构造器

构造器和说明
AccessPathConfiguration()

方法概要

限定符和类型	方法和说明
boolean	equals(Object obj)
int	getAccessPathLength() Gets the maximum depth of the access paths.
boolean	getUseRecursiveAccessPaths() Gets whether recursive access paths shall be reduced, e.g. whether we shall propagate a.
boolean	getUseSameFieldReduction() Gets whether access paths that repeat the same field shall be reduced, i.e., whether a.next.obj shall be propagated instead of a.next.next.obj.
boolean	getUseThisChainReduction() Gets whether access paths pointing to outer objects using this$n shall be reduced, e.g. whether we shall propagate a.data instead of a.this$0.a.data.
int	hashCode()
void	merge(InfoflowConfiguration.AccessPathConfiguration config) Merges the given configuration options into this configuration object
void	setAccessPathLength(int accessPathLength) Sets the maximum depth of the access paths.
void	setUseRecursiveAccessPaths(boolean useRecursiveAccessPaths) Sets whether recursive access paths shall be reduced, e.g. whether we shall propagate a.
void	setUseSameFieldReduction(boolean useSameFieldReduction) Sets whether access paths that repeat the same field shall be reduced, i.e., whether a.next.obj shall be propagated instead of a.next.next.obj.
void	setUseThisChainReduction(boolean useThisChainReduction) Sets whether access paths pointing to outer objects using this$n shall be reduced, e.g. whether we shall propagate a.data instead of a.this$0.a.data.

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

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

构造器详细资料

AccessPathConfiguration

public AccessPathConfiguration()

方法详细资料

merge

public void merge(InfoflowConfiguration.AccessPathConfiguration config)

Merges the given configuration options into this configuration object

参数:

config - The configuration data to merge in

getAccessPathLength

public int getAccessPathLength()

Gets the maximum depth of the access paths. All paths will be truncated if they exceed the given size.

参数:

accessPathLength - the maximum value of an access path.

setAccessPathLength

public void setAccessPathLength(int accessPathLength)

Sets the maximum depth of the access paths. All paths will be truncated if they exceed the given size.

参数:

accessPathLength - the maximum value of an access path. If it gets longer than this value, it is truncated and all following fields are assumed as tainted (which is imprecise but gains performance) Default value is 5.

getUseRecursiveAccessPaths

public boolean getUseRecursiveAccessPaths()

Gets whether recursive access paths shall be reduced, e.g. whether we shall propagate a.[next].data instead of a.next.next.data.

返回:

True if recursive access paths shall be reduced, otherwise false

setUseRecursiveAccessPaths

public void setUseRecursiveAccessPaths(boolean useRecursiveAccessPaths)

Sets whether recursive access paths shall be reduced, e.g. whether we shall propagate a.[next].data instead of a.next.next.data.

参数:

useRecursiveAccessPaths - True if recursive access paths shall be reduced, otherwise false

getUseThisChainReduction

public boolean getUseThisChainReduction()

Gets whether access paths pointing to outer objects using this$n shall be reduced, e.g. whether we shall propagate a.data instead of a.this$0.a.data.

返回:

True if access paths including outer objects shall be reduced, otherwise false

setUseThisChainReduction

public void setUseThisChainReduction(boolean useThisChainReduction)

Sets whether access paths pointing to outer objects using this$n shall be reduced, e.g. whether we shall propagate a.data instead of a.this$0.a.data.

参数:

useThisChainReduction - True if access paths including outer objects shall be reduced, otherwise false

getUseSameFieldReduction

public boolean getUseSameFieldReduction()

Gets whether access paths that repeat the same field shall be reduced, i.e., whether a.next.obj shall be propagated instead of a.next.next.obj.

返回:

True if access paths with repeating fields shall be reduced to the last occurrence of that field

setUseSameFieldReduction

public void setUseSameFieldReduction(boolean useSameFieldReduction)

Sets whether access paths that repeat the same field shall be reduced, i.e., whether a.next.obj shall be propagated instead of a.next.next.obj.

参数:

useSameFieldReduction - True if access paths with repeating fields shall be reduced to the last occurrence of that field

hashCode

public int hashCode()

覆盖:

hashCode 在类中 Object

equals

public boolean equals(Object obj)

覆盖:

equals 在类中 Object