qilin.pta.toolkits.zipper

Class Main

java.lang.Object

qilin.pta.toolkits.zipper.Main

public class Main
extends Object

Constructor Summary

Constructors

Constructor and Description
Main()

Method Summary

Modifier and Type	Method and 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 Detail

Main

public Main()

Method Detail

run

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