A C D E F G H I J M N O P R S T U V W X Z

A

accept(SMGObjectVisitor) - Method in class cz.afri.smg.objects.DummyAbstraction

accept(SMGObjectVisitor) - Method in class cz.afri.smg.objects.sll.SMGSingleLinkedList

accept(SMGObjectVisitor) - Method in class cz.afri.smg.objects.SMGObject

accept(SMGObjectVisitor) - Method in class cz.afri.smg.objects.SMGRegion

accept(SMGObjectVisitor) - Method in class cz.afri.smg.objects.tree.SimpleBinaryTree

add(SMGValues.SMGExplicitValue) - Method in interface cz.afri.smg.graphs.SMGValues.SMGExplicitValue

add(SMGValues.SMGExplicitValue) - Method in class cz.afri.smg.graphs.SMGValues.SMGKnownExpValue

addGlobalVariable(CType, String) - Method in interface cz.afri.smg.graphs.WritableSMG

Adds a new global variable region to the SMG.

addHasValueEdge(SMGEdgeHasValue) - Method in interface cz.afri.smg.graphs.WritableSMG

Adds a new has-value edge to the SMG

addHeapObject(SMGObject) - Method in interface cz.afri.smg.graphs.WritableSMG

Adds a new heap object to the SMG.

addLength(int) - Method in class cz.afri.smg.objects.sll.SMGSingleLinkedList

addLocalVariable(CType, String) - Method in interface cz.afri.smg.graphs.WritableSMG

Adds a new local variable to the top stack frame of the SMG

addNeqRelation(Integer, Integer) - Method in interface cz.afri.smg.graphs.WritableSMG

Adds an explicit non-equality relation between two values

addPointsToEdge(SMGEdgePointsTo) - Method in interface cz.afri.smg.graphs.WritableSMG

Adds a new points-to edge to the SMG

addStackFrame(CFunctionDeclaration) - Method in interface cz.afri.smg.graphs.WritableSMG

Adds a new stack frame to the SMG.

addStackVariable(String, SMGRegion) - Method in class cz.afri.smg.graphs.CLangStackFrame

Adds a SMG object pObj to a stack frame, representing variable pVariableName Throws IllegalArgumentException when some object is already present with the name pVariableName

addValue(Integer) - Method in interface cz.afri.smg.graphs.WritableSMG

Adds a symbolic value to the SMG

and(SMGValues.SMGExplicitValue) - Method in interface cz.afri.smg.graphs.SMGValues.SMGExplicitValue

and(SMGValues.SMGExplicitValue) - Method in class cz.afri.smg.graphs.SMGValues.SMGKnownExpValue

asPredicate() - Method in class cz.afri.smg.graphs.SMGEdgeHasValueFilter

C

CFunctionDeclaration - Class in cz.afri.smg.types

CFunctionDeclaration(CFunctionType, String, ImmutableList<CParameterDeclaration>) - Constructor for class cz.afri.smg.types.CFunctionDeclaration

CFunctionType - Class in cz.afri.smg.types

CIdExpression - Class in cz.afri.smg.types

CIdExpression(String) - Constructor for class cz.afri.smg.types.CIdExpression

CLangSMGConsistencyVerifier - Class in cz.afri.smg.graphs

CLangStackFrame - Class in cz.afri.smg.graphs

Represents a C language stack frame

CLangStackFrame(CFunctionDeclaration) - Constructor for class cz.afri.smg.graphs.CLangStackFrame

Constructor.

CLangStackFrame(CLangStackFrame) - Constructor for class cz.afri.smg.graphs.CLangStackFrame

Copy constructor.

clearExplicit(SMGValues.SMGKnownSymValue) - Method in interface cz.afri.smg.graphs.WritableSMG

Clears an explicit value for a symbolic value

concretise(ReadableSMG) - Method in class cz.afri.smg.objects.SMGAbstractObject

containsValue(Integer) - Method in interface cz.afri.smg.graphs.ReadableSMG

containsVariable(String) - Method in class cz.afri.smg.graphs.CLangStackFrame

convertToValidDot(String) - Static method in class cz.afri.smg.graphs.SMGPlotter

CParameterDeclaration - Class in cz.afri.smg.types

