Class ContextSensitiveReachingDefs

java.lang.Object
com.ibm.wala.examples.analysis.dataflow.ContextSensitiveReachingDefs

public class ContextSensitiveReachingDefs extends Object
Computes interprocedural reaching definitions for static fields in a context-sensitive manner via tabulation.