Package qilin.pta.toolkits.moon

Class Moon

java.lang.Object

qilin.pta.toolkits.moon.Moon

public class Moon
extends Object

Context-debloating approach that selects the set of "precision-relevant" allocation sites for object-sensitive pointer analysis.

Field Summary

Fields

Modifier and Type	Field	Description
static boolean	enableRecursivePRObjs

Constructor Summary

Constructors

Constructor	Description
Moon(PTA pta, int maxMatchLayer)

Method Summary

Modifier and Type	Method	Description
Set<AllocNode>	analyze()

Methods inherited from class java.lang.Object

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

Field Details

enableRecursivePRObjs

public static boolean enableRecursivePRObjs

Constructor Details

Moon

public Moon(PTA pta,
 int maxMatchLayer)

Method Details

analyze

public Set<AllocNode> analyze()