kaiserkatze / cruiser Goto Github PK

Jex - A Tool for Analyzing Exception Flow in Java Programs

Efficient and Effective Handling of Exceptions in Java Points-To Analysis
An uncaught exception analysis for Java
Analyzing Exception Flow in Java^TM Programs

Opcode dcmpg and dcmpl requires their operands undergo value set conversion.
Please note that:

The floating-point types are float and double, which are conceptually associated
with the single-precision 32-bit and double-precision 64-bit format IEEE 754
values and operations as specified in IEEE Standard for Binary Floating-Point
Arithmetic, ANSI/IEEE Standard 754-1985 (IEEE, New York).

This should not be a problem because both Java and C/C++ applies IEEE-754 specification.

References:
[1] §2.8.3 Value Set Conversion
[2] §4.2.3. Floating-Point Types, Formats, and Values
[3] (Chinese) Intro about IEEE-754, IEEE-754R and IEEE-854

Given example

if (i > 5)
    check();
else
    note();

return 36;

javac will generates the following code:

0: iload_0
1: iconst_5
2: if_icmple         11
5: invokestatic     #2
8: goto                15
11: invokestatic   #3
14: pop
15: bipush           36
17: ireturn

Some opcodes requires u2 ( = unsigned short ) or u4 ( = unsigned int ) data type!
Meanwhile, wide opcode is also a troublemaker!

This note will remain open until feature-decompile branch is completed.