Package com.ibm.wala.analysis.exceptionanalysis

Class ExceptionTransferFunctionProvider

java.lang.Object

com.ibm.wala.analysis.exceptionanalysis.ExceptionTransferFunctionProvider

All Implemented Interfaces:

ITransferFunctionProvider<CGNode,BitVectorVariable>

public class ExceptionTransferFunctionProvider
extends Object
implements ITransferFunctionProvider<CGNode,BitVectorVariable>

Constructor Summary

Constructors

Constructor	Description
ExceptionTransferFunctionProvider(CGIntraproceduralExceptionAnalysis intraResult, CallGraph cg, Exception2BitvectorTransformer transformer)

Method Summary

Modifier and Type	Method	Description
UnaryOperator<BitVectorVariable>	getEdgeTransferFunction(CGNode dst, CGNode src)
AbstractMeetOperator<BitVectorVariable>	getMeetOperator()	TODO: perhaps this should go with a Lattice object instead.
UnaryOperator<BitVectorVariable>	getNodeTransferFunction(CGNode node)
boolean	hasEdgeTransferFunctions()
boolean	hasNodeTransferFunctions()

Methods inherited from class java.lang.Object

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

Constructor Details

ExceptionTransferFunctionProvider

public ExceptionTransferFunctionProvider(CGIntraproceduralExceptionAnalysis intraResult,
 CallGraph cg,
 Exception2BitvectorTransformer transformer)

Method Details

hasNodeTransferFunctions

public boolean hasNodeTransferFunctions()

Specified by:

hasNodeTransferFunctions in interface ITransferFunctionProvider<CGNode,BitVectorVariable>

Returns:

true if this provider provides node transfer functions

hasEdgeTransferFunctions

public boolean hasEdgeTransferFunctions()

Specified by:

hasEdgeTransferFunctions in interface ITransferFunctionProvider<CGNode,BitVectorVariable>

Returns:

true if this provider provides edge transfer functions

getMeetOperator

public AbstractMeetOperator<BitVectorVariable> getMeetOperator()

Description copied from interface: ITransferFunctionProvider

TODO: perhaps this should go with a Lattice object instead. TODO: provide an API to allow composition of the meet operator with the flow operator for a given block, as an optimization?

Specified by:

getMeetOperator in interface ITransferFunctionProvider<CGNode,BitVectorVariable>

getNodeTransferFunction

public UnaryOperator<BitVectorVariable> getNodeTransferFunction(CGNode node)

Specified by:

getNodeTransferFunction in interface ITransferFunctionProvider<CGNode,BitVectorVariable>

Returns:

the transfer function from IN_node -> OUT_node

getEdgeTransferFunction

public UnaryOperator<BitVectorVariable> getEdgeTransferFunction(CGNode dst,
 CGNode src)

Specified by:

getEdgeTransferFunction in interface ITransferFunctionProvider<CGNode,BitVectorVariable>

Returns:

the transfer function from OUT_src -> EDGE_<src,dst>