| Class and Description |
|---|
| ContextVar
The root class for representing context sensitive pointer/object in explicit form.
|
| SimpleInterval
The basic representation for an interval on the integer domain.
|
| Class and Description |
|---|
| CallsiteContextVar
A general interface for generating the traditional context sensitive variable representation.
|
| CgEdge
The internal call graph edge representation.
|
| ContextVar
The root class for representing context sensitive pointer/object in explicit form.
|
| IntervalContextVar
A particular class to encode contexts in interval manner.
|
| RectangleNode
The rectangle figure for encoding the many-to-many relation.
|
| SegmentNode
The segment figure for encoding the one-to-one relation.
|
| ShapeNode
It is the the abstract super type of geometric figures and the manager of all the generated sub-type figures.
|
| SimpleInterval
The basic representation for an interval on the integer domain.
|
| Class and Description |
|---|
| PlainConstraint
The geometric encoding based constraint descriptor.
|
| RectangleNode
The rectangle figure for encoding the many-to-many relation.
|
| SegmentNode
The segment figure for encoding the one-to-one relation.
|
| Class and Description |
|---|
| CgEdge
The internal call graph edge representation.
|
| PlainConstraint
The geometric encoding based constraint descriptor.
|
| RectangleNode
The rectangle figure for encoding the many-to-many relation.
|
| SegmentNode
The segment figure for encoding the one-to-one relation.
|
| Class and Description |
|---|
| PlainConstraint
The geometric encoding based constraint descriptor.
|
| RectangleNode
The rectangle figure for encoding the many-to-many relation.
|
| SegmentNode
The segment figure for encoding the one-to-one relation.
|
| Class and Description |
|---|
| PlainConstraint
The geometric encoding based constraint descriptor.
|
| RectangleNode
The rectangle figure for encoding the many-to-many relation.
|
| SegmentNode
The segment figure for encoding the one-to-one relation.
|
Copyright © 2020 Soot OSS. All rights reserved.