protected virtual void BuildUpHardNodesHierarchy(IEnumerable <ClassHierarchyNode> hardNodes) { V_0 = new Queue <ClassHierarchyNode>(hardNodes); V_1 = new HashSet <ClassHierarchyNode>(); while (V_0.get_Count() > 0) { V_2 = V_0.Dequeue(); dummyVar0 = V_1.Add(V_2); dummyVar1 = this.resultingGraph.Add(V_2); V_3 = V_2.get_NodeType().Resolve(); V_4 = null; if (V_3 == null) { continue; } V_4 = V_3.get_BaseType(); if (V_4 != null) { V_5 = this.GetTypeNode(V_4); V_2.AddSupertype(V_5); if (!V_1.Contains(V_5)) { V_0.Enqueue(V_5); } } if (V_3.get_IsInterface()) { V_2.AddSupertype(this.GetTypeNode(this.typeSystem.get_Object())); } V_7 = V_2.get_NodeType().Resolve().get_Interfaces().GetEnumerator(); try { while (V_7.MoveNext()) { V_8 = V_7.get_Current(); V_9 = this.GetTypeNode(V_8); V_2.AddSupertype(V_9); if (V_1.Contains(V_9)) { continue; } V_0.Enqueue(V_9); } } finally { if (V_7 != null) { V_7.Dispose(); } } } this.AddObjectClassNodeIfMIssing(); return; }
private Dictionary <string, List <string> > GetModuleCollisionTypesData(ModuleDefinition module, ILanguage language) { V_0 = new Dictionary <string, List <string> >(language.get_IdentifierComparer()); V_1 = new Dictionary <string, string>(language.get_IdentifierComparer()); this.UpdateCollisionTypesDataWithTypes(V_0, V_1, module.get_Types()); V_2 = this.GetModuleDependsOnAnalysis(module); if (Mono.Cecil.AssemblyResolver.Extensions.IsReferenceAssembly(module)) { stackVariable16 = 1; } else { stackVariable16 = 0; } V_3 = stackVariable16; V_4 = V_2.get_Keys().GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); V_6 = module.get_AssemblyResolver().Resolve(V_5, "", ModuleDefinitionExtensions.GetModuleArchitecture(module), V_3, true); if (V_6 == null) { this.UpdateCollisionTypesDataWithTypes(V_0, V_1, V_2.get_Item(V_5)); } else { V_7 = V_6.get_Modules().GetEnumerator(); try { while (V_7.MoveNext()) { V_8 = V_7.get_Current(); this.UpdateCollisionTypesDataWithTypes(V_0, V_1, V_8.get_Types()); } } finally { V_7.Dispose(); } } } } finally { ((IDisposable)V_4).Dispose(); } return(V_0); }
private void EliminateViaDoWhile(IfStatement gotoStatement, Statement labeledStatement) { V_0 = new List <BreakStatement>(); V_1 = new List <ContinueStatement>(); V_2 = this.GetOuterBlock(labeledStatement); V_3 = V_2.get_Statements().IndexOf(labeledStatement); V_4 = V_2.get_Statements().IndexOf(gotoStatement); V_5 = this.CollectStatements(V_3, V_4, V_2); if (this.ShouldCheck(gotoStatement)) { stackVariable127 = new ContinueAndBreakFinder(); stackVariable127.Visit(V_5); V_0 = stackVariable127.get_Breaks(); V_1 = stackVariable127.get_Continues(); } V_7 = V_0.GetEnumerator(); try { while (V_7.MoveNext()) { V_8 = V_7.get_Current(); stackVariable29 = this.GetOuterBlock(V_8); V_9 = stackVariable29.get_Statements().IndexOf(V_8); this.usedBreakVariable = true; V_10 = new ExpressionStatement(new BinaryExpression(26, new VariableReferenceExpression(this.breakVariable, null), this.GetLiteralExpression(true), this.typeSystem, null, false)); stackVariable29.AddStatementAt(V_9, V_10); } } finally { if (V_7 != null) { V_7.Dispose(); } } V_11 = V_1.GetEnumerator(); try { while (V_11.MoveNext()) { V_12 = V_11.get_Current(); stackVariable60 = this.GetOuterBlock(V_12); V_13 = stackVariable60.get_Statements().IndexOf(V_12); this.usedContinueVariable = true; V_14 = new ExpressionStatement(new BinaryExpression(26, new VariableReferenceExpression(this.continueVariable, null), this.GetLiteralExpression(true), this.typeSystem, null, false)); stackVariable60.get_Statements().RemoveAt(V_13); stackVariable60.AddStatementAt(V_13, new BreakStatement(null)); stackVariable60.AddStatementAt(V_13, V_14); } } finally { if (V_11 != null) { V_11.Dispose(); } } V_6 = new DoWhileStatement(gotoStatement.get_Condition(), V_5); V_4 = V_2.get_Statements().IndexOf(gotoStatement); V_2.AddStatementAt(V_4, V_6); dummyVar0 = V_2.get_Statements().Remove(gotoStatement); if (V_0.get_Count() > 0) { this.AddBreakContinueConditional(V_4 + 1, V_2, new BreakStatement(null), this.breakVariable); } if (V_1.get_Count() > 0) { this.AddBreakContinueConditional(V_4 + 1, V_2, new ContinueStatement(null), this.continueVariable); } return; }
private void ManageIsEventOperations(HashSet <Statement> statementsToRemove) { V_0 = this.isEventIfStatements.GetEnumerator(); try { while (V_0.MoveNext()) { V_1 = V_0.get_Current(); V_2 = V_1.get_Key(); V_3 = V_1.get_Value(); if (V_2.get_Condition().get_CodeNodeType() != 23 || (V_2.get_Condition() as UnaryExpression).get_Operator() != 11 || (V_2.get_Condition() as UnaryExpression).get_Operand() != V_3) { if (V_2.get_Condition().get_CodeNodeType() != 23 || (V_2.get_Condition() as UnaryExpression).get_Operator() != UnaryOperator.Negate || (V_2.get_Condition() as UnaryExpression).get_Operand() != V_3) { throw new Exception("Invalid invocation of IsEvent operation."); } this.ReplaceIfWith(V_2, V_2.get_Else()); } else { V_4 = V_2.get_Then().get_Statements().get_Item(V_2.get_Then().get_Statements().get_Count() - 1); if (V_4.get_CodeNodeType() == 5 && ((ExpressionStatement)V_4).get_Expression().get_CodeNodeType() == 57) { V_5 = (BlockStatement)V_2.get_Parent(); V_6 = V_5.get_Statements().IndexOf(V_2) + 1; while (V_6 < V_5.get_Statements().get_Count()) { dummyVar0 = statementsToRemove.Add(V_5.get_Statements().get_Item(V_6)); V_6 = V_6 + 1; } } this.ReplaceIfWith(V_2, V_2.get_Then()); } V_7 = V_2.get_Then().get_Statements().GetEnumerator(); try { while (V_7.MoveNext()) { V_8 = V_7.get_Current(); dummyVar1 = statementsToRemove.Remove(V_8); } } finally { if (V_7 != null) { V_7.Dispose(); } } if (V_2.get_Else() == null) { continue; } V_7 = V_2.get_Else().get_Statements().GetEnumerator(); try { while (V_7.MoveNext()) { V_9 = V_7.get_Current(); dummyVar2 = statementsToRemove.Remove(V_9); } } finally { if (V_7 != null) { V_7.Dispose(); } } } } finally { ((IDisposable)V_0).Dispose(); } return; }
public static ICollection<TypeReference> GetAssemblyAttributesUsedTypes(AssemblyDefinition assembly) { V_0 = new List<TypeReference>(); V_1 = new List<ICustomAttribute>(); V_1.Add(AttributesUtilities.GetAssemblyVersionAttribute(assembly)); V_3 = assembly.get_CustomAttributes().GetEnumerator(); try { while (V_3.MoveNext()) { V_4 = V_3.get_Current(); V_4.Resolve(); V_1.Add(V_4); } } finally { V_3.Dispose(); } if (assembly.get_HasSecurityDeclarations()) { V_5 = assembly.get_SecurityDeclarations().GetEnumerator(); try { while (V_5.MoveNext()) { V_6 = V_5.get_Current(); if (!V_6.get_HasSecurityAttributes()) { continue; } V_7 = V_6.get_SecurityAttributes().GetEnumerator(); try { while (V_7.MoveNext()) { V_8 = V_7.get_Current(); V_1.Add(V_8); } } finally { V_7.Dispose(); } } } finally { V_5.Dispose(); } } if (assembly.get_MainModule().get_HasExportedTypes()) { V_9 = assembly.get_MainModule().get_ExportedTypes().GetEnumerator(); try { while (V_9.MoveNext()) { V_10 = V_9.get_Current(); if (V_10.get_Scope() as ModuleReference != null) { continue; } V_1.Add(AttributesUtilities.GetExportedTypeAttribute(V_10, assembly.get_MainModule())); } } finally { V_9.Dispose(); } } V_11 = V_1.GetEnumerator(); try { while (V_11.MoveNext()) { V_12 = V_11.get_Current(); if (V_12 as CustomAttribute == null) { if (V_12 as SecurityAttribute == null) { continue; } V_13 = AttributesUtilities.GetSecurityAttributeUsedTypes(V_12 as SecurityAttribute).GetEnumerator(); try { while (V_13.MoveNext()) { V_15 = V_13.get_Current(); V_0.Add(V_15); } } finally { if (V_13 != null) { V_13.Dispose(); } } } else { V_13 = AttributesUtilities.GetCustomAttributeUsedTypes(V_12 as CustomAttribute).GetEnumerator(); try { while (V_13.MoveNext()) { V_14 = V_13.get_Current(); V_0.Add(V_14); } } finally { if (V_13 != null) { V_13.Dispose(); } } } } } finally { ((IDisposable)V_11).Dispose(); } return V_0; }
internal void RemoveBlockAt(int index) { V_0 = this.get_Blocks()[index]; V_1 = V_0.get_Last().get_Next(); if (V_0.get_Predecessors().get_Count() > 0) { throw new Exception("The block to be removed cannot have predecessors"); } V_2 = this.get_Blocks(); this.set_Blocks(new InstructionBlock[(int)this.get_Blocks().Length - 1]); V_3 = 0; while (V_3 < (int)this.get_Blocks().Length) { if (V_3 >= index) { stackVariable29 = 1; } else { stackVariable29 = 0; } V_4 = stackVariable29; this.get_Blocks()[V_3] = V_2[V_3 + V_4]; this.get_Blocks()[V_3].set_Index(V_3); dummyVar0 = this.get_Blocks()[V_3].get_Predecessors().Remove(V_0); if ((object)this.get_Blocks()[V_3].get_First().get_Previous() == (object)V_0.get_Last()) { this.get_Blocks()[V_3].get_First().set_Previous(V_0.get_First().get_Previous()); } if ((object)this.get_Blocks()[V_3].get_Last().get_Next() == (object)V_0.get_First()) { this.get_Blocks()[V_3].get_Last().set_Next(V_0.get_Last().get_Next()); } V_3 = V_3 + 1; } dummyVar1 = this.get_InstructionToBlockMapping().Remove(V_0.get_First().get_Offset()); dummyVar2 = this.get_SwitchBlocksInformation().Remove(V_0); V_0.set_Successors(new InstructionBlock[0]); V_5 = V_0.GetEnumerator(); try { while (V_5.MoveNext()) { V_6 = V_5.get_Current(); dummyVar3 = this.get_OffsetToInstruction().Remove(V_6.get_Offset()); } } finally { if (V_5 != null) { V_5.Dispose(); } } V_7 = this.get_MethodBody().get_ExceptionHandlers().GetEnumerator(); try { while (V_7.MoveNext()) { V_8 = V_7.get_Current(); if ((object)V_8.get_TryStart() == (object)V_0.get_First()) { V_8.set_TryStart(V_1); } if ((object)V_8.get_TryEnd() == (object)V_0.get_First()) { V_8.set_TryEnd(V_1); } if ((object)V_8.get_HandlerStart() == (object)V_0.get_First()) { V_8.set_HandlerStart(V_1); } if ((object)V_8.get_HandlerEnd() == (object)V_0.get_First()) { V_8.set_HandlerEnd(V_1); } if ((object)V_8.get_FilterStart() == (object)V_0.get_First()) { V_8.set_FilterStart(V_1); } if ((object)V_8.get_FilterEnd() != (object)V_0.get_First()) { continue; } V_8.set_FilterEnd(V_1); } } finally { V_7.Dispose(); } V_0.set_Index(-1); return; }
private bool TryProcessConditionalDisposeHandler(YieldExceptionHandlerInfo yieldExceptionHandler, CFGBlockLogicalConstruct startBlock) { if (this.finallyBlocks.get_Count() > 0) { return(false); } if (startBlock as PartialCFGBlockLogicalConstruct == null || startBlock.get_CFGSuccessors().get_Count() != 1) { return(false); } if (startBlock.get_LogicalConstructExpressions().get_Count() == 0) { return(false); } V_0 = startBlock.get_LogicalConstructExpressions().get_Item(0) as BinaryExpression; if (V_0 == null || !V_0.get_IsAssignmentExpression() || V_0.get_Left().get_CodeNodeType() != 30 || (V_0.get_Left() as FieldReferenceExpression).get_Field().Resolve() != this.stateFieldRef || V_0.get_Right().get_CodeNodeType() != 22 || (Int32)(V_0.get_Right() as LiteralExpression).get_Value() != yieldExceptionHandler.get_NextState()) { return(false); } if (startBlock.get_LogicalConstructExpressions().get_Count() != 2 || yieldExceptionHandler.get_HandlerType() != 2) { if (startBlock.get_LogicalConstructExpressions().get_Count() != 1 || yieldExceptionHandler.get_HandlerType() != 1) { return(false); } } else { V_6 = startBlock.get_LogicalConstructExpressions().get_Item(1) as BinaryExpression; if (V_6 == null || !V_6.get_IsAssignmentExpression() || V_6.get_Left().get_CodeNodeType() != 30 || (object)(V_6.get_Left() as FieldReferenceExpression).get_Field() != (object)yieldExceptionHandler.get_DisposableField() || V_6.get_Right().get_CodeNodeType() != 33 || (V_6.get_Right() as SafeCastExpression).get_Expression().get_CodeNodeType() != 30 || (object)((V_6.get_Right() as SafeCastExpression).get_Expression() as FieldReferenceExpression).get_Field() != (object)yieldExceptionHandler.get_EnumeratorField()) { return(false); } } V_2 = startBlock.get_CFGSuccessors().GetEnumerator(); V_7 = V_2; try { dummyVar0 = V_2.MoveNext(); V_1 = V_2.get_Current(); } finally { if (V_7 != null) { V_7.Dispose(); } } if (V_1.get_LogicalConstructExpressions().get_Count() != 1) { return(false); } V_3 = V_1.get_LogicalConstructExpressions().get_Item(0) as BinaryExpression; if (V_3 == null || V_3.get_Operator() != 9 || V_3.get_Left().get_CodeNodeType() != 30 || (object)(V_3.get_Left() as FieldReferenceExpression).get_Field() != (object)yieldExceptionHandler.get_DisposableField() || V_3.get_Right().get_CodeNodeType() != 22 || (V_3.get_Right() as LiteralExpression).get_Value() != null) { return(false); } V_4 = null; V_8 = V_1.get_CFGSuccessors().GetEnumerator(); try { while (V_8.MoveNext()) { V_9 = V_8.get_Current() as CFGBlockLogicalConstruct; if (V_9 == null || V_9.get_CFGPredecessors().get_Count() != 1) { continue; } V_4 = V_9; goto Label0; } } finally { ((IDisposable)V_8).Dispose(); } Label0: if (V_4 == null || V_4.get_LogicalConstructExpressions().get_Count() != 1) { return(false); } V_5 = V_4.get_LogicalConstructExpressions().get_Item(0) as MethodInvocationExpression; if (V_5 == null || !V_5.get_VirtualCall() || V_5.get_MethodExpression().get_Target().get_CodeNodeType() != 30 || (object)(V_5.get_MethodExpression().get_Target() as FieldReferenceExpression).get_Field() != (object)yieldExceptionHandler.get_DisposableField() || String.op_Inequality(V_5.get_MethodExpression().get_Method().get_Name(), "Dispose")) { return(false); } this.finallyEntryBlock = startBlock; dummyVar1 = this.finallyBlocks.Add(startBlock); this.conditionBlock = V_1; dummyVar2 = this.finallyBlocks.Add(V_1); this.disposeCallBlock = V_4; dummyVar3 = this.finallyBlocks.Add(V_4); return(true); }
private Dictionary <AssemblyNameReference, List <TypeReference> > GetModuleDependsOnAnalysis(ModuleDefinition module) { stackVariable1 = module.get_Types(); V_0 = new HashSet <TypeReference>(); V_3 = stackVariable1.GetEnumerator(); try { while (V_3.MoveNext()) { V_4 = V_3.get_Current(); if (V_0.Contains(V_4)) { continue; } dummyVar0 = V_0.Add(V_4); } } finally { V_3.Dispose(); } V_5 = module.GetTypeReferences().GetEnumerator(); try { while (V_5.MoveNext()) { V_6 = V_5.get_Current(); if (V_0.Contains(V_6)) { continue; } dummyVar1 = V_0.Add(V_6); } } finally { if (V_5 != null) { V_5.Dispose(); } } V_2 = Utilities.GetAssembliesDependingOnToUsedTypesMap(module, Utilities.GetExpandedTypeDependanceList(V_0)); V_7 = module.get_AssemblyReferences().GetEnumerator(); try { while (V_7.MoveNext()) { V_8 = V_7.get_Current(); if (V_2.ContainsKey(V_8)) { continue; } V_2.Add(V_8, new List <TypeReference>()); } } finally { V_7.Dispose(); } return(V_2); }