Package qilin.pta.toolkits.zipper.analysis
package qilin.pta.toolkits.zipper.analysis
-
ClassesClassDescriptionFor each object o, this class compute the set of methods which o could potentially be their context element.Main class of Zipper, which computes precision-critical methods in the program being analyzed.