soot.jimple.infoflow

类 InfoflowConfiguration.OutputConfiguration

java.lang.Object

soot.jimple.infoflow.InfoflowConfiguration.OutputConfiguration

封闭类:

InfoflowConfiguration

public static class InfoflowConfiguration.OutputConfiguration
extends Object

Class that defines settings for writing out the FlowDroid results

作者:

Steven Arzt

构造器概要

构造器

构造器和说明
OutputConfiguration()

方法概要

限定符和类型	方法和说明
boolean	equals(Object obj)
int	getMaxCallersInOutputFile() Gets the maximum number of callers that shall be considered per node when writing out the call graph fraction from the entry point to the source.
boolean	getNoCallGraphFraction() Gets whether to exclude the call graph fraction from the entry points to the source in the xml output
boolean	getNoPassedValues() Gets whether FlowDroid shall exclude the passed values to sources and sinks from the xml output from the analysis
long	getResultSerializationTimeout() Gets the timeout for the result serialization process in seconds.
int	hashCode()
void	merge(InfoflowConfiguration.OutputConfiguration outputConfig) Copies the settings of the given configuration into this configuration object
void	setMaxCallersInOutputFile(int maxCallers) Specifies the maximum number of callers that shall be considered per node when writing out the call graph fraction from the entry point to the source.
void	setNoCallGraphFraction(boolean noCallGraphFraction) Sets whether to exclude the call graph fraction from the entry points to the source in the xml output
void	setNoPassedValues(boolean noPassedValues) Sets the option for exclusion of the passed values to sources and sinks in the xml output
void	setResultSerializationTimeout(long timeout) Sets the timeout in seconds for the result serialization process.

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

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

构造器详细资料

OutputConfiguration

public OutputConfiguration()

方法详细资料

merge

public void merge(InfoflowConfiguration.OutputConfiguration outputConfig)

Copies the settings of the given configuration into this configuration object

参数:

outputConfig - The other configuration object

getNoPassedValues

public boolean getNoPassedValues()

Gets whether FlowDroid shall exclude the passed values to sources and sinks from the xml output from the analysis

返回:

True if FlowDroid shall exclude the passed values to sources and sinks, otherwise false

setNoCallGraphFraction

public void setNoCallGraphFraction(boolean noCallGraphFraction)

Sets whether to exclude the call graph fraction from the entry points to the source in the xml output

参数:

noCallGraphFraction - True if the call graph fraction from the entry points to the source shall be excluded from the xml output

getNoCallGraphFraction

public boolean getNoCallGraphFraction()

Gets whether to exclude the call graph fraction from the entry points to the source in the xml output

返回:

True if the call graph fraction from the entry points to the source shall be excluded from the xml output

setMaxCallersInOutputFile

public void setMaxCallersInOutputFile(int maxCallers)

Specifies the maximum number of callers that shall be considered per node when writing out the call graph fraction from the entry point to the source.

参数:

maxCallers - The maximum number of callers to consider when writing out the call graph fraction between entry point and source

getMaxCallersInOutputFile

public int getMaxCallersInOutputFile()

Gets the maximum number of callers that shall be considered per node when writing out the call graph fraction from the entry point to the source.

返回:

The maximum number of callers to consider when writing out the call graph fraction between entry point and source

setResultSerializationTimeout

public void setResultSerializationTimeout(long timeout)

Sets the timeout in seconds for the result serialization process. Writing out the results is aborted if it takes longer than the given amount of time.

参数:

timeout - The maximum time for writing out the results in seconds

getResultSerializationTimeout

public long getResultSerializationTimeout()

Gets the timeout for the result serialization process in seconds. Writing out the results is aborted if it takes longer than the given amount of time.

setNoPassedValues

public void setNoPassedValues(boolean noPassedValues)

Sets the option for exclusion of the passed values to sources and sinks in the xml output

参数:

noPassedValues - the boolean value whether passed values should be excluded from the xml output

hashCode

public int hashCode()

覆盖:

hashCode 在类中 Object

equals

public boolean equals(Object obj)

覆盖:

equals 在类中 Object