org.argus.amandroid.alir.pta.reachingFactsAnalysis.AndroidReachingFactsAnalysisBuilder
It returns the facts for each callee entry node and caller return node