General

• Home
• License
• Contribution Policy
• Downloads
• Bundles
• FAQ
• Sitemap

Community

• Get Involved
• Who we are
• Mailing Lists
• Bug Tracker
• Other Projects

Development

• Source Code
• Getting Started
• Project Roadmap
• Resolution Guideline
• Performance

Documentation

• API Reference
• Wiki
• DRLVM
• Class Library
• Build-test Framework

Foundation

• ASF
• Sponsorship
• Thanks

Verifier Details

Algorithm for Harmony Java5 Bytecode Verification
Description of the verification approach implemented in DRLVM. It also provides comparison to other possible verification algorithms.

Extension to the Harmony Verifier for stackmaptable calculation
Description of the extension to the Harmony Verifier for stackmaptable calculation, includes high level idea of the algorithm, interface and other technical details.

Verifier Directory Structure
Verifier directories and source files.

Back to top