Class | Description |
---|---|
MemorySymbolicExecutor |
MemorySymbolicExecutor implements a simple symbolic executor of memory access structures. |
MemorySymbolicRestrictor |
MemorySymbolicRestrictor produces a constraint for a given memory access. |
MemorySymbolicResult |
MemorySymbolicExecutor represents a result of symbolic execution. |