Semantics of "0#1 5#3 5#2 8#4"? So few documents for Joeq IR...

[Zell]

Hello, this must be a quite naive question, but I really would like to
know the meaning of
"0#1 5#3 5#2 8#4" part of the JOEQ IR for HelloWorld (cf. jchord
manual ) Is that a kind of CFG or what? Thanks.

Btw, I have found few documents about Joeq IR... The link
http://suif.stanford.edu/~courses/cs243/joeq/
worked a couple of days ago, but now closed...



------------------From jchord manual's
example-------------------------------

*** Class: test.HelloWorld
Method: main:([Ljava/lang/String;)V...@test.HelloWorld
0#1
5#3
5#2
8#4
Control flow graph for main:([Ljava/lang/String;)V...@test.HelloWorld:
BB0 (ENTRY) (in: <none>, out: BB2)
BB2 (in: BB0 (ENTRY), out: BB1 (EXIT))
1: GETSTATIC_A T1, .out
3: MOVE_A T2, AConst: "Hello World!"
2: INVOKEVIRTUAL_V println:(Ljava/lang/String;)V...@java.io.PrintStream,
(T1, T2)
4: RETURN_V
....
------------------------------------------------------

[Zell]

For those like me who have been interested in the answer:

I accidentally find it. Each a#b of the Quad representation tells
simply the relationship between the program points of the analyses
bytecode and its transformed quads. Btw, I am a bit surprised that
this relationship seems to be a 1-1 mapping.

On Jan 11, 2:21 pm, Zell <zell...@orange.fr> wrote:
> Hello, this must be a quite naive question, but I really would like to
> know the meaning of
> "0#1 5#3 5#2 8#4" part of the JOEQ IR for HelloWorld (cf. jchord
> manual )  Is that a kind of CFG or what? Thanks.
>

> Btw, I have found few documents about Joeq IR... The linkhttp://suif.stanford.edu/~courses/cs243/joeq/