Class PABasedMemoryAccessMap
java.lang.Object
com.ibm.wala.demandpa.util.PABasedMemoryAccessMap
- All Implemented Interfaces:
MemoryAccessMap
A
MemoryAccessMap
that makes use of a pre-computed PointerAnalysis
to reduce the
number of considered accesses.- Author:
- manu
-
Constructor Summary
ConstructorDescriptionPABasedMemoryAccessMap
(PointerAnalysis<InstanceKey> pa, Map<Statement, Set<PointerKey>> mod, Map<Statement, Set<PointerKey>> ref) -
Method Summary
Modifier and TypeMethodDescriptiongetArrayReads
(PointerKey arrayRef) getArrayWrites
(PointerKey arrayRef) getFieldReads
(PointerKey baseRef, IField field) getFieldWrites
(PointerKey baseRef, IField field) get the heap model used in this memory access mapgetStaticFieldReads
(IField field) getStaticFieldWrites
(IField field)
-
Constructor Details
-
PABasedMemoryAccessMap
-
PABasedMemoryAccessMap
-
PABasedMemoryAccessMap
public PABasedMemoryAccessMap(PointerAnalysis<InstanceKey> pa, Map<Statement, Set<PointerKey>> mod, Map<Statement, Set<PointerKey>> ref)
-
-
Method Details
-
getArrayReads
- Specified by:
getArrayReads
in interfaceMemoryAccessMap
-
getArrayWrites
- Specified by:
getArrayWrites
in interfaceMemoryAccessMap
-
getFieldReads
- Specified by:
getFieldReads
in interfaceMemoryAccessMap
- Returns:
Collection
<MemoryAccess
>
-
getFieldWrites
- Specified by:
getFieldWrites
in interfaceMemoryAccessMap
- Returns:
Collection
<MemoryAccess
>
-
getStaticFieldReads
- Specified by:
getStaticFieldReads
in interfaceMemoryAccessMap
-
getStaticFieldWrites
- Specified by:
getStaticFieldWrites
in interfaceMemoryAccessMap
-
getHeapModel
Description copied from interface:MemoryAccessMap
get the heap model used in this memory access map- Specified by:
getHeapModel
in interfaceMemoryAccessMap
-