com.ibm.wala.examples.analysis.dataflow

Class ContextInsensitiveReachingDefs

java.lang.Object

com.ibm.wala.examples.analysis.dataflow.ContextInsensitiveReachingDefs

public class ContextInsensitiveReachingDefs
extends java.lang.Object

Computes interprocedural reaching definitions for static fields in a context-insensitive manner.

Constructor Summary

Constructors

Constructor and Description
ContextInsensitiveReachingDefs(ExplodedInterproceduralCFG icfg, IClassHierarchy cha)

Method Summary

Modifier and Type	Method and Description
com.ibm.wala.dataflow.graph.BitVectorSolver<BasicBlockInContext<IExplodedBasicBlock>>	analyze() run the analysis
com.ibm.wala.util.collections.Pair<CGNode,java.lang.Integer>	getNodeAndInstrForNumber(int num) gets putstatic instruction corresponding to some fact number from a bitvector in the analysis result

Methods inherited from class java.lang.Object

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

Constructor Detail

ContextInsensitiveReachingDefs

public ContextInsensitiveReachingDefs(ExplodedInterproceduralCFG icfg,
                                      IClassHierarchy cha)

Method Detail

analyze

public com.ibm.wala.dataflow.graph.BitVectorSolver<BasicBlockInContext<IExplodedBasicBlock>> analyze()

run the analysis

Returns:

the solver used for the analysis, which contains the analysis result

getNodeAndInstrForNumber

public com.ibm.wala.util.collections.Pair<CGNode,java.lang.Integer> getNodeAndInstrForNumber(int num)

gets putstatic instruction corresponding to some fact number from a bitvector in the analysis result