Package com.ibm.wala.demandpa.util

Class PABasedMemoryAccessMap

java.lang.Object

com.ibm.wala.demandpa.util.PABasedMemoryAccessMap

All Implemented Interfaces:

MemoryAccessMap

public class PABasedMemoryAccessMap
extends Object
implements MemoryAccessMap

A MemoryAccessMap that makes use of a pre-computed PointerAnalysis to reduce the number of considered accesses.

Author:

manu

Constructor Summary

Constructors

Constructor	Description
PABasedMemoryAccessMap(CallGraph cg, PointerAnalysis<InstanceKey> pa)
PABasedMemoryAccessMap(PointerAnalysis<InstanceKey> pa, SDG<InstanceKey> sdg)
PABasedMemoryAccessMap(PointerAnalysis<InstanceKey> pa, Map<Statement,Set<PointerKey>> mod, Map<Statement,Set<PointerKey>> ref)

Method Summary

Modifier and Type	Method	Description
Collection<MemoryAccess>	getArrayReads(PointerKey arrayRef)
Collection<MemoryAccess>	getArrayWrites(PointerKey arrayRef)
Collection<MemoryAccess>	getFieldReads(PointerKey baseRef, IField field)
Collection<MemoryAccess>	getFieldWrites(PointerKey baseRef, IField field)
HeapModel	getHeapModel()	get the heap model used in this memory access map
Collection<MemoryAccess>	getStaticFieldReads(IField field)
Collection<MemoryAccess>	getStaticFieldWrites(IField field)

Methods inherited from class java.lang.Object

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

Constructor Details

PABasedMemoryAccessMap

public PABasedMemoryAccessMap(CallGraph cg,
 PointerAnalysis<InstanceKey> pa)

PABasedMemoryAccessMap

public PABasedMemoryAccessMap(PointerAnalysis<InstanceKey> pa,
 SDG<InstanceKey> sdg)

PABasedMemoryAccessMap

public PABasedMemoryAccessMap(PointerAnalysis<InstanceKey> pa,
 Map<Statement,Set<PointerKey>> mod,
 Map<Statement,Set<PointerKey>> ref)

Method Details

getArrayReads

public Collection<MemoryAccess> getArrayReads(PointerKey arrayRef)

Specified by:

getArrayReads in interface MemoryAccessMap

getArrayWrites

public Collection<MemoryAccess> getArrayWrites(PointerKey arrayRef)

Specified by:

getArrayWrites in interface MemoryAccessMap

getFieldReads

public Collection<MemoryAccess> getFieldReads(PointerKey baseRef,
 IField field)

Specified by:

getFieldReads in interface MemoryAccessMap

Returns:

Collection<MemoryAccess>

getFieldWrites

public Collection<MemoryAccess> getFieldWrites(PointerKey baseRef,
 IField field)

Specified by:

getFieldWrites in interface MemoryAccessMap

Returns:

Collection<MemoryAccess>

getStaticFieldReads

public Collection<MemoryAccess> getStaticFieldReads(IField field)

Specified by:

getStaticFieldReads in interface MemoryAccessMap

getStaticFieldWrites

public Collection<MemoryAccess> getStaticFieldWrites(IField field)

Specified by:

getStaticFieldWrites in interface MemoryAccessMap

getHeapModel

public HeapModel getHeapModel()

Description copied from interface: MemoryAccessMap

get the heap model used in this memory access map

Specified by:

getHeapModel in interface MemoryAccessMap