Package qilin.pta.toolkits.zipper

Class Main

java.lang.Object

qilin.pta.toolkits.zipper.Main

public class Main
extends Object

Constructor Summary

Constructors

Constructor	Description
Main()

Method Summary

Modifier and Type	Method	Description
static void	run(PTA pta, Set<SootMethod> zipperPCMOutput)

Methods inherited from class java.lang.Object

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

Constructor Details

Main

public Main()

Method Details

run

public static void run(PTA pta,
 Set<SootMethod> zipperPCMOutput)