CParameterDeclaration() - Constructor for class cz.afri.smg.types.CParameterDeclaration

CPointerType - Class in cz.afri.smg.types

CPointerType() - Constructor for class cz.afri.smg.types.CPointerType

createConcretisation() - Method in class cz.afri.smg.objects.DummyAbstraction

createConcretisation() - Method in class cz.afri.smg.objects.sll.SMGSingleLinkedList

createConcretisation() - Method in class cz.afri.smg.objects.SMGAbstractObject

createConcretisation() - Method in class cz.afri.smg.objects.tree.SimpleBinaryTree

createSimpleFunctionType(CType) - Static method in class cz.afri.smg.types.CFunctionType

createTypeWithLength(int) - Static method in class cz.afri.smg.types.CType

createWritableCopy(ReadableSMG) - Static method in class cz.afri.smg.graphs.SMGFactory

createWritableSMG() - Static method in class cz.afri.smg.graphs.SMGFactory

CType - Class in cz.afri.smg.types

CType(int) - Constructor for class cz.afri.smg.types.CType

CVoidType - Class in cz.afri.smg.types

CVoidType(int) - Constructor for class cz.afri.smg.types.CVoidType

cz.afri.smg - package cz.afri.smg

cz.afri.smg.graphs - package cz.afri.smg.graphs

cz.afri.smg.join - package cz.afri.smg.join

cz.afri.smg.objects - package cz.afri.smg.objects

cz.afri.smg.objects.sll - package cz.afri.smg.objects.sll

cz.afri.smg.objects.tree - package cz.afri.smg.objects.tree

cz.afri.smg.types - package cz.afri.smg.types

D

debuggingPlot(ReadableSMG, String) - Static method in class cz.afri.smg.graphs.SMGPlotter

divide(SMGValues.SMGExplicitValue) - Method in interface cz.afri.smg.graphs.SMGValues.SMGExplicitValue

divide(SMGValues.SMGExplicitValue) - Method in class cz.afri.smg.graphs.SMGValues.SMGKnownExpValue

dropStackFrame() - Method in interface cz.afri.smg.graphs.WritableSMG

Removes a top stack frame from the SMG.

DummyAbstraction - Class in cz.afri.smg.objects

DummyAbstraction(SMGObject) - Constructor for class cz.afri.smg.objects.DummyAbstraction

E

equals(Object) - Method in class cz.afri.smg.graphs.SMGEdgeHasValue

equals(Object) - Method in class cz.afri.smg.graphs.SMGEdgePointsTo

equals(Object) - Method in class cz.afri.smg.graphs.SMGValues.SMGKnownExpValue

equals(Object) - Method in class cz.afri.smg.graphs.SMGValues.SMGKnownSymValue

equals(Object) - Method in class cz.afri.smg.types.CType

execute(ReadableSMG) - Method in interface cz.afri.smg.SMGAbstractionCandidate

execute() - Method in class cz.afri.smg.SMGAbstractionManager

execute(ReadableSMG) - Method in interface cz.afri.smg.SMGConcretisation

F

FALSE - Static variable in class cz.afri.smg.graphs.SMGValues.SMGKnownSymValue

filterAtOffset(Integer) - Method in class cz.afri.smg.graphs.SMGEdgeHasValueFilter

filterByObject(SMGObject) - Method in class cz.afri.smg.graphs.SMGEdgeHasValueFilter

filterByType(CType) - Method in class cz.afri.smg.graphs.SMGEdgeHasValueFilter

filterHavingValue(Integer) - Method in class cz.afri.smg.graphs.SMGEdgeHasValueFilter

filterNotHavingValue(Integer) - Method in class cz.afri.smg.graphs.SMGEdgeHasValueFilter

filterSet(Set<SMGEdgeHasValue>) - Method in class cz.afri.smg.graphs.SMGEdgeHasValueFilter

G

getAddress(SMGObject, Integer) - Method in interface cz.afri.smg.graphs.ReadableSMG

getAllObjects() - Method in class cz.afri.smg.graphs.CLangStackFrame

getDepth() - Method in class cz.afri.smg.objects.tree.SimpleBinaryTree

