org.argus.jawa.alir.reachability
Get all reachable procedures of given procedure set.
Jawa global
Procedures to start the reachability analysis.
Set of reachable procedure resource uris from initial set