Java program has hardware independency because it is executed by the interpreter called Java Virtual Machine(JVM). However the execution through the interpreter degrades execution performance. To improve the poor performance, Java bytecode translation scheme is usually employed: compile time translation and runtime translation, usually called Just-In-Time Compilation(JIT). The former converts a Java program into an executable program, but the latter does the only needed code. Compile time translation gives more opportunities to generate the optimized object code at the cost of mobil code property of Java. Runtime translation has been widely used but it causes the loss of performance because it must convert the bytecode very fast. Thesis presents an analysis framework for the Java bytecode based on the Monotone Dataflow System(MDS) and JVM for the experimental purpose. Using it, a fast analysis tool can be easily implemented for the optimized code generation. To make use of this framework, the analyzed data should have MDS properties. To show this framework is practical, constant propagation, a typical example of the MDS, has been implemented.
