org.argus.jawa.alir.dataFlowAnalysis
Theoretically the algorithm should converge if it's implemented correctly, but just in case.