Package qilin.util

Class StaticThisPointsTo

java.lang.Object

qilin.util.StaticThisPointsTo

public final class StaticThisPointsTo
extends Object

Propagates each static method's would-be this points-to set to every static method it calls, so toolkits that reason about a "receiver" uniformly (including for static methods) have one to look up.

Method Summary

Modifier and Type	Method	Description
static Map<LocalVarNode,Set<AllocNode>>	calcStaticThisPTS(PTA pta)

Methods inherited from class java.lang.Object

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

Method Details

calcStaticThisPTS

public static Map<LocalVarNode,Set<AllocNode>> calcStaticThisPTS(PTA pta)