Binary: Add subtypes related to unconditional jumps.

Author: MathiasVP

binary/ql/lib/semmle/code/binary/ast/ir/internal/Instruction0/Instruction.qll

@@ -121,6 +121,12 @@ class CJumpInstruction extends Instruction {
   ConditionJumpTargetOperand getJumpTargetOperand() { result = this.getAnOperand() }
 }
 
+class JumpInstruction extends Instruction {
+  override Opcode::Jump opcode;
+
+  JumpTargetOperand getJumpTargetOperand() { result = this.getAnOperand() }
+}
+
 class RetInstruction extends Instruction {
   override Opcode::Ret opcode;
 }

binary/ql/lib/semmle/code/binary/ast/ir/internal/Instruction0/Operand.qll

@@ -64,4 +64,8 @@ class ConditionJumpTargetOperand extends Operand {
   override Tags::CondJumpTargetTag operandTag;
 }
 
+class JumpTargetOperand extends Operand {
+  override Tags::JumpTargetTag operandTag;
+}
+
 class OperandTag = Tags::OperandTag;

binary/ql/lib/semmle/code/binary/ast/ir/internal/InstructionSig.qll

@@ -40,6 +40,8 @@ signature module InstructionSig {
 
   class ConditionJumpTargetOperand extends Operand;
 
+  class JumpTargetOperand extends Operand;
+
   class LeftOperand extends Operand;
 
   class RightOperand extends Operand;
@@ -142,6 +144,10 @@ signature module InstructionSig {
     ConditionJumpTargetOperand getJumpTargetOperand();
   }
 
+  class JumpInstruction extends Instruction {
+    JumpTargetOperand getJumpTargetOperand();
+  }
+
   class CopyInstruction extends Instruction {
     UnaryOperand getOperand();
   }

binary/ql/lib/semmle/code/binary/ast/ir/internal/TransformInstruction/TransformInstruction.qll

@@ -381,6 +381,12 @@ module Transform<InstructionSig Input> {
       ConditionJumpTargetOperand getJumpTargetOperand() { result = this.getAnOperand() }
     }
 
+    class JumpInstruction extends Instruction {
+      JumpInstruction() { this.getOpcode() instanceof Opcode::Jump }
+
+      JumpTargetOperand getJumpTargetOperand() { result = this.getAnOperand() }
+    }
+
     class BinaryInstruction extends Instruction {
       BinaryInstruction() { this.getOpcode() instanceof Opcode::BinaryOpcode }
 
@@ -650,6 +656,10 @@ module Transform<InstructionSig Input> {
       ConditionJumpTargetOperand() { this.getOperandTag() instanceof Tags::CondJumpTargetTag }
     }
 
+    class JumpTargetOperand extends Operand {
+      JumpTargetOperand() { this.getOperandTag() instanceof Tags::JumpTargetTag }
+    }
+
     class LeftOperand extends Operand {
       LeftOperand() { this.getOperandTag() instanceof Tags::LeftTag }
     }