public static class InfoflowConfiguration.PathConfiguration extends Object
| 构造器和说明 |
|---|
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.
|
public void merge(InfoflowConfiguration.PathConfiguration pathConfig)
pathConfig - The other configuration objectpublic boolean getSequentialPathProcessing()
public void setSequentialPathProcessing(boolean sequentialPathProcessing)
sequentialPathProcessing - True if the path reconstruction tasks shall
be run sequentially, false for running them
in parallelpublic InfoflowConfiguration.PathReconstructionMode getPathReconstructionMode()
public void setPathReconstructionMode(InfoflowConfiguration.PathReconstructionMode pathReconstructionMode)
pathReconstructionMode - The mode that defines how the paths between
sources and sinks shall be reconstructedpublic InfoflowConfiguration.PathBuildingAlgorithm getPathBuildingAlgorithm()
public void setPathBuildingAlgorithm(InfoflowConfiguration.PathBuildingAlgorithm pathBuildingAlgorithm)
pathBuildingAlgorithm - The algorithm that shall be used for
reconstructing the propagation paths between
source and sinkpublic void setMaxCallStackSize(int maxCallStackSize)
maxCallStackSize - The maximum call stack sizepublic int getMaxCallStackSize()
public int getMaxPathLength()
public void setMaxPathLength(int maxPathLength)
maxPathLenfgth - The maximum length of a taint propagtation path3public int getMaxPathsPerAbstraction()
public void setMaxPathsPerAbstraction(int maxPathsPerAbstraction)
maxPathsPerAbstraction - The maximum number of paths that shall be
recorded per abstraction.public long getPathReconstructionTimeout()
public void setPathReconstructionTimeout(long timeout)
timeout - The timeout in seconds after which the path reconstruction
shall be abortedpublic int getPathReconstructionBatchSize()
public void setPathReconstructionBatchSize(int pathReconstructionBatchSize)
pathReconstructionBatchSize - The number of paths that shall be
reconstructed in one batchpublic boolean mustKeepStatements()
Copyright © 2022 Fraunhofer SIT. All rights reserved.