| Package | Description |
|---|---|
| boomerang.guided |
| Modifier and Type | Method and Description |
|---|---|
Set<Specification.SootMethodWithSelector> |
Specification.getMethodAndQueries() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
SimpleSpecificationGuidedManager.isInOnList(Specification.SootMethodWithSelector methodSelector,
Statement stmt,
Val fact,
Specification.QueryDirection direction) |
Copyright © 2024. All rights reserved.