JVM Bytecode tools

Soot

A frightenly comprehensive framework for the analysis of Java Bytecode. Soot has four intermediate representations of bytecode of various levels of abstraction, has extensive flow graph analysis, and can output in Jasmine format.

:: Main Soot site

​http://www.sable.mcgill.ca/soot/

:: A Survivors guide to Soot.

​http://www.brics.dk/SootGuide/

BCEL

​http://bcel.sourceforge.net/downloads/BCEL.jar

BCEL verifier

java -cp bcel.jar \
   org.apache.bcel.verifier.Verifier <CLASSFILE-TO-BE-VERIFIED>

​http://www.jresearchsoft.com:9091/nexus/content/repositories/thirdparty/org/apache/bcel/bcel/5.3-beta-694866/bcel-5.3-beta-694866.jar

java -cp bcel-5.3-beta-694866.jar \
                   org.apache.bcel.verifier.GraphicalVerifier \
                   <CLASSFILE-TO-BE-VERIFIED>

jvm-verifier

​Kersten's Verifier for Java Byte Codes

can

​http://classfileanalyzer.javaseiten.de/

After building classfileanalyzer.jar, classes can be decompiled into Jasmin assembler format ("*.j") via

java -jar ~/work/classfileanalyzer/classfileanalyzer.jar -file 144c_1.class 

jasmin-mode

Jasmine is the defacto assembler format for JVM bytecode.

An Emacs mode ​jasmin.el exists for visiting these files.

Some funkiness in the highlighting can be fixed in the attachment:jasmin-line-numbers.diff​.

Online JVM reference

​http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.doc.html::

JVM specification.

​http://www.daimi.au.dk/dOvs/jvmspec/ref-Java.html::

Annotation of JVM instructions from ​J. Meyer and T. Downing, __Java Virtual Machine__, O'Reilly Associates, 1997. Some errors [unverified], but often more understandable than the JVM specification as it comes with short examples.

JustIce

​http://bcel.sourceforge.net/justice/justice.html

A command line tool that produces diagnostics about incorrect bytecode. Now folded as part of BCEL.