| 接口 | 说明 |
|---|---|
| IAbstractionPathBuilder |
Common interface for all path construction algorithms.
|
| IAbstractionPathBuilder.OnPathBuilderResultAvailable |
Callback interface that is triggered whenever a path builder has
computed a result value
|
| IPathBuilderFactory |
Common interface for all path builder factories
|
| 类 | 说明 |
|---|---|
| AbstractAbstractionPathBuilder |
Abstract base class for all abstraction path builders
|
| BatchPathBuilder |
Path builder that forwards all its requests to another path builder in
batches.
|
| ConcurrentAbstractionPathBuilder | |
| ContextInsensitivePathBuilder |
Class for reconstructing abstraction paths from sinks to source.
|
| ContextInsensitiveSourceFinder |
Class for reconstructing abstraction paths from sinks to source
|
| ContextSensitivePathBuilder |
Class for reconstructing abstraction paths from sinks to source.
|
| DefaultPathBuilderFactory |
Default factory class for abstraction path builders
|
| EmptyPathBuilder |
An empty implementation of
IAbstractionPathBuilder that always
returns the empty set. |
| RecursivePathBuilder |
Recursive algorithm for reconstructing abstraction paths from sink to source
|
Copyright © 2022 Fraunhofer SIT. All rights reserved.