getExplicit(SMGValues.SMGKnownSymValue) - Method in interface cz.afri.smg.graphs.ReadableSMG

getFunctionDeclaration() - Method in class cz.afri.smg.graphs.CLangStackFrame

getFunctionName(SMGRegion) - Method in interface cz.afri.smg.graphs.ReadableSMG

getGlobalObjects() - Method in interface cz.afri.smg.graphs.ReadableSMG

getHeapObjects() - Method in interface cz.afri.smg.graphs.ReadableSMG

getHVEdges() - Method in interface cz.afri.smg.graphs.ReadableSMG

getHVEdges(SMGEdgeHasValueFilter) - Method in interface cz.afri.smg.graphs.ReadableSMG

getIntType() - Static method in class cz.afri.smg.types.CType

getJointSMG() - Method in class cz.afri.smg.join.SMGJoin

getLabel() - Method in class cz.afri.smg.objects.SMGObject

getLength() - Method in class cz.afri.smg.objects.sll.SMGSingleLinkedList

getName() - Method in class cz.afri.smg.types.CFunctionDeclaration

getName() - Method in class cz.afri.smg.types.CIdExpression

getNeqsForValue(Integer) - Method in interface cz.afri.smg.graphs.ReadableSMG

getNewAbstractObject() - Method in class cz.afri.smg.join.SMGJoinSubSMGsForAbstraction

getNewValue() - Static method in class cz.afri.smg.graphs.SMGValueFactory

getNonSharedObjectsFromSMG1() - Method in class cz.afri.smg.join.SMGJoinSubSMGsForAbstraction

getNonSharedObjectsFromSMG2() - Method in class cz.afri.smg.join.SMGJoinSubSMGsForAbstraction

getNonSharedValuesFromSMG1() - Method in class cz.afri.smg.join.SMGJoinSubSMGsForAbstraction

getNonSharedValuesFromSMG2() - Method in class cz.afri.smg.join.SMGJoinSubSMGsForAbstraction

getNullBytesForObject(SMGObject) - Method in interface cz.afri.smg.graphs.ReadableSMG

getNullObject() - Method in interface cz.afri.smg.graphs.ReadableSMG

getNullObject() - Static method in class cz.afri.smg.objects.SMGObject

getNullValue() - Method in interface cz.afri.smg.graphs.ReadableSMG

getObjectForVisibleVariable(String) - Method in interface cz.afri.smg.graphs.ReadableSMG

getObjectPointedBy(Integer) - Method in interface cz.afri.smg.graphs.ReadableSMG

getObjects() - Method in interface cz.afri.smg.graphs.ReadableSMG

getOffset() - Method in class cz.afri.smg.graphs.SMGEdgeHasValue

getOffset() - Method in class cz.afri.smg.graphs.SMGEdgePointsTo

getOffset() - Method in class cz.afri.smg.objects.sll.SMGSingleLinkedList

getParams() - Method in class cz.afri.smg.types.CFunctionDeclaration

getPointer(Integer) - Method in interface cz.afri.smg.graphs.ReadableSMG

getPointerType() - Static method in class cz.afri.smg.types.CType

getPTEdges() - Method in interface cz.afri.smg.graphs.ReadableSMG

getResultSMG() - Method in class cz.afri.smg.join.SMGJoinSubSMGsForAbstraction

getReturnObject() - Method in class cz.afri.smg.graphs.CLangStackFrame

getReturnType() - Method in class cz.afri.smg.types.CFunctionType

getScore() - Method in interface cz.afri.smg.SMGAbstractionCandidate

getSize() - Method in class cz.afri.smg.objects.SMGObject

getSize() - Method in class cz.afri.smg.types.CType

getSizeInBytes() - Method in class cz.afri.smg.graphs.SMGEdgeHasValue

getStackFrames() - Method in interface cz.afri.smg.graphs.ReadableSMG

getStackReturnObject(int) - Method in interface cz.afri.smg.graphs.ReadableSMG

getStatus() - Method in class cz.afri.smg.join.SMGJoin

getStatus() - Method in class cz.afri.smg.join.SMGJoinSubSMGsForAbstraction

getType() - Method in class cz.afri.smg.graphs.SMGEdgeHasValue

getType() - Method in class cz.afri.smg.types.CFunctionDeclaration

