Analyzing JavaScript and the Web with WALA

• To obtain pointer keys for PointerAnalysis pa, use HeapModel, e.g.: pa.getHeapModel().getPointerKeyForLocal(…) • InstanceKey: abstraction of an object • For allocation site in some CGNode, AllocationSiteInNode • To get points-to set for PointerKey pk (Set): pa.getPointsToSet(pk) ................
................