Java Branch Examples

Example #1

File: DUAAnalysis.java Project: pabloloyola/soot

 private boolean orderGuaranteed(CFGNode n1, Branch br2, boolean interproc) {
   return orderGuaranteed(
       Options.reachability()
           ? ReachabilityAnalysis.reachesFromTop(br2.getTgt(), n1, interproc)
           : true,
       n1,
       br2);
 }

Example #2

File: DUAAnalysis.java Project: pabloloyola/soot

 private boolean orderGuaranteed(boolean secondReachesFirst, CFGNode n1, Branch br2) {
   return orderGuaranteed(secondReachesFirst, n1, br2.getSrc())
       && orderGuaranteed(secondReachesFirst, n1, br2.getTgt());
 }