| Package | Description |
|---|---|
| jasm.util.dfa |
A simple library for performing dataflow analysis.
|
| jasm.verifier |
Provides classes for verifying that a given class file is valid with respect to the JVM Specification (e.g.
|
| Modifier and Type | Method and Description |
|---|---|
abstract T |
ForwardFlowAnalysis.transfer(int index,
Bytecode.Cmp bytecode,
T store)
Generate an updated a abstract store by apply the abstract effect(s) of
a cmp bytecode to an incoming store.
|
| Modifier and Type | Method and Description |
|---|---|
jasm.verifier.TypeAnalysis.Store |
TypeAnalysis.transfer(int index,
Bytecode.Cmp code,
jasm.verifier.TypeAnalysis.Store store) |
Copyright © 2016. All rights reserved.