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, boolean isExpress)

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,
 boolean isExpress)