Package | Description |
---|---|
org.apache.bcel.verifier |
BCEL's verifier JustIce is there to help you dump correct Java class files created or modified with BCEL.
|
org.apache.bcel.verifier.statics |
Provides PassVerifier classes used internally by JustIce.
|
org.apache.bcel.verifier.structurals |
Provides a PassVerifier class mostly used internally by JustIce, yielding a control flow graph for public use as
a nice side effect.
|
Modifier and Type | Field and Description |
---|---|
static VerificationResult |
VerificationResult.VR_NOTYET
Canonical VerificationResult for not-yet-tried verifications.
|
static VerificationResult |
VerificationResult.VR_OK
Canonical VerificationResult for passed verifications.
|
Modifier and Type | Method and Description |
---|---|
abstract VerificationResult |
PassVerifier.do_verify()
Does the real verification work, uncached.
|
VerificationResult |
Verifier.doPass1()
Returns the VerificationResult for the given pass.
|
VerificationResult |
Verifier.doPass2()
Returns the VerificationResult for the given pass.
|
VerificationResult |
Verifier.doPass3a(int method_no)
Returns the VerificationResult for the given pass.
|
VerificationResult |
Verifier.doPass3b(int method_no)
Returns the VerificationResult for the given pass.
|
VerificationResult |
PassVerifier.verify()
This method runs a verification pass conforming to the
Java Virtual Machine Specification, 2nd edition, on a
class file.
|
Modifier and Type | Method and Description |
---|---|
VerificationResult |
Pass1Verifier.do_verify()
Pass-one verification basically means loading in a class file.
|
VerificationResult |
Pass2Verifier.do_verify()
Pass 2 is the pass where static properties of the
class file are checked without looking into "Code"
arrays of methods.
|
VerificationResult |
Pass3aVerifier.do_verify()
Pass 3a is the verification of static constraints of
JVM code (such as legal targets of branch instructions).
|
Modifier and Type | Method and Description |
---|---|
VerificationResult |
Pass3bVerifier.do_verify()
Pass 3b implements the data flow analysis as described in the Java Virtual
Machine Specification, Second Edition.
|
Copyright © 2004–2019 The Apache Software Foundation. All rights reserved.