soot.jimple.infoflow

类 InfoflowConfiguration.PathConfiguration

java.lang.Object

soot.jimple.infoflow.InfoflowConfiguration.PathConfiguration

封闭类:

InfoflowConfiguration

public static class InfoflowConfiguration.PathConfiguration
extends Object

The configuration that defines how FlowDroid shall handle between sources and sinks

作者:

Steven Arzt

构造器概要

构造器

构造器和说明
PathConfiguration()

方法概要

限定符和类型	方法和说明
boolean	equals(Object obj)
int	getMaxCallStackSize() Gets the maximum call stack size.
int	getMaxPathLength() Gets the maximum size for taint propagation paths.
int	getMaxPathsPerAbstraction() Gets the maximum number of paths that shall be recorded per abstraction.
InfoflowConfiguration.PathBuildingAlgorithm	getPathBuildingAlgorithm() Gets the algorithm that shall be used for reconstructing the propagation paths between source and sink
int	getPathReconstructionBatchSize() Gets the number of paths that shall be reconstructed in one batch.
InfoflowConfiguration.PathReconstructionMode	getPathReconstructionMode() Gets the mode that defines how the paths between sources and sinks shall be reconstructed
long	getPathReconstructionTimeout() Gets the timeout in seconds after which path reconstruction shall be aborted.
boolean	getSequentialPathProcessing() Gets whether FlowDroid shall perform sequential path reconstruction instead of running all reconstruction tasks concurrently.
int	hashCode()
void	merge(InfoflowConfiguration.PathConfiguration pathConfig) Copies the settings of the given configuration into this configuration object
boolean	mustKeepStatements() Gets whether the analysis must keep statements along the path
void	setMaxCallStackSize(int maxCallStackSize) Sets the maximum call stack size.
void	setMaxPathLength(int maxPathLength) Sets the maximum size for taint propagation paths.
void	setMaxPathsPerAbstraction(int maxPathsPerAbstraction) Sets the maximum number of paths that shall be recorded per abstraction.
void	setPathBuildingAlgorithm(InfoflowConfiguration.PathBuildingAlgorithm pathBuildingAlgorithm) Sets the algorithm that shall be used for reconstructing the propagation paths between source and sink
void	setPathReconstructionBatchSize(int pathReconstructionBatchSize) Sets the number of paths that shall be reconstructed in one batch.
void	setPathReconstructionMode(InfoflowConfiguration.PathReconstructionMode pathReconstructionMode) Sets the mode that defines how the paths between sources and sinks shall be reconstructed
void	setPathReconstructionTimeout(long timeout) Sets the timeout in seconds after which path reconstruction shall be aborted.
void	setSequentialPathProcessing(boolean sequentialPathProcessing) Sets whether FlowDroid shall perform sequential path reconstruction instead of running all reconstruction tasks concurrently.

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

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

构造器详细资料

PathConfiguration

public PathConfiguration()

方法详细资料

merge

public void merge(InfoflowConfiguration.PathConfiguration pathConfig)

Copies the settings of the given configuration into this configuration object

参数:

pathConfig - The other configuration object

getSequentialPathProcessing

public boolean getSequentialPathProcessing()

Gets whether FlowDroid shall perform sequential path reconstruction instead of running all reconstruction tasks concurrently. This can reduce the memory consumption, but will likely take longer when memory is not an issue.

返回:

True if the path reconstruction tasks shall be run sequentially, false for running them in parallel

setSequentialPathProcessing

public void setSequentialPathProcessing(boolean sequentialPathProcessing)

Sets whether FlowDroid shall perform sequential path reconstruction instead of running all reconstruction tasks concurrently. This can reduce the memory consumption, but will likely take longer when memory is not an issue.

参数:

sequentialPathProcessing - True if the path reconstruction tasks shall be run sequentially, false for running them in parallel

getPathReconstructionMode

public InfoflowConfiguration.PathReconstructionMode getPathReconstructionMode()

Gets the mode that defines how the paths between sources and sinks shall be reconstructed

返回:

The mode that defines how the paths between sources and sinks shall be reconstructed

setPathReconstructionMode

public void setPathReconstructionMode(InfoflowConfiguration.PathReconstructionMode pathReconstructionMode)

Sets the mode that defines how the paths between sources and sinks shall be reconstructed

