soot.jimple.infoflow

类 InfoflowConfiguration.SolverConfiguration

java.lang.Object

soot.jimple.infoflow.InfoflowConfiguration.SolverConfiguration

封闭类:

InfoflowConfiguration

public static class InfoflowConfiguration.SolverConfiguration
extends Object

Class containing the configuration options for the IFDS data flow solver

作者:

Steven Arzt

构造器概要

构造器

构造器和说明
SolverConfiguration()

方法概要

限定符和类型	方法和说明
boolean	equals(Object obj)
InfoflowConfiguration.DataFlowSolver	getDataFlowSolver() Gets the data flow solver to be used for the taint analysis
int	getMaxAbstractionPathLength() Gets the maximum length over which an abstraction may be propagated before the abstractions is dropped
int	getMaxCalleesPerCallSite() Gets the maximum number of callees permitted per call site.
int	getMaxJoinPointAbstractions() Gets the maximum number of abstractions that shall be recorded per join point.
int	hashCode()
void	merge(InfoflowConfiguration.SolverConfiguration solverConfig) Copies the settings of the given configuration into this configuration object
void	setDataFlowSolver(InfoflowConfiguration.DataFlowSolver solver) Sets the data flow solver to be used for the taint analysis
void	setMaxAbstractionPathLength(int maxAbstractionPathLength) Sets the maximum length over which an abstraction may be propagated before the abstractions is dropped
void	setMaxCalleesPerCallSite(int maxCalleesPerCallSite) Sets the maximum number of callees permitted per call site.
void	setMaxJoinPointAbstractions(int maxJoinPointAbstractions) Sets the maximum number of abstractions that shall be recorded per join point.
void	setSingleJoinPointAbstraction(boolean singleJointAbstraction) Sets the maximum number of join point abstractions to a single abstraction.

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

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

构造器详细资料

SolverConfiguration

public SolverConfiguration()

方法详细资料

merge

public void merge(InfoflowConfiguration.SolverConfiguration solverConfig)

Copies the settings of the given configuration into this configuration object

参数:

solverConfig - The other configuration object

getDataFlowSolver

public InfoflowConfiguration.DataFlowSolver getDataFlowSolver()

Gets the data flow solver to be used for the taint analysis

返回:

The data flow solver to be used for the taint analysis

setDataFlowSolver

public void setDataFlowSolver(InfoflowConfiguration.DataFlowSolver solver)

Sets the data flow solver to be used for the taint analysis

参数:

solver - The data flow solver to be used for the taint analysis

getMaxJoinPointAbstractions

public int getMaxJoinPointAbstractions()

Gets the maximum number of abstractions that shall be recorded per join point. In other words, enabling this option disables the recording of neighbors beyond the given count. This greatly reduces the memory requirements of the analysis. On the other hand, if data is tainted from two different sources, only some of them will be reported.

返回:

The maximum number of abstractions per join point, or -1 to record an arbitrary number of join point abstractions

setMaxJoinPointAbstractions

public void setMaxJoinPointAbstractions(int maxJoinPointAbstractions)

Sets the maximum number of abstractions that shall be recorded per join point. In other words, enabling this option disables the recording of neighbors beyond the given count. This greatly reduces the memory requirements of the analysis. On the other hand, if data is tainted from two different sources, only some of them will be reported.

参数:

maxJoinPointAbstractions - The maximum number of abstractions per join point, or -1 to record an arbitrary number of join point abstractions

getMaxCalleesPerCallSite

public int getMaxCalleesPerCallSite()

Gets the maximum number of callees permitted per call site. If a call site has more callees than this limit, the call site is ignored completely. Use this limit to reduce the impact of imprecise call graphs.

返回:

The maximum number of callees per call site

setMaxCalleesPerCallSite

public void setMaxCalleesPerCallSite(int maxCalleesPerCallSite)

Sets the maximum number of callees permitted per call site. If a call site has more callees than this limit, the call site is ignored completely. Use this limit to reduce the impact of imprecise call graphs.

参数:

maxCalleesPerCallSite - The maximum number of callees per call site

setSingleJoinPointAbstraction

public void setSingleJoinPointAbstraction(boolean singleJointAbstraction)

Sets the maximum number of join point abstractions to a single abstraction.

参数:

singleJointAbstraction - True to configure the solver to register only a single join point abstraction

getMaxAbstractionPathLength

public int getMaxAbstractionPathLength()

Gets the maximum length over which an abstraction may be propagated before the abstractions is dropped

返回:

The maximum length over which an abstraction may be propagated

setMaxAbstractionPathLength

public void setMaxAbstractionPathLength(int maxAbstractionPathLength)

Sets the maximum length over which an abstraction may be propagated before the abstractions is dropped

参数:

maxAbstractionPathLength - The maximum length over which an abstraction may be propagated

hashCode

public int hashCode()

覆盖:

hashCode 在类中 Object

equals

public boolean equals(Object obj)

覆盖:

equals 在类中 Object