getUniqueHV(SMGEdgeHasValueFilter, boolean) - Method in interface cz.afri.smg.graphs.ReadableSMG

getValues() - Method in interface cz.afri.smg.graphs.ReadableSMG

getVariable(String) - Method in class cz.afri.smg.graphs.CLangStackFrame

Getter for obtaining an object corresponding to a variable name Throws NoSuchElementException when passed a name not present

getVariables() - Method in class cz.afri.smg.graphs.CLangStackFrame

getVoidPointer() - Static method in class cz.afri.smg.types.CPointerType

H

hashCode() - Method in class cz.afri.smg.graphs.SMGEdgeHasValue

hashCode() - Method in class cz.afri.smg.graphs.SMGEdgePointsTo

hashCode() - Method in class cz.afri.smg.graphs.SMGValues.SMGKnownExpValue

hashCode() - Method in class cz.afri.smg.graphs.SMGValues.SMGKnownSymValue

hashCode() - Method in class cz.afri.smg.types.CType

hasLocalVariable(String) - Method in interface cz.afri.smg.graphs.ReadableSMG

hasMemoryLeaks() - Method in interface cz.afri.smg.graphs.ReadableSMG

haveNeqRelation(Integer, Integer) - Method in interface cz.afri.smg.graphs.ReadableSMG

holdsFor(SMGEdgeHasValue) - Method in class cz.afri.smg.graphs.SMGEdgeHasValueFilter

I

isAbstract() - Method in class cz.afri.smg.objects.SMGAbstractObject

isAbstract() - Method in class cz.afri.smg.objects.SMGObject

isAbstract() - Method in class cz.afri.smg.objects.SMGRegion

isCompatibleField(SMGEdgeHasValue) - Method in class cz.afri.smg.graphs.SMGEdgeHasValue

isCompatibleFieldOnSameObject(SMGEdgeHasValue) - Method in class cz.afri.smg.graphs.SMGEdgeHasValue

isConsistentWith(SMGEdge) - Method in class cz.afri.smg.graphs.SMGEdgeHasValue

isConsistentWith(SMGEdge) - Method in class cz.afri.smg.graphs.SMGEdgePointsTo

isCoveredByNullifiedBlocks(SMGObject, int, CType) - Method in interface cz.afri.smg.graphs.ReadableSMG

isCoveredByNullifiedBlocks(SMGEdgeHasValue) - Method in interface cz.afri.smg.graphs.ReadableSMG

isDefined() - Method in class cz.afri.smg.join.SMGJoin

isDefined() - Method in class cz.afri.smg.join.SMGJoinSubSMGsForAbstraction

isGlobalObject(SMGObject) - Method in interface cz.afri.smg.graphs.ReadableSMG

isHeapObject(SMGObject) - Method in interface cz.afri.smg.graphs.ReadableSMG

isIdenticalTo(ReadableSMG) - Method in interface cz.afri.smg.graphs.ReadableSMG

isMoreGeneral(SMGObject) - Method in class cz.afri.smg.objects.DummyAbstraction

isMoreGeneral(SMGObject) - Method in class cz.afri.smg.objects.sll.SMGSingleLinkedList

isMoreGeneral(SMGObject) - Method in class cz.afri.smg.objects.SMGObject

isMoreGeneral(SMGObject) - Method in class cz.afri.smg.objects.SMGRegion

isMoreGeneral(SMGObject) - Method in class cz.afri.smg.objects.tree.SimpleBinaryTree

isObjectValid(SMGObject) - Method in interface cz.afri.smg.graphs.ReadableSMG

isPointer(Integer) - Method in interface cz.afri.smg.graphs.ReadableSMG

isUnequal(int, int) - Method in interface cz.afri.smg.graphs.ReadableSMG

J

join(SMGObject) - Method in class cz.afri.smg.objects.DummyAbstraction

join(SMGObject) - Method in class cz.afri.smg.objects.sll.SMGSingleLinkedList

join(SMGObject) - Method in class cz.afri.smg.objects.SMGObject

join(SMGObject) - Method in class cz.afri.smg.objects.SMGRegion

join(SMGObject) - Method in class cz.afri.smg.objects.tree.SimpleBinaryTree

