org.argus.jawa.alir.dataFlowAnalysis
It returns the facts for each callee entry node and caller return node