protected virtual void Inspect(InspectionPass pass, Instruction instruction)
{
pass.InspectionVisitor.OnInstruction(pass, instruction);
ApplyPushBehaviour(pass, instruction);
ApplyPopBehaviour(pass, instruction);
ApplyFlowControl(pass, instruction);
}
protected virtual void ApplyPushBehaviour(InspectionPass pass, Instruction instruction)
{
InspectedStack stack = pass.Stack;
switch (instruction.OpCode.StackBehaviourPush)
{
case StackBehaviour.Push0:
break;
case StackBehaviour.Push1:
stack.Push(GetStackEntryForInstruction(pass, instruction));
break;
case StackBehaviour.Push1_push1:
// stack.Push(null);
// stack.Push(null);
// break;
throw new ArgumentException();
case StackBehaviour.Pushi:
stack.Push(GetStackEntryForInstruction(pass, instruction));
break;
case StackBehaviour.Pushi8:
stack.Push(GetStackEntryForInstruction(pass, instruction));
break;
case StackBehaviour.Pushr4:
stack.Push(GetStackEntryForInstruction(pass, instruction));
break;
case StackBehaviour.Pushr8:
stack.Push(GetStackEntryForInstruction(pass, instruction));
break;
case StackBehaviour.Pushref:
stack.Push(GetStackEntryForInstruction(pass, instruction));
break;
case StackBehaviour.Varpush:
MethodReference operand = instruction.Operand as MethodReference;
if (operand != null)
{
if (!IsVoid(operand.DeclaringType.Module, operand.ReturnType.ReturnType))
{
stack.Push(GetStackEntryForInstruction(pass, instruction));
}
}
break;
default:
throw new ArgumentException();
}
}
public virtual IEnumerable <InspectionPass> Inspect(MethodDefinition method, IInspectionVisitor visitor)
{
List <InspectionPass> passes = new List <InspectionPass>();
BranchDecider branchDecider = new BranchDecider();
do
{
InspectionPass pass = new InspectionPass(method, branchDecider, new InspectedStack(), visitor);
Inspect(pass, method.Body.Instructions[0]);
if (pass.Stack.Count > 0)
{
throw new ArgumentException("CodeInspector failed, non-empty stack: " + method + " has " + pass.Stack.Count);
}
passes.Add(pass);
}while (!branchDecider.IsDone);
return(passes);
}
protected virtual void ApplyFlowControl(InspectionPass pass, Instruction instruction)
{
switch (instruction.OpCode.FlowControl)
{
case FlowControl.Branch:
Inspect(pass, (Instruction)instruction.Operand);
break;
case FlowControl.Break:
break;
case FlowControl.Call:
Inspect(pass, instruction.Next);
break;
case FlowControl.Meta:
break;
case FlowControl.Cond_Branch:
Inspect(pass, pass.BranchDecider.ChooseBranchDestination(instruction));
break;
case FlowControl.Next:
Inspect(pass, instruction.Next);
break;
case FlowControl.Phi:
break;
case FlowControl.Return:
break;
case FlowControl.Throw:
pass.Stack.Clear();
break;
}
}
public void OnInstruction(InspectionPass pass, Instruction instruction)
{
}
public void OnInstruction(InspectionPass pass, Instruction instruction)
{
}
protected virtual void ApplyPopBehaviour(InspectionPass pass, Instruction instruction)
{
InspectedStack stack = pass.Stack;
switch (instruction.OpCode.StackBehaviourPop)
{
case StackBehaviour.Pop0:
break;
case StackBehaviour.Pop1:
stack.Pop();
break;
case StackBehaviour.Pop1_pop1:
stack.Pop();
stack.Pop();
break;
case StackBehaviour.Popi:
stack.Pop();
break;
case StackBehaviour.Popi_pop1:
stack.Pop();
stack.Pop();
break;
case StackBehaviour.Popi_popi:
stack.Pop();
stack.Pop();
break;
case StackBehaviour.Popi_popi8:
stack.Pop();
stack.Pop();
break;
case StackBehaviour.Popi_popi_popi:
stack.Pop();
stack.Pop();
stack.Pop();
break;
case StackBehaviour.Popi_popr4:
stack.Pop();
stack.Pop();
break;
case StackBehaviour.Popi_popr8:
stack.Pop();
stack.Pop();
break;
case StackBehaviour.Popref:
stack.Pop();
break;
case StackBehaviour.Popref_pop1:
stack.Pop();
stack.Pop();
break;
case StackBehaviour.Popref_popi:
stack.Pop();
stack.Pop();
break;
case StackBehaviour.Popref_popi_popi:
stack.Pop();
stack.Pop();
stack.Pop();
break;
case StackBehaviour.Popref_popi_popi8:
stack.Pop();
stack.Pop();
stack.Pop();
break;
case StackBehaviour.Popref_popi_popr4:
stack.Pop();
stack.Pop();
stack.Pop();
break;
case StackBehaviour.Popref_popi_popr8:
stack.Pop();
stack.Pop();
stack.Pop();
break;
case StackBehaviour.Popref_popi_popref:
stack.Pop();
stack.Pop();
stack.Pop();
break;
case StackBehaviour.PopAll:
pass.Stack.Clear();
break;
case StackBehaviour.Varpop:
MethodReference operand = instruction.Operand as MethodReference;
if (operand != null)
{
for (int i = 0; i < operand.Parameters.Count; ++i)
{
stack.Pop();
}
if (instruction.OpCode != OpCodes.Newobj && operand.HasThis)
{
stack.Pop();
}
}
if (OpCodes.Ret == instruction.OpCode)
{
if (!IsVoid(pass.Method.DeclaringType.Module, pass.Method.ReturnType.ReturnType))
{
stack.Pop();
}
}
break;
default:
throw new ArgumentException();
}
}
protected virtual StackEntry GetStackEntryForInstruction(InspectionPass pass, Instruction instruction)
{
switch (instruction.OpCode.Code)
{
case Code.Nop:
break;
case Code.Break:
break;
case Code.Ldarg_0:
break;
case Code.Ldarg_1:
break;
case Code.Ldarg_2:
break;
case Code.Ldarg_3:
break;
case Code.Ldloc_0:
break;
case Code.Ldloc_1:
break;
case Code.Ldloc_2:
break;
case Code.Ldloc_3:
break;
case Code.Stloc_0:
break;
case Code.Stloc_1:
break;
case Code.Stloc_2:
break;
case Code.Stloc_3:
break;
case Code.Ldarg_S:
break;
case Code.Ldarga_S:
break;
case Code.Starg_S:
break;
case Code.Ldloc_S:
break;
case Code.Ldloca_S:
break;
case Code.Stloc_S:
break;
case Code.Ldnull:
break;
case Code.Ldc_I4_M1:
break;
case Code.Ldc_I4_0:
break;
case Code.Ldc_I4_1:
break;
case Code.Ldc_I4_2:
break;
case Code.Ldc_I4_3:
break;
case Code.Ldc_I4_4:
break;
case Code.Ldc_I4_5:
break;
case Code.Ldc_I4_6:
break;
case Code.Ldc_I4_7:
break;
case Code.Ldc_I4_8:
break;
case Code.Ldc_I4_S:
break;
case Code.Ldc_I4:
break;
case Code.Ldc_I8:
break;
case Code.Ldc_R4:
break;
case Code.Ldc_R8:
break;
case Code.Dup:
break;
case Code.Pop:
break;
case Code.Jmp:
break;
case Code.Call:
break;
case Code.Calli:
break;
case Code.Ret:
break;
case Code.Br_S:
break;
case Code.Brfalse_S:
break;
case Code.Brtrue_S:
break;
case Code.Beq_S:
break;
case Code.Bge_S:
break;
case Code.Bgt_S:
break;
case Code.Ble_S:
break;
case Code.Blt_S:
break;
case Code.Bne_Un_S:
break;
case Code.Bge_Un_S:
break;
case Code.Bgt_Un_S:
break;
case Code.Ble_Un_S:
break;
case Code.Blt_Un_S:
break;
case Code.Br:
break;
case Code.Brfalse:
break;
case Code.Brtrue:
break;
case Code.Beq:
break;
case Code.Bge:
break;
case Code.Bgt:
break;
case Code.Ble:
break;
case Code.Blt:
break;
case Code.Bne_Un:
break;
case Code.Bge_Un:
break;
case Code.Bgt_Un:
break;
case Code.Ble_Un:
break;
case Code.Blt_Un:
break;
case Code.Switch:
break;
case Code.Ldind_I1:
break;
case Code.Ldind_U1:
break;
case Code.Ldind_I2:
break;
case Code.Ldind_U2:
break;
case Code.Ldind_I4:
break;
case Code.Ldind_U4:
break;
case Code.Ldind_I8:
break;
case Code.Ldind_I:
break;
case Code.Ldind_R4:
break;
case Code.Ldind_R8:
break;
case Code.Ldind_Ref:
break;
case Code.Stind_Ref:
break;
case Code.Stind_I1:
break;
case Code.Stind_I2:
break;
case Code.Stind_I4:
break;
case Code.Stind_I8:
break;
case Code.Stind_R4:
break;
case Code.Stind_R8:
break;
case Code.Add:
break;
case Code.Sub:
break;
case Code.Mul:
break;
case Code.Div:
break;
case Code.Div_Un:
break;
case Code.Rem:
break;
case Code.Rem_Un:
break;
case Code.And:
break;
case Code.Or:
break;
case Code.Xor:
break;
case Code.Shl:
break;
case Code.Shr:
break;
case Code.Shr_Un:
break;
case Code.Neg:
break;
case Code.Not:
break;
case Code.Conv_I1:
break;
case Code.Conv_I2:
break;
case Code.Conv_I4:
break;
case Code.Conv_I8:
break;
case Code.Conv_R4:
break;
case Code.Conv_R8:
break;
case Code.Conv_U4:
break;
case Code.Conv_U8:
break;
case Code.Callvirt:
break;
case Code.Cpobj:
break;
case Code.Ldobj:
break;
case Code.Ldstr:
break;
case Code.Newobj:
break;
case Code.Castclass:
break;
case Code.Isinst:
break;
case Code.Conv_R_Un:
break;
case Code.Unbox:
break;
case Code.Throw:
break;
case Code.Ldfld:
break;
case Code.Ldflda:
break;
case Code.Stfld:
break;
case Code.Ldsfld:
break;
case Code.Ldsflda:
break;
case Code.Stsfld:
break;
case Code.Stobj:
break;
case Code.Conv_Ovf_I1_Un:
break;
case Code.Conv_Ovf_I2_Un:
break;
case Code.Conv_Ovf_I4_Un:
break;
case Code.Conv_Ovf_I8_Un:
break;
case Code.Conv_Ovf_U1_Un:
break;
case Code.Conv_Ovf_U2_Un:
break;
case Code.Conv_Ovf_U4_Un:
break;
case Code.Conv_Ovf_U8_Un:
break;
case Code.Conv_Ovf_I_Un:
break;
case Code.Conv_Ovf_U_Un:
break;
case Code.Box:
break;
case Code.Newarr:
break;
case Code.Ldlen:
break;
case Code.Ldelema:
break;
case Code.Ldelem_I1:
break;
case Code.Ldelem_U1:
break;
case Code.Ldelem_I2:
break;
case Code.Ldelem_U2:
break;
case Code.Ldelem_I4:
break;
case Code.Ldelem_U4:
break;
case Code.Ldelem_I8:
break;
case Code.Ldelem_I:
break;
case Code.Ldelem_R4:
break;
case Code.Ldelem_R8:
break;
case Code.Ldelem_Ref:
break;
case Code.Stelem_I:
break;
case Code.Stelem_I1:
break;
case Code.Stelem_I2:
break;
case Code.Stelem_I4:
break;
case Code.Stelem_I8:
break;
case Code.Stelem_R4:
break;
case Code.Stelem_R8:
break;
case Code.Stelem_Ref:
break;
case Code.Ldelem_Any:
break;
case Code.Stelem_Any:
break;
case Code.Unbox_Any:
break;
case Code.Conv_Ovf_I1:
break;
case Code.Conv_Ovf_U1:
break;
case Code.Conv_Ovf_I2:
break;
case Code.Conv_Ovf_U2:
break;
case Code.Conv_Ovf_I4:
break;
case Code.Conv_Ovf_U4:
break;
case Code.Conv_Ovf_I8:
break;
case Code.Conv_Ovf_U8:
break;
case Code.Refanyval:
break;
case Code.Ckfinite:
break;
case Code.Mkrefany:
break;
case Code.Ldtoken:
break;
case Code.Conv_U2:
break;
case Code.Conv_U1:
break;
case Code.Conv_I:
break;
case Code.Conv_Ovf_I:
break;
case Code.Conv_Ovf_U:
break;
case Code.Add_Ovf:
break;
case Code.Add_Ovf_Un:
break;
case Code.Mul_Ovf:
break;
case Code.Mul_Ovf_Un:
break;
case Code.Sub_Ovf:
break;
case Code.Sub_Ovf_Un:
break;
case Code.Endfinally:
break;
case Code.Leave:
break;
case Code.Leave_S:
break;
case Code.Stind_I:
break;
case Code.Conv_U:
break;
case Code.Arglist:
break;
case Code.Ceq:
break;
case Code.Cgt:
break;
case Code.Cgt_Un:
break;
case Code.Clt:
break;
case Code.Clt_Un:
break;
case Code.Ldftn:
break;
case Code.Ldvirtftn:
break;
case Code.Ldarg:
break;
case Code.Ldarga:
break;
case Code.Starg:
break;
case Code.Ldloc:
break;
case Code.Ldloca:
break;
case Code.Stloc:
break;
case Code.Localloc:
break;
case Code.Endfilter:
break;
case Code.Unaligned:
break;
case Code.Volatile:
break;
case Code.Tail:
break;
case Code.Initobj:
break;
case Code.Constrained:
break;
case Code.Cpblk:
break;
case Code.Initblk:
break;
case Code.No:
break;
case Code.Rethrow:
break;
case Code.Sizeof:
break;
case Code.Refanytype:
break;
case Code.Readonly:
break;
default:
throw new ArgumentException();
}
return(null);
}