参数:

pathReconstructionMode - The mode that defines how the paths between sources and sinks shall be reconstructed

getPathBuildingAlgorithm

public InfoflowConfiguration.PathBuildingAlgorithm getPathBuildingAlgorithm()

Gets the algorithm that shall be used for reconstructing the propagation paths between source and sink

返回:

The algorithm that shall be used for reconstructing the propagation paths between source and sink

setPathBuildingAlgorithm

public void setPathBuildingAlgorithm(InfoflowConfiguration.PathBuildingAlgorithm pathBuildingAlgorithm)

Sets the algorithm that shall be used for reconstructing the propagation paths between source and sink

参数:

pathBuildingAlgorithm - The algorithm that shall be used for reconstructing the propagation paths between source and sink

setMaxCallStackSize

public void setMaxCallStackSize(int maxCallStackSize)

Sets the maximum call stack size. If the call stack grows longer than this amount of entries, the respective path will no longer be followed.

参数:

maxCallStackSize - The maximum call stack size

getMaxCallStackSize

public int getMaxCallStackSize()

Gets the maximum call stack size. If the call stack grows longer than this amount of entries, the respective path will no longer be followed.

返回:

The maximum call stack size

getMaxPathLength

public int getMaxPathLength()

Gets the maximum size for taint propagation paths. If a path is growing longer than this limit, the path reconstruction is aborted and the respective path is skipped.

返回:

The maximum length of a taint propagtation path3

setMaxPathLength

public void setMaxPathLength(int maxPathLength)

Sets the maximum size for taint propagation paths. If a path is growing longer than this limit, the path reconstruction is aborted and the respective path is skipped.

参数:

maxPathLenfgth - The maximum length of a taint propagtation path3

getMaxPathsPerAbstraction

public int getMaxPathsPerAbstraction()

Gets the maximum number of paths that shall be recorded per abstraction. If this threshold is reached, all further paths will be discarded.

返回:

The maximum number of paths that shall be recorded per abstraction.

setMaxPathsPerAbstraction

public void setMaxPathsPerAbstraction(int maxPathsPerAbstraction)

Sets the maximum number of paths that shall be recorded per abstraction. If this threshold is reached, all further paths will be discarded.

参数:

maxPathsPerAbstraction - The maximum number of paths that shall be recorded per abstraction.

getPathReconstructionTimeout

public long getPathReconstructionTimeout()

Gets the timeout in seconds after which path reconstruction shall be aborted. This timeout is applied after the data flow analysis has been completed. If incremental path reconstruction is used, it is applied for the remaining path reconstruction after the data flow analysis has been completed. If incremental path reconstruction is not used, the timeout is applied to the complete path reconstruction phase, because it does not overlap with the data flow analysis phase in this case.

返回:

The timeout in seconds after which the path reconstruction shall be aborted

setPathReconstructionTimeout

public void setPathReconstructionTimeout(long timeout)

Sets the timeout in seconds after which path reconstruction shall be aborted. This timeout is applied after the data flow analysis has been completed. If incremental path reconstruction is used, it is applied for the remaining path reconstruction after the data flow analysis has been completed. If incremental path reconstruction is not used, the timeout is applied to the complete path reconstruction phase, because it does not overlap with the data flow analysis phase in this case.

参数:

timeout - The timeout in seconds after which the path reconstruction shall be aborted

getPathReconstructionBatchSize

public int getPathReconstructionBatchSize()

Gets the number of paths that shall be reconstructed in one batch. Reduce this value to lower memory pressure during path reconstruction.

返回:

The number of paths that shall be reconstructed in one batch

setPathReconstructionBatchSize

public void setPathReconstructionBatchSize(int pathReconstructionBatchSize)

Sets the number of paths that shall be reconstructed in one batch. Reduce this value to lower memory pressure during path reconstruction.

参数:

pathReconstructionBatchSize - The number of paths that shall be reconstructed in one batch

mustKeepStatements

public boolean mustKeepStatements()

Gets whether the analysis must keep statements along the path

返回:

True if the analysis must keep statements along th path, false otherwise

hashCode

public int hashCode()

覆盖:

hashCode 在类中 Object

equals

public boolean equals(Object obj)

覆盖:

equals 在类中 Object