CIL: Add CIL translation into IR.

Author: MathiasVP

binary/.gitignore

@@ -0,0 +1,2 @@
+**/bin/*
+**/obj/*

binary/ql/lib/semmle/code/binary/ast/instructions.qll

@@ -4,7 +4,7 @@ private import Headers
 private import Sections
 private import codeql.util.Unit
 
-private class TElement = @x86_instruction or @operand;
+private class TElement = @x86_instruction or @operand or @il_instruction or @method;
 
 class Element extends TElement {
   final string toString() { none() }
@@ -33,6 +33,10 @@ private class IlInstructionElement extends Element {
   final string toString() { instruction_string(this, result) }
 }
 
+private class CilMethodElement extends Element {
+  final string toString() { methods(this, result, _, _) }
+}
+
 private module Pre {
   module PreInput implements Internal::InstructionInputSig {
     class BaseX86Instruction extends Internal::X86Instruction {
@@ -240,3 +244,5 @@ class ProgramEntryInstruction extends X86Instruction {
 class ExportedEntryInstruction extends X86Instruction {
   ExportedEntryInstruction() { this.getIndex() = getOffsetOfAnExportedFunction().toBigInt() }
 }
+
+import internal.CilInstructions