M

matchGenericShape(SMGAbstractObject) - Method in class cz.afri.smg.objects.DummyAbstraction

matchGenericShape(SMGAbstractObject) - Method in class cz.afri.smg.objects.sll.SMGSingleLinkedList

matchGenericShape(SMGAbstractObject) - Method in class cz.afri.smg.objects.SMGAbstractObject

matchGenericShape(SMGAbstractObject) - Method in class cz.afri.smg.objects.tree.SimpleBinaryTree

matchSpecificShape(SMGAbstractObject) - Method in class cz.afri.smg.objects.DummyAbstraction

matchSpecificShape(SMGAbstractObject) - Method in class cz.afri.smg.objects.sll.SMGSingleLinkedList

matchSpecificShape(SMGAbstractObject) - Method in class cz.afri.smg.objects.SMGAbstractObject

matchSpecificShape(SMGAbstractObject) - Method in class cz.afri.smg.objects.tree.SimpleBinaryTree

mergeValues(int, int) - Method in interface cz.afri.smg.graphs.WritableSMG

Merges two values (equivalence relation between two values)

multiply(SMGValues.SMGExplicitValue) - Method in interface cz.afri.smg.graphs.SMGValues.SMGExplicitValue

multiply(SMGValues.SMGExplicitValue) - Method in class cz.afri.smg.graphs.SMGValues.SMGKnownExpValue

N

negate() - Method in interface cz.afri.smg.graphs.SMGValues.SMGExplicitValue

negate() - Method in class cz.afri.smg.graphs.SMGValues.SMGKnownExpValue

notNull() - Method in class cz.afri.smg.objects.SMGObject

O

objectFilter(SMGObject) - Static method in class cz.afri.smg.graphs.SMGEdgeHasValueFilter

ONE - Static variable in class cz.afri.smg.graphs.SMGValues.SMGKnownExpValue

ONE - Static variable in class cz.afri.smg.graphs.SMGValues.SMGKnownSymValue

or(SMGValues.SMGExplicitValue) - Method in interface cz.afri.smg.graphs.SMGValues.SMGExplicitValue

or(SMGValues.SMGExplicitValue) - Method in class cz.afri.smg.graphs.SMGValues.SMGKnownExpValue

overlapsWith(SMGEdgeHasValue) - Method in class cz.afri.smg.graphs.SMGEdgeHasValue

overlapsWith(int, int) - Method in class cz.afri.smg.graphs.SMGEdgeHasValue

P

performChecks(boolean) - Static method in class cz.afri.smg.join.SMGJoin

propertiesEqual(SMGRegion) - Method in class cz.afri.smg.objects.SMGRegion

pruneUnreachable() - Method in interface cz.afri.smg.graphs.WritableSMG

Walks the whole SMG and removes unreachable elements (objects, values, edges) and invalid regions.

putExplicit(SMGValues.SMGKnownSymValue, SMGValues.SMGKnownExpValue) - Method in interface cz.afri.smg.graphs.WritableSMG

Sets an explicit value for a symbolic value

R

ReadableSMG - Interface in cz.afri.smg.graphs

readValue(SMGObject, int, CType) - Method in interface cz.afri.smg.graphs.ReadableSMG

removeHasValueEdge(SMGEdgeHasValue) - Method in interface cz.afri.smg.graphs.WritableSMG

Removes a has-value from the SMG

removeHeapObject(SMGObject) - Method in interface cz.afri.smg.graphs.WritableSMG

Removes a given object from the SMG.

removePointsToEdge(Integer) - Method in interface cz.afri.smg.graphs.WritableSMG

Removes a points-to edge from the SMG.

removeValue(Integer) - Method in interface cz.afri.smg.graphs.WritableSMG

Removes a symbolic value from the SMG.

replaceHVSet(Set<SMGEdgeHasValue>) - Method in interface cz.afri.smg.graphs.WritableSMG

Removes all has-value edges from the SMG and adds a new set of has-value edges.

S

setMemoryLeak() - Method in interface cz.afri.smg.graphs.WritableSMG

Sets the memory leak property of the SMG.

setValidity(SMGRegion, boolean) - Method in interface cz.afri.smg.graphs.WritableSMG

Sets validity of a region.

shiftLeft(SMGValues.SMGExplicitValue) - Method in interface cz.afri.smg.graphs.SMGValues.SMGExplicitValue

shiftLeft(SMGValues.SMGExplicitValue) - Method in class cz.afri.smg.graphs.SMGValues.SMGKnownExpValue

SimpleBinaryTree - Class in cz.afri.smg.objects.tree

SimpleBinaryTree(SMGRegion, int, int, int) - Constructor for class cz.afri.smg.objects.tree.SimpleBinaryTree

SMGAbstractionCandidate - Interface in cz.afri.smg

SMGAbstractionFinder - Interface in cz.afri.smg

SMGAbstractionManager - Class in cz.afri.smg

SMGAbstractionManager(ReadableSMG) - Constructor for class cz.afri.smg.SMGAbstractionManager

SMGAbstractObject - Class in cz.afri.smg.objects

SMGAbstractObject(int, String) - Constructor for class cz.afri.smg.objects.SMGAbstractObject

SMGAbstractObject(SMGObject) - Constructor for class cz.afri.smg.objects.SMGAbstractObject

smgAsDot(ReadableSMG, String, String) - Method in class cz.afri.smg.graphs.SMGPlotter

SMGConcretisation - Interface in cz.afri.smg

SMGEdgeHasValue - Class in cz.afri.smg.graphs

SMGEdgeHasValue(CType, int, SMGObject, int) - Constructor for class cz.afri.smg.graphs.SMGEdgeHasValue

SMGEdgeHasValue(int, int, SMGObject, int) - Constructor for class cz.afri.smg.graphs.SMGEdgeHasValue

SMGEdgeHasValueFilter - Class in cz.afri.smg.graphs

SMGEdgeHasValueFilter() - Constructor for class cz.afri.smg.graphs.SMGEdgeHasValueFilter

SMGEdgePointsTo - Class in cz.afri.smg.graphs

SMGEdgePointsTo(int, SMGObject, int) - Constructor for class cz.afri.smg.graphs.SMGEdgePointsTo

SMGFactory - Class in cz.afri.smg.graphs

SMGJoin - Class in cz.afri.smg.join

SMGJoin(ReadableSMG, ReadableSMG) - Constructor for class cz.afri.smg.join.SMGJoin

SMGJoinStatus - Enum in cz.afri.smg.join

SMGJoinSubSMGsForAbstraction - Class in cz.afri.smg.join

SMGJoinSubSMGsForAbstraction(ReadableSMG, SMGObject, SMGObject) - Constructor for class cz.afri.smg.join.SMGJoinSubSMGsForAbstraction

SMGKnownSymValue(BigInteger) - Constructor for class cz.afri.smg.graphs.SMGValues.SMGKnownSymValue

SMGObject - Class in cz.afri.smg.objects

SMGObject(int, String) - Constructor for class cz.afri.smg.objects.SMGObject

SMGObject(SMGObject) - Constructor for class cz.afri.smg.objects.SMGObject

SMGObjectVisitor - Class in cz.afri.smg.objects

SMGObjectVisitor() - Constructor for class cz.afri.smg.objects.SMGObjectVisitor

SMGPlotter - Class in cz.afri.smg.graphs

SMGPlotter() - Constructor for class cz.afri.smg.graphs.SMGPlotter

SMGRegion - Class in cz.afri.smg.objects

SMGRegion(int, String) - Constructor for class cz.afri.smg.objects.SMGRegion

SMGRegion(SMGRegion) - Constructor for class cz.afri.smg.objects.SMGRegion

SMGSingleLinkedList - Class in cz.afri.smg.objects.sll

SMGSingleLinkedList(SMGRegion, int, int) - Constructor for class cz.afri.smg.objects.sll.SMGSingleLinkedList

SMGSingleLinkedList(SMGSingleLinkedList) - Constructor for class cz.afri.smg.objects.sll.SMGSingleLinkedList

SMGSingleLinkedListFinder - Class in cz.afri.smg.objects.sll

SMGSingleLinkedListFinder() - Constructor for class cz.afri.smg.objects.sll.SMGSingleLinkedListFinder

SMGSingleLinkedListFinder(int) - Constructor for class cz.afri.smg.objects.sll.SMGSingleLinkedListFinder

SMGValueFactory - Class in cz.afri.smg.graphs

SMGValues - Class in cz.afri.smg.graphs

SMGValues() - Constructor for class cz.afri.smg.graphs.SMGValues

SMGValues.SMGExplicitValue - Interface in cz.afri.smg.graphs

SMGValues.SMGKnownExpValue - Class in cz.afri.smg.graphs

SMGValues.SMGKnownSymValue - Class in cz.afri.smg.graphs

SMGValues.SMGSymbolicValue - Interface in cz.afri.smg.graphs

subtract(SMGValues.SMGExplicitValue) - Method in interface cz.afri.smg.graphs.SMGValues.SMGExplicitValue

subtract(SMGValues.SMGExplicitValue) - Method in class cz.afri.smg.graphs.SMGValues.SMGKnownExpValue

T

toString() - Method in class cz.afri.smg.graphs.CLangStackFrame

toString() - Method in class cz.afri.smg.graphs.SMGEdgeHasValue

toString() - Method in class cz.afri.smg.graphs.SMGEdgePointsTo

toString() - Method in class cz.afri.smg.objects.sll.SMGSingleLinkedList

toString() - Method in class cz.afri.smg.objects.SMGRegion

toString() - Method in class cz.afri.smg.types.CFunctionDeclaration

toString() - Method in class cz.afri.smg.types.CFunctionType

toString() - Method in class cz.afri.smg.types.CType

traverse(ReadableSMG) - Method in class cz.afri.smg.objects.sll.SMGSingleLinkedListFinder

traverse(ReadableSMG) - Method in interface cz.afri.smg.SMGAbstractionFinder

TRUE - Static variable in class cz.afri.smg.graphs.SMGValues.SMGKnownSymValue

U

unknownType() - Static method in class cz.afri.smg.types.CType

updateStatus(SMGJoinStatus, SMGJoinStatus) - Static method in enum cz.afri.smg.join.SMGJoinStatus

V

valueOf(int) - Static method in class cz.afri.smg.graphs.SMGValues.SMGKnownExpValue

valueOf(long) - Static method in class cz.afri.smg.graphs.SMGValues.SMGKnownExpValue

valueOf(BigInteger) - Static method in class cz.afri.smg.graphs.SMGValues.SMGKnownExpValue

valueOf(int) - Static method in class cz.afri.smg.graphs.SMGValues.SMGKnownSymValue

valueOf(long) - Static method in class cz.afri.smg.graphs.SMGValues.SMGKnownSymValue

valueOf(BigInteger) - Static method in class cz.afri.smg.graphs.SMGValues.SMGKnownSymValue

valueOf(String) - Static method in enum cz.afri.smg.join.SMGJoinStatus

Returns the enum constant of this type with the specified name.

values() - Static method in enum cz.afri.smg.join.SMGJoinStatus

Returns an array containing the constants of this enum type, in the order they are declared.

verifyCLangSMG(ReadableSMG) - Static method in class cz.afri.smg.graphs.CLangSMGConsistencyVerifier

Verify all the consistency properties related to CLangSMG

visit(SMGObject) - Method in class cz.afri.smg.objects.SMGObjectVisitor

visit(SMGRegion) - Method in class cz.afri.smg.objects.SMGObjectVisitor

visit(SMGSingleLinkedList) - Method in class cz.afri.smg.objects.SMGObjectVisitor

visit(SimpleBinaryTree) - Method in class cz.afri.smg.objects.SMGObjectVisitor

W

WritableSMG - Interface in cz.afri.smg.graphs

X

xor(SMGValues.SMGExplicitValue) - Method in interface cz.afri.smg.graphs.SMGValues.SMGExplicitValue

xor(SMGValues.SMGExplicitValue) - Method in class cz.afri.smg.graphs.SMGValues.SMGKnownExpValue

Z

ZERO - Static variable in class cz.afri.smg.graphs.SMGValues.SMGKnownExpValue

ZERO - Static variable in class cz.afri.smg.graphs.SMGValues.SMGKnownSymValue

A C D E F G H I J M N O P R S T U V W X Z