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.