| Package | Description |
|---|---|
| jasm.lang |
Provides core class for representing JVM class files, bytecodes, types and constants.
|
| 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 |
|---|---|
Bytecode.If |
Bytecode.If.fixLong() |
| Modifier and Type | Method and Description |
|---|---|
abstract T |
ForwardFlowAnalysis.transfer(int index,
boolean branch,
Bytecode.If bytecode,
T store)
Generate an updated a abstract store by apply the abstract effect(s) of a
given bytecode to an incoming store.
|
| Modifier and Type | Method and Description |
|---|---|
jasm.verifier.TypeAnalysis.Store |
TypeAnalysis.transfer(int index,
boolean branch,
Bytecode.If code,
jasm.verifier.TypeAnalysis.Store store) |
Copyright © 2016. All rights reserved.