Yes. And I want to get reachable statements which are located in reachable methods from the entry point also. > I am not quite sure what you mean by "get all statements from java > sources according to data flow". Do you mean all reachable statements > from an entry point, but in a Java AST instead of in Jimple?