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 and Description
PABasedMemoryAccessMap(CallGraph cg, PointerAnalysis<InstanceKey> pa)
PABasedMemoryAccessMap(CallGraph cg, PointerAnalysis<InstanceKey> pa, Map<Statement,Set<PointerKey>> mod, Map<Statement,Set<PointerKey>> ref)
PABasedMemoryAccessMap(CallGraph cg, PointerAnalysis<InstanceKey> pa, SDG sdg)

Method Summary

Methods

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

PABasedMemoryAccessMap

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

PABasedMemoryAccessMap

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

PABasedMemoryAccessMap

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

Method Detail

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

getFieldWrites

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

Specified by:

getFieldWrites in interface MemoryAccessMap

Returns:

Collection

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