|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.objectweb.asm.tree.analysis.Analyzer
public class Analyzer
A semantic bytecode analyzer. This class does not fully check that JSR and RET instructions are valid.
| Field Summary |
|---|
| Constructor Summary | |
|---|---|
Analyzer(Interpreter interpreter)
Constructs a new Analyzer. |
|
| Method Summary | |
|---|---|
Frame[] |
analyze(String owner,
MethodNode m)
Analyzes the given method. |
Frame[] |
getFrames()
Returns the symbolic stack frame for each instruction of the last recently analyzed method. |
List |
getHandlers(int insn)
Returns the exception handlers for the given instruction. |
protected void |
init(String owner,
MethodNode m)
Initializes this analyzer. |
protected void |
newControlFlowEdge(int insn,
int successor)
Creates a control flow graph edge. |
protected boolean |
newControlFlowExceptionEdge(int insn,
int successor)
Creates a control flow graph edge corresponding to an exception handler. |
protected Frame |
newFrame(Frame src)
Constructs a new frame that is identical to the given frame. |
protected Frame |
newFrame(int nLocals,
int nStack)
Constructs a new frame with the given size. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public Analyzer(Interpreter interpreter)
Analyzer.
interpreter - the interpreter to be used to symbolically interpret
the bytecode instructions.| Method Detail |
|---|
public Frame[] analyze(String owner,
MethodNode m)
throws AnalyzerException
owner - the internal name of the class to which the method belongs.m - the method to be analyzed.
AnalyzerException - if a problem occurs during the analysis.public Frame[] getFrames()
public List getHandlers(int insn)
insn - the index of an instruction of the last recently analyzed
method.
TryCatchBlockNode objects.
protected void init(String owner,
MethodNode m)
throws AnalyzerException
owner - the internal name of the class to which the method belongs.m - the method to be analyzed.
AnalyzerException - if a problem occurs.
protected Frame newFrame(int nLocals,
int nStack)
nLocals - the maximum number of local variables of the frame.nStack - the maximum stack size of the frame.
protected Frame newFrame(Frame src)
src - a frame.
protected void newControlFlowEdge(int insn,
int successor)
analyze method during its visit of the method's code).
insn - an instruction index.successor - index of a successor instruction.
protected boolean newControlFlowExceptionEdge(int insn,
int successor)
analyze method during its visit
of the method's code).
insn - an instruction index.successor - index of a successor instruction.
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||