Tool for generating control flow in Java [closed]

Question

I need a tool for generating control flow in java, but not a visual draw, something that I can work with like with path conditions or so. Anyone ?

Eratosthenes

Err, "control flow"? "path conditions"? Care to elaborate? – Alodee

Sorry, I didn´t see your comments. I think I´ve elaborated in my comment of the first answer. Thank you all – Eratosthenes

Answer 1

To future record, what I´ve found that best suits to my needs is Soot.

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

Eratosthenes

Answer 2

The ASM library can do that, at the JVM-bytecode level. See Method Analysis and Control flow analyses in http://download.forge.objectweb.org/asm/asm4-guide.pdf (page 121).

Homebody

Thank you! I think ASM is the type of thing I need. Do you know what is the usual code representation of the graph? Is just like a tree of basic blocks, or it has some information about the conditions? For example in an if/else we 1 condition and 2 basic blocks. The condition is present in the graph ? – Eratosthenes

Yes, you will be able to see the conditions (compare, lower-than tests, test). Look at the PDF and the site, there is example code in it. – Homebody

@arnaud576875 the link you share does not open, this is the updated link i guess: download.forge.objectweb.org/asm/asm4-guide.pdf – Witenagemot

This is a very vague answer. – Cordell

Answer 3

Atlas is an Eclipse plugin that enables program analysis. It has a querable graph database that includes the control flow graph (as well as data flow and other relationships).

Pepillo

Answer 4

Maybe this is what you were looking for http://www.jboss.org/jbpm

Fief