Class ContextInsensitiveReachingDefs

java.lang.Object

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

public class ContextInsensitiveReachingDefs
extends Object

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

Constructor Summary

Constructors

Constructor	Description
ContextInsensitiveReachingDefs(ExplodedInterproceduralCFG icfg, IClassHierarchy cha)

Method Summary

Modifier and Type	Method	Description
BitVectorSolver<BasicBlockInContext<IExplodedBasicBlock>>	analyze()	run the analysis
Pair<CGNode,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 Details

ContextInsensitiveReachingDefs

public ContextInsensitiveReachingDefs(ExplodedInterproceduralCFG icfg,
 IClassHierarchy cha)

Method Details

analyze

public BitVectorSolver<BasicBlockInContext<IExplodedBasicBlock>> analyze()

run the analysis

Returns:

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

getNodeAndInstrForNumber

public Pair<CGNode,Integer> getNodeAndInstrForNumber(int num)

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