Apache Harmony is retired at the Apache Software Foundation since Nov 16, 2011.

The information on these pages may be out of date, or may refer to resources that have moved or have been made read-only.
For more information please refer to the Apache Attic

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