import org.opalj.collection.immutable._; import org.opalj.br._ ; import org.opalj.br.analyses._; import org.opalj.br.instructions._
val p = Project(org.opalj.bytecode.JRELibraryFolder)

// In the JDK 8u141, we find ~3500 instances of (If, Goto) sequences
var ifGotoSeqs : List[String] = Nil
p.allMethodsWithBody.map{m => 
    m.body.get.collectPair { 
       case (i : SimpleConditionalBranchInstruction[_], g:UnconditionalBranchInstruction ) => 
           { ifGotoSeqs ::= m.toJava(s"(Size:${m.body.get.codeSize}) - Seq: "+(i,g)); 1 } 
    }.size
}.sum
ifGotoSeqs.sorted.foreach(println)

// Searches for Simple|UnconditionalBranchInstructions which jump to another goto instruction
var gotoChains : List[String] = Nil
p.allMethodsWithBody.map{m => 
    val code = m.body.get
    code.collectWithIndex { 
       case (pc,i : SimpleConditionalBranchInstruction[_]) if code.instructions(i.branchoffset + pc).isGotoInstruction  => 
           { gotoChains ::= m.toJava(s"(Size:${m.body.get.codeSize}) - goto $pc to goto ${pc+i.branchoffset}"); 1 } 
       case (pc,i : SimpleConditionalBranchInstruction[_]) if code.instructions(i.branchoffset + pc).isGotoInstruction  => 
           { gotoChains ::= m.toJava(s"(Size:${m.body.get.codeSize}) - simple conditional branch instruction $pc to goto ${pc+i.branchoffset}"); 1 } 
    }.size
}.sum
gotoChains.sorted.foreach(println)