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.

Constructor Summary

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

Method Summary

All Methods Instance Methods Concrete Methods
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 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

Class PABasedMemoryAccessMap

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

PABasedMemoryAccessMap

PABasedMemoryAccessMap

PABasedMemoryAccessMap

Method Detail

getArrayReads

getArrayWrites

getFieldReads

getFieldWrites

getStaticFieldReads

getStaticFieldWrites

getHeapModel