Tools for dataflow testing

I read alot about dataflow orientated testing. But is there any tool support for java? I it just not pratical to draw a flowchart of a long java programm, add the def, predicative-use and computational-use annotations and calculate everything on paper. Thank you.