soot.jimple.infoflow.solver

接口 IInfoflowSolver

所有已知实现类:

InfoflowSolver, InfoflowSolver, InfoflowSolver

public interface IInfoflowSolver

方法概要

限定符和类型	方法和说明
void	cleanup() Cleans up some unused memory.
Set<heros.solver.Pair<soot.Unit,Abstraction>>	endSummary(soot.SootMethod m, Abstraction d3) Gets the end summary of the given method for the given incoming abstraction
IMemoryManager<Abstraction,soot.Unit>	getMemoryManager() Gets the memory manager used by this solver to reduce memory consumption
long	getPropagationCount() Gets the number of edges propagated by the solver
AbstractInfoflowProblem	getTabulationProblem() Gets the IFDS problem solved by this solver
void	injectContext(IInfoflowSolver otherSolver, soot.SootMethod callee, Abstraction d3, soot.Unit callSite, Abstraction d2, Abstraction d1)
boolean	processEdge(heros.solver.PathEdge<soot.Unit,Abstraction> edge) Schedules the given edge for processing in the solver
void	setFollowReturnsPastSeedsHandler(IFollowReturnsPastSeedsHandler handler) Sets a handler that will be called when a followReturnsPastSeeds case happens, i.e., a taint leaves a method for which we have not seen any callers
void	setMaxAbstractionPathLength(int maxAbstractionPathLength) Sets the maximum length of a taint propagation path.
void	setMaxCalleesPerCallSite(int maxCalleesPerCallSite) Sets the maximum number of callees that are allowed per call site.
void	setMaxJoinPointAbstractions(int maxJoinPointAbstractions) Sets the maximum number of abstractions that shall be recorded per join point.
void	setMemoryManager(IMemoryManager<Abstraction,soot.Unit> memoryManager) Sets the memory manager that shall be used to manage the abstractions
void	setPeerGroup(SolverPeerGroup solverPeerGroup) Sets the peer group in which this solver operates.
void	setPredecessorShorteningMode(PredecessorShorteningMode mode) Sets whether abstractions on method returns shall be connected to the respective call abstractions to shortcut paths.
void	setSolverId(boolean solverId)
void	solve() Solves the data flow problem
void	terminate() Notifies the solver that no further edges will be scheduled

方法详细资料

processEdge

boolean processEdge(heros.solver.PathEdge<soot.Unit,Abstraction> edge)

Schedules the given edge for processing in the solver

参数:

edge - The edge to schedule for processing

返回:

True if the edge was scheduled, otherwise (e.g., if the edge has already been processed earlier) false

endSummary

Set<heros.solver.Pair<soot.Unit,Abstraction>> endSummary(soot.SootMethod m,
                                                         Abstraction d3)

Gets the end summary of the given method for the given incoming abstraction

参数:

m - The method for which to get the end summary

d3 - The incoming fact (context) for which to get the end summary

返回:

The end summary of the given method for the given incoming abstraction

injectContext

void injectContext(IInfoflowSolver otherSolver,
                   soot.SootMethod callee,
                   Abstraction d3,
                   soot.Unit callSite,
                   Abstraction d2,
                   Abstraction d1)

cleanup

void cleanup()

Cleans up some unused memory. Results will still be available afterwards, but no intermediate computation values.

setFollowReturnsPastSeedsHandler

void setFollowReturnsPastSeedsHandler(IFollowReturnsPastSeedsHandler handler)

Sets a handler that will be called when a followReturnsPastSeeds case happens, i.e., a taint leaves a method for which we have not seen any callers

参数:

handler - The handler to be called when a followReturnsPastSeeds case happens

setMemoryManager

void setMemoryManager(IMemoryManager<Abstraction,soot.Unit> memoryManager)

Sets the memory manager that shall be used to manage the abstractions

参数:

memoryManager - The memory manager that shall be used to manage the abstractions

getMemoryManager

IMemoryManager<Abstraction,soot.Unit> getMemoryManager()

Gets the memory manager used by this solver to reduce memory consumption

返回:

The memory manager registered with this solver

setPredecessorShorteningMode

void setPredecessorShorteningMode(PredecessorShorteningMode mode)

Sets whether abstractions on method returns shall be connected to the respective call abstractions to shortcut paths.

参数:

mode - The strategy to use for shortening predecessor paths

getPropagationCount

long getPropagationCount()

Gets the number of edges propagated by the solver

返回:

The number of edges propagated by the solver

solve

void solve()

Solves the data flow problem

setSolverId

void setSolverId(boolean solverId)

getTabulationProblem

AbstractInfoflowProblem getTabulationProblem()

Gets the IFDS problem solved by this solver

返回:

The IFDS problem solved by this solver

setMaxJoinPointAbstractions

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.

参数:

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

setMaxCalleesPerCallSite

void setMaxCalleesPerCallSite(int maxCalleesPerCallSite)

Sets the maximum number of callees that are allowed per call site. If a call site has more than this number of callees, the call site is skipped and none of the callees are processed.

参数:

maxCalleesPerCallSite - The maximum number of callees per call site

setMaxAbstractionPathLength

void setMaxAbstractionPathLength(int maxAbstractionPathLength)

Sets the maximum length of a taint propagation path. Abstractions that run beyond this limit are dropped.

参数:

maxAbstractionPathLength - The maximum number of abstractions on a propagation path

setPeerGroup

void setPeerGroup(SolverPeerGroup solverPeerGroup)

Sets the peer group in which this solver operates. Peer groups allow for synchronization between solvers

参数:

solverPeerGroup - The solver peer group

terminate

void terminate()

Notifies the solver that no further edges will be scheduled