| Package | Description |
|---|---|
| com.ibm.wala.shrikeBT.analysis |
| Modifier and Type | Class and Description |
|---|---|
class |
Verifier
This class typechecks intermediate code.
|
| Modifier and Type | Method and Description |
|---|---|
static Analyzer |
Analyzer.createAnalyzer(MethodData info) |
Copyright © 2019. All rights reserved.