org.argus.jawa.alir.pta.reachingFactsAnalysis.model
instead of doing operation inside callee procedure's real code, we do it manually and return the result.
instead of doing operation inside callee procedure's real code, we do it manually and return the result.
return true if the given callee procedure needs to be modeled
return true if the given callee procedure needs to be modeled