|
||||||||||
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 |