| 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 |