Package qilin.pta.toolkits.zipper.analysis

Class Zipper

java.lang.Object

qilin.pta.toolkits.zipper.analysis.Zipper

public class Zipper
extends Object

Main class of Zipper, which computes precision-critical methods in the program being analyzed.

Constructor Summary

Constructors

Constructor	Description
Zipper(PTA pta)

Method Summary

Modifier and Type	Method	Description
Set<SootMethod>	analyze()
ObjectFlowGraph	buildObjectFlowGraph()
boolean	isInnerType(ClassType pInner, ClassType pOuter)
int	numberOfOverallPFGEdges()
int	numberOfOverallPFGNodes()
static void	outputNumberOfClasses(PTA pta)
static void	outputObjectFlowGraphSize(ObjectFlowGraph ofg)

Methods inherited from class java.lang.Object

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

Constructor Details

Zipper

public Zipper(PTA pta)

Method Details

outputNumberOfClasses

public static void outputNumberOfClasses(PTA pta)

numberOfOverallPFGNodes

public int numberOfOverallPFGNodes()

numberOfOverallPFGEdges

public int numberOfOverallPFGEdges()

buildObjectFlowGraph

public ObjectFlowGraph buildObjectFlowGraph()

outputObjectFlowGraphSize

public static void outputObjectFlowGraphSize(ObjectFlowGraph ofg)

analyze

public Set<SootMethod> analyze()

Returns:

set of precision-critical methods in the program

isInnerType

public boolean isInnerType(ClassType pInner,
 ClassType pOuter)

Parameters:

pInner - potential inner class

pOuter - potential outer class

Returns:

whether pInner is an inner class of pOuter