cz.afri.smg.graphs

Interface ReadableSMG

All Known Subinterfaces:

WritableSMG

public interface ReadableSMG

Method Summary

Modifier and Type	Method and Description
boolean	containsValue(java.lang.Integer pValue)
java.lang.Integer	getAddress(SMGObject pMemory, java.lang.Integer pOffset)
SMGValues.SMGExplicitValue	getExplicit(SMGValues.SMGKnownSymValue pValue)
java.lang.String	getFunctionName(SMGRegion pObj)
java.util.Map<java.lang.String,SMGRegion>	getGlobalObjects()
java.util.Set<SMGObject>	getHeapObjects()
java.lang.Iterable<SMGEdgeHasValue>	getHVEdges()
java.lang.Iterable<SMGEdgeHasValue>	getHVEdges(SMGEdgeHasValueFilter pFilter)
java.lang.Iterable<java.lang.Integer>	getNeqsForValue(java.lang.Integer pValue)
java.util.BitSet	getNullBytesForObject(SMGObject pObject)
SMGObject	getNullObject()
int	getNullValue()
SMGRegion	getObjectForVisibleVariable(java.lang.String pVariable)
SMGObject	getObjectPointedBy(java.lang.Integer pValue)
java.util.Set<SMGObject>	getObjects()
SMGEdgePointsTo	getPointer(java.lang.Integer pValue)
java.lang.Iterable<SMGEdgePointsTo>	getPTEdges()
java.util.ArrayDeque<CLangStackFrame>	getStackFrames()
SMGRegion	getStackReturnObject(int pUp)
SMGEdgeHasValue	getUniqueHV(SMGEdgeHasValueFilter pFilter, boolean pStrict)
java.util.Set<java.lang.Integer>	getValues()
boolean	hasLocalVariable(java.lang.String pVarName)
boolean	hasMemoryLeaks()
boolean	haveNeqRelation(java.lang.Integer pOp1, java.lang.Integer pOp2)
boolean	isCoveredByNullifiedBlocks(SMGEdgeHasValue pEdge)
boolean	isCoveredByNullifiedBlocks(SMGObject pObject, int pOffset, CType pType)
boolean	isGlobalObject(SMGObject pObject)
boolean	isHeapObject(SMGObject pObject)
boolean	isIdenticalTo(ReadableSMG pOther)
boolean	isObjectValid(SMGObject pRegion)
boolean	isPointer(java.lang.Integer pValue)
boolean	isUnequal(int pV1, int pV2)
SMGValues.SMGSymbolicValue	readValue(SMGObject pObject, int pOffset, CType pType)

Method Detail

getObjects

java.util.Set<SMGObject> getObjects()

getGlobalObjects

java.util.Map<java.lang.String,SMGRegion> getGlobalObjects()

getHeapObjects

java.util.Set<SMGObject> getHeapObjects()

getObjectForVisibleVariable

SMGRegion getObjectForVisibleVariable(java.lang.String pVariable)

getStackFrames

java.util.ArrayDeque<CLangStackFrame> getStackFrames()

getNullObject

SMGObject getNullObject()

isHeapObject

boolean isHeapObject(SMGObject pObject)

isGlobalObject

boolean isGlobalObject(SMGObject pObject)

getStackReturnObject

SMGRegion getStackReturnObject(int pUp)

getObjectPointedBy

SMGObject getObjectPointedBy(java.lang.Integer pValue)

isObjectValid

boolean isObjectValid(SMGObject pRegion)

getNullBytesForObject

java.util.BitSet getNullBytesForObject(SMGObject pObject)

getValues

java.util.Set<java.lang.Integer> getValues()

containsValue

boolean containsValue(java.lang.Integer pValue)

getNullValue

int getNullValue()

isUnequal

boolean isUnequal(int pV1,
                  int pV2)

readValue

SMGValues.SMGSymbolicValue readValue(SMGObject pObject,
                                     int pOffset,
                                     CType pType)

getPointer

SMGEdgePointsTo getPointer(java.lang.Integer pValue)

getPTEdges

java.lang.Iterable<SMGEdgePointsTo> getPTEdges()

isPointer

boolean isPointer(java.lang.Integer pValue)

getAddress

java.lang.Integer getAddress(SMGObject pMemory,
                             java.lang.Integer pOffset)

getHVEdges

java.lang.Iterable<SMGEdgeHasValue> getHVEdges()

getHVEdges

java.lang.Iterable<SMGEdgeHasValue> getHVEdges(SMGEdgeHasValueFilter pFilter)

getUniqueHV

SMGEdgeHasValue getUniqueHV(SMGEdgeHasValueFilter pFilter,
                            boolean pStrict)

isCoveredByNullifiedBlocks

boolean isCoveredByNullifiedBlocks(SMGObject pObject,
                                   int pOffset,
                                   CType pType)

isCoveredByNullifiedBlocks

boolean isCoveredByNullifiedBlocks(SMGEdgeHasValue pEdge)

hasMemoryLeaks

boolean hasMemoryLeaks()

getNeqsForValue

java.lang.Iterable<java.lang.Integer> getNeqsForValue(java.lang.Integer pValue)

haveNeqRelation

boolean haveNeqRelation(java.lang.Integer pOp1,
                        java.lang.Integer pOp2)

getFunctionName

java.lang.String getFunctionName(SMGRegion pObj)

getExplicit

SMGValues.SMGExplicitValue getExplicit(SMGValues.SMGKnownSymValue pValue)

hasLocalVariable

boolean hasLocalVariable(java.lang.String pVarName)

isIdenticalTo

boolean isIdenticalTo(ReadableSMG pOther)