com.ibm.wala.demandpa.util

Class PABasedMemoryAccessMap

java.lang.Object

com.ibm.wala.demandpa.util.PABasedMemoryAccessMap

All Implemented Interfaces:

MemoryAccessMap

public class PABasedMemoryAccessMap
extends java.lang.Object
implements MemoryAccessMap

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
java.util.Collection<MemoryAccess>	getArrayReads(PointerKey arrayRef)
java.util.Collection<MemoryAccess>	getArrayWrites(PointerKey arrayRef)
java.util.Collection<MemoryAccess>	getFieldReads(PointerKey baseRef, IField field)
java.util.Collection<MemoryAccess>	getFieldWrites(PointerKey baseRef, IField field)
HeapModel	getHeapModel() get the heap model used in this memory access map
java.util.Collection<MemoryAccess>	getStaticFieldReads(IField field)
java.util.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(PointerAnalysis<InstanceKey> pa,
                              SDG<InstanceKey> sdg)

PABasedMemoryAccessMap

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

Method Detail

getArrayReads

public java.util.Collection<MemoryAccess> getArrayReads(PointerKey arrayRef)

Specified by:

getArrayReads in interface MemoryAccessMap

getArrayWrites

public java.util.Collection<MemoryAccess> getArrayWrites(PointerKey arrayRef)

Specified by:

getArrayWrites in interface MemoryAccessMap

getFieldReads

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

Specified by:

getFieldReads in interface MemoryAccessMap

Returns:

Collection<MemoryAccess>

getFieldWrites

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

Specified by:

getFieldWrites in interface MemoryAccessMap

Returns:

Collection<MemoryAccess>

getStaticFieldReads

public java.util.Collection<MemoryAccess> getStaticFieldReads(IField field)

Specified by:

getStaticFieldReads in interface MemoryAccessMap

getStaticFieldWrites

public java.util.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