Interface | Description |
---|---|
ReadableSMG | |
SMGValues.SMGExplicitValue | |
SMGValues.SMGSymbolicValue | |
WritableSMG |
Class | Description |
---|---|
CLangSMGConsistencyVerifier | |
CLangStackFrame |
Represents a C language stack frame
|
SMGEdgeHasValue | |
SMGEdgeHasValueFilter | |
SMGEdgePointsTo | |
SMGFactory | |
SMGPlotter | |
SMGValueFactory | |
SMGValues | |
SMGValues.SMGKnownExpValue | |
SMGValues.SMGKnownSymValue |