id: 1
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 277
end line: 490
size: 156 LOC
McCabe index: 25
number of parameters: 1

id: 2
unit: public static BoogieType GetBoogieTypeFromSolidityTypeName()
file: Sources/SolToBoogie/TransUtils.cs
start line: 282
end line: 437
size: 156 LOC
McCabe index: 111
number of parameters: 1

id: 3
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1456
end line: 1629
size: 152 LOC
McCabe index: 31
number of parameters: 1

id: 4
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2331
end line: 2492
size: 138 LOC
McCabe index: 26
number of parameters: 1

id: 5
unit: public void Generate()
file: Sources/SolToBoogie/RevertLogicGenerator.cs
start line: 271
end line: 439
size: 125 LOC
McCabe index: 25
number of parameters: 0

id: 6
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 3660
end line: 3788
size: 103 LOC
McCabe index: 12
number of parameters: 1

id: 7
unit: private void GenerateInitializationForMappingStateVar()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 687
end line: 800
size: 101 LOC
McCabe index: 18
number of parameters: 2

id: 8
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 3538
end line: 3645
size: 99 LOC
McCabe index: 29
number of parameters: 1

id: 9
unit: private void GenerateConstructorWithBaseCalls()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1085
end line: 1205
size: 97 LOC
McCabe index: 15
number of parameters: 2

id: 10
unit: public void PerformModSetAnalysis()
file: Sources/SolToBoogie/ModSetAnalysis.cs
start line: 23
end line: 126
size: 94 LOC
McCabe index: 22
number of parameters: 0

id: 11
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1969
end line: 2068
size: 88 LOC
McCabe index: 32
number of parameters: 1

id: 12
unit: private void GenerateDefaultConstructor()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 978
end line: 1082
size: 83 LOC
McCabe index: 14
number of parameters: 1

id: 13
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2199
end line: 2292
size: 83 LOC
McCabe index: 16
number of parameters: 1

id: 14
unit: private void generateRevertLogicForCmd()
file: Sources/SolToBoogie/RevertLogicGenerator.cs
start line: 137
end line: 226
size: 83 LOC
McCabe index: 20
number of parameters: 4

id: 15
unit: public static bool IsUintConst()
file: Sources/SolToBoogie/TransUtils.cs
start line: 125
end line: 212
size: 78 LOC
McCabe index: 9
number of parameters: 4

id: 16
unit: private void TranslateTypeCast()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 3378
end line: 3471
size: 76 LOC
McCabe index: 17
number of parameters: 3

id: 17
unit: public override bool Visit()
file: Sources/SolToBoogie/ModifierCollector.cs
start line: 26
end line: 119
size: 74 LOC
McCabe index: 12
number of parameters: 1

id: 18
unit: public static BoogieIfCmd GenerateChoiceBlock()
file: Sources/SolToBoogie/TransUtils.cs
start line: 781
end line: 864
size: 74 LOC
McCabe index: 18
number of parameters: 3

id: 19
unit: private void PrintCounterexampleHelper()
file: Sources/VeriSol/VeriSolExecuter.cs
start line: 287
end line: 366
size: 73 LOC
McCabe index: 15
number of parameters: 1

id: 20
unit: public int BatchExecute()
file: Sources/SolToBoogieTest/RegressionExecutor.cs
start line: 52
end line: 130
size: 72 LOC
McCabe index: 12
number of parameters: 0

id: 21
unit: private void InsertStatementBeforeImpl()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 263
end line: 330
size: 67 LOC
McCabe index: 18
number of parameters: 3

id: 22
unit: private BoogieExpr dupAndReplaceExpr()
file: Sources/SolToBoogie/RevertLogicGenerator.cs
start line: 53
end line: 130
size: 66 LOC
McCabe index: 12
number of parameters: 3

id: 23
unit: private BoogieImplementation CreateSendFail()
file: Sources/SolToBoogie/RevertLogicGenerator.cs
start line: 441
end line: 558
size: 65 LOC
McCabe index: 5
number of parameters: 0

id: 24
unit: private BoogieImplementation CreateSendSucess()
file: Sources/SolToBoogie/RevertLogicGenerator.cs
start line: 560
end line: 674
size: 62 LOC
McCabe index: 4
number of parameters: 0

id: 25
unit: private void PrintArguments()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 206
end line: 276
size: 60 LOC
McCabe index: 11
number of parameters: 3

id: 26
unit: private void GenerateInitializationForElementaryTypes()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 802
end line: 862
size: 59 LOC
McCabe index: 12
number of parameters: 2

id: 27
unit: private void TranslateDynamicDispatchCall()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 3232
end line: 3306
size: 59 LOC
McCabe index: 9
number of parameters: 5

id: 28
unit: private void InitializeNestedArrayMappingStateVar()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 864
end line: 936
size: 58 LOC
McCabe index: 3
number of parameters: 2

id: 29
unit: public static List CollectLocalVars()
file: Sources/SolToBoogie/TransUtils.cs
start line: 710
end line: 771
size: 58 LOC
McCabe index: 12
number of parameters: 2

id: 30
unit: private void TranslateUsingLibraryCall()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 3105
end line: 3179
size: 57 LOC
McCabe index: 10
number of parameters: 2

id: 31
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 183
end line: 237
size: 55 LOC
McCabe index: 13
number of parameters: 0

id: 32
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1648
end line: 1709
size: 55 LOC
McCabe index: 9
number of parameters: 1

id: 33
unit: public BoogieAST Translate()
file: Sources/SolToBoogie/BoogieTranslator.cs
start line: 17
end line: 108
size: 54 LOC
McCabe index: 4
number of parameters: 4

id: 34
unit: private void TranslateNewStatement()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2790
end line: 2865
size: 54 LOC
McCabe index: 4
number of parameters: 2

id: 35
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 506
end line: 568
size: 53 LOC
McCabe index: 8
number of parameters: 1

id: 36
unit: public static BoogieType InferExprTypeFromTypeString()
file: Sources/SolToBoogie/MapArrayHelper.cs
start line: 31
end line: 82
size: 52 LOC
McCabe index: 17
number of parameters: 1

id: 37
unit: private void TranslateExternalFunctionCall()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 3042
end line: 3103
size: 52 LOC
McCabe index: 7
number of parameters: 2

id: 38
unit: public void Generate()
file: Sources/SolToBoogie/FallbackGenerator.cs
start line: 25
end line: 86
size: 48 LOC
McCabe index: 5
number of parameters: 0

id: 39
unit: private BoogieStmtList GenerateBodyOfFallbackDispatch()
file: Sources/SolToBoogie/FallbackGenerator.cs
start line: 145
end line: 225
size: 48 LOC
McCabe index: 6
number of parameters: 2

id: 40
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 3483
end line: 3536
size: 48 LOC
McCabe index: 10
number of parameters: 1

id: 41
unit: private bool RunCorralForRefutation()
file: Sources/VeriSol/VeriSolExecuter.cs
start line: 138
end line: 197
size: 45 LOC
McCabe index: 5
number of parameters: 0

id: 42
unit: private void GenerateCorralHarnessForContract()
file: Sources/SolToBoogie/HarnessGenerator.cs
start line: 274
end line: 321
size: 44 LOC
McCabe index: 7
number of parameters: 1

id: 43
unit: public BatchExeResult Execute()
file: Sources/SolToBoogieTest/RegressionExecutor.cs
start line: 155
end line: 214
size: 42 LOC
McCabe index: 4
number of parameters: 3

id: 44
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1346
end line: 1396
size: 41 LOC
McCabe index: 6
number of parameters: 1

id: 45
unit: private void GenerateGlobalVariables()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 271
end line: 321
size: 40 LOC
McCabe index: 4
number of parameters: 0

id: 46
unit: public static Dictionary GenerateHoudiniVarMapping()
file: Sources/SolToBoogie/HoudiniHelper.cs
start line: 13
end line: 61
size: 40 LOC
McCabe index: 8
number of parameters: 2

id: 47
unit: public static string InferFunctionSignature()
file: Sources/SolToBoogie/TransUtils.cs
start line: 528
end line: 568
size: 40 LOC
McCabe index: 7
number of parameters: 2

id: 48
unit: private void ResolveFunctions()
file: Sources/SolToBoogie/FunctionEventResolver.cs
start line: 32
end line: 79
size: 39 LOC
McCabe index: 8
number of parameters: 0

id: 49
unit: private void TranslateTransferCallStmt()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2690
end line: 2737
size: 39 LOC
McCabe index: 6
number of parameters: 1

id: 50
unit: private void TranslateStructConstructor()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2867
end line: 2920
size: 39 LOC
McCabe index: 2
number of parameters: 2

id: 51
unit: private List computeLineBreaks()
file: Sources/SolToBoogie/SourceInfoCollector.cs
start line: 76
end line: 120
size: 39 LOC
McCabe index: 11
number of parameters: 1

id: 52
unit: public static string OpcodeToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1237
end line: 1274
size: 38 LOC
McCabe index: 16
number of parameters: 1

id: 53
unit: public static int Main()
file: Sources/VeriSol/Program.cs
start line: 19
end line: 59
size: 38 LOC
McCabe index: 2
number of parameters: 1

id: 54
unit: private void collectBoogieCmds()
file: Sources/SolToBoogie/ModSetAnalysis.cs
start line: 149
end line: 186
size: 37 LOC
McCabe index: 8
number of parameters: 2

id: 55
unit: private static string InferTypeFromTypeString()
file: Sources/SolToBoogie/TransUtils.cs
start line: 570
end line: 608
size: 37 LOC
McCabe index: 10
number of parameters: 1

id: 56
unit: private BoogieStmtList GenerateInitializationStmts()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 573
end line: 620
size: 36 LOC
McCabe index: 7
number of parameters: 1

id: 57
unit: private bool TextCompare()
file: Sources/SolidityAST/RegressionExecutor.cs
start line: 80
end line: 121
size: 36 LOC
McCabe index: 6
number of parameters: 2

id: 58
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 263
end line: 296
size: 34 LOC
McCabe index: 7
number of parameters: 0

id: 59
unit: private List ExtractSpecifications()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1838
end line: 1872
size: 34 LOC
McCabe index: 6
number of parameters: 3

id: 60
unit: private bool IsExternalFunctionCall()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2983
end line: 3022
size: 34 LOC
McCabe index: 9
number of parameters: 1

id: 61
unit: private void TranslateInternalFunctionCall()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 3189
end line: 3230
size: 34 LOC
McCabe index: 6
number of parameters: 2

id: 62
unit: private void ResolveStateVariables()
file: Sources/SolToBoogie/StateVariableResolver.cs
start line: 29
end line: 69
size: 34 LOC
McCabe index: 7
number of parameters: 0

id: 63
unit: private void GenerateStructConstructors()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 347
end line: 385
size: 33 LOC
McCabe index: 4
number of parameters: 2

id: 64
unit: private List GenerateConstructorCall()
file: Sources/SolToBoogie/HarnessGenerator.cs
start line: 148
end line: 183
size: 33 LOC
McCabe index: 5
number of parameters: 1

id: 65
unit: public TranslatorContext()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 115
end line: 147
size: 33 LOC
McCabe index: 1
number of parameters: 4

id: 66
unit: public override bool Visit()
file: Sources/SolidityCFG/CFGBuilder.cs
start line: 100
end line: 132
size: 33 LOC
McCabe index: 9
number of parameters: 1

id: 67
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 329
end line: 362
size: 32 LOC
McCabe index: 6
number of parameters: 0

id: 68
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 698
end line: 731
size: 32 LOC
McCabe index: 9
number of parameters: 0

id: 69
unit: private List GenerateVeriSolSumAxioms()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 589
end line: 626
size: 32 LOC
McCabe index: 1
number of parameters: 0

id: 70
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2164
end line: 2197
size: 32 LOC
McCabe index: 4
number of parameters: 1

id: 71
unit: public override bool Visit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 206
end line: 250
size: 32 LOC
McCabe index: 13
number of parameters: 1

id: 72
unit: public static bool IsUintWSize()
file: Sources/SolToBoogie/TransUtils.cs
start line: 90
end line: 122
size: 32 LOC
McCabe index: 6
number of parameters: 3

id: 73
unit: public bool BatchExecute()
file: Sources/SolidityAST/RegressionExecutor.cs
start line: 27
end line: 62
size: 32 LOC
McCabe index: 4
number of parameters: 0

id: 74
unit: public int Execute()
file: Sources/VeriSol/VeriSolExecuter.cs
start line: 60
end line: 96
size: 32 LOC
McCabe index: 8
number of parameters: 0

id: 75
unit: private BoogieStmtList GenerateHavocBlock()
file: Sources/SolToBoogie/HarnessGenerator.cs
start line: 213
end line: 247
size: 31 LOC
McCabe index: 5
number of parameters: 2

id: 76
unit: private void TranslateDynamicArrayPush()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2934
end line: 2973
size: 31 LOC
McCabe index: 3
number of parameters: 1

id: 77
unit: public static void Main()
file: Sources/SolidityCFG/TestMain.cs
start line: 13
end line: 45
size: 31 LOC
McCabe index: 5
number of parameters: 1

id: 78
unit: private bool FindProof()
file: Sources/VeriSol/VeriSolExecuter.cs
start line: 98
end line: 136
size: 31 LOC
McCabe index: 2
number of parameters: 0

id: 79
unit: private void GenerateGlobalProcedureFresh()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 402
end line: 440
size: 30 LOC
McCabe index: 2
number of parameters: 0

id: 80
unit: private BoogieExpr TranslateExpr()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2075
end line: 2107
size: 30 LOC
McCabe index: 6
number of parameters: 1

id: 81
unit: private string RunSolc()
file: Sources/SolidityAST/SolidityCompiler.cs
start line: 49
end line: 83
size: 30 LOC
McCabe index: 2
number of parameters: 2

id: 82
unit: private void GenerateGlobalProcedureAllocMany()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 442
end line: 477
size: 29 LOC
McCabe index: 3
number of parameters: 0

id: 83
unit: public void Generate()
file: Sources/SolToBoogie/HarnessGenerator.cs
start line: 24
end line: 56
size: 29 LOC
McCabe index: 8
number of parameters: 0

id: 84
unit: private List GetParamsOfFunction()
file: Sources/SolToBoogie/HarnessGenerator.cs
start line: 356
end line: 388
size: 29 LOC
McCabe index: 5
number of parameters: 1

id: 85
unit: private BoogieCallCmd InstrumentForPrintingData()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 169
end line: 203
size: 29 LOC
McCabe index: 11
number of parameters: 3

id: 86
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1245
end line: 1275
size: 29 LOC
McCabe index: 6
number of parameters: 1

id: 87
unit: private bool ExecuteSolToBoogie()
file: Sources/VeriSol/VeriSolExecuter.cs
start line: 368
end line: 405
size: 29 LOC
McCabe index: 3
number of parameters: 0

id: 88
unit: private string InstallDotnetCliTool()
file: Sources/ExternalToolsManager/DotnetCliToolManager.cs
start line: 34
end line: 66
size: 28 LOC
McCabe index: 2
number of parameters: 0

id: 89
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 85
end line: 118
size: 28 LOC
McCabe index: 7
number of parameters: 1

id: 90
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 465
end line: 493
size: 28 LOC
McCabe index: 6
number of parameters: 0

id: 91
unit: public override bool Visit()
file: Sources/SolidityCFG/CFGBuilder.cs
start line: 148
end line: 176
size: 28 LOC
McCabe index: 4
number of parameters: 1

id: 92
unit: private BoogieExpr TranslateModifiesStmt()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1874
end line: 1905
size: 27 LOC
McCabe index: 2
number of parameters: 2

id: 93
unit: private void TranslateSendCallStmt()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2753
end line: 2788
size: 27 LOC
McCabe index: 7
number of parameters: 4

id: 94
unit: public static bool IsIntWSize()
file: Sources/SolToBoogie/TransUtils.cs
start line: 23
end line: 52
size: 27 LOC
McCabe index: 5
number of parameters: 2

id: 95
unit: private void GenerateBoogieHarnessForContract()
file: Sources/SolToBoogie/HarnessGenerator.cs
start line: 93
end line: 120
size: 26 LOC
McCabe index: 3
number of parameters: 2

id: 96
unit: public static string GetFuncNameFromFuncCallExpr()
file: Sources/SolToBoogie/TransUtils.cs
start line: 655
end line: 680
size: 26 LOC
McCabe index: 5
number of parameters: 1

id: 97
unit: private void GenerateMemoryVariablesForMapping()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 678
end line: 703
size: 25 LOC
McCabe index: 4
number of parameters: 2

id: 98
unit: private void GenerateMemoryVariablesForArray()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 705
end line: 730
size: 25 LOC
McCabe index: 4
number of parameters: 2

id: 99
unit: public static BoogieType InferKeyTypeFromTypeString()
file: Sources/SolToBoogie/MapArrayHelper.cs
start line: 84
end line: 108
size: 25 LOC
McCabe index: 6
number of parameters: 1

id: 100
unit: public static string InferTypeFromExpression()
file: Sources/SolToBoogie/TransUtils.cs
start line: 610
end line: 634
size: 25 LOC
McCabe index: 6
number of parameters: 1

id: 101
unit: public override string ToString()
file: Sources/SolidityCFG/SolidityCFG.cs
start line: 44
end line: 69
size: 25 LOC
McCabe index: 5
number of parameters: 0

id: 102
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2109
end line: 2132
size: 24 LOC
McCabe index: 4
number of parameters: 1

id: 103
unit: public TranslatorFlags()
file: Sources/SolToBoogie/TranslatorFlags.cs
start line: 12
end line: 35
size: 24 LOC
McCabe index: 1
number of parameters: 0

id: 104
unit: public CompilerOutput Compile()
file: Sources/SolidityAST/SolidityCompiler.cs
start line: 15
end line: 42
size: 24 LOC
McCabe index: 3
number of parameters: 2

id: 105
unit: private string ConvertFunctionName()
file: Sources/VeriSol/VeriSolExecuter.cs
start line: 248
end line: 275
size: 24 LOC
McCabe index: 4
number of parameters: 1

id: 106
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 134
end line: 156
size: 23 LOC
McCabe index: 4
number of parameters: 0

id: 107
unit: private void TranslateStateVarDeclaration()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 133
end line: 160
size: 23 LOC
McCabe index: 5
number of parameters: 1

id: 108
unit: public static int Main()
file: Sources/SolToBoogieTest/Program.cs
start line: 13
end line: 40
size: 23 LOC
McCabe index: 4
number of parameters: 1

id: 109
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 776
end line: 798
size: 23 LOC
McCabe index: 7
number of parameters: 0

id: 110
unit: private static void ShowUsage()
file: Sources/VeriSol/Program.cs
start line: 62
end line: 94
size: 23 LOC
McCabe index: 1
number of parameters: 0

id: 111
unit: private void GenerateMemoryVariables()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 653
end line: 676
size: 22 LOC
McCabe index: 5
number of parameters: 0

id: 112
unit: private void AddAssumeForUints()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1711
end line: 1738
size: 22 LOC
McCabe index: 6
number of parameters: 3

id: 113
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1802
end line: 1828
size: 22 LOC
McCabe index: 3
number of parameters: 1

id: 114
unit: public static string ComputeFunctionSignature()
file: Sources/SolToBoogie/TransUtils.cs
start line: 483
end line: 504
size: 22 LOC
McCabe index: 4
number of parameters: 1

id: 115
unit: private string RunCorral()
file: Sources/SolToBoogieTest/RegressionExecutor.cs
start line: 216
end line: 243
size: 22 LOC
McCabe index: 2
number of parameters: 1

id: 116
unit: private void RunCmd()
file: Sources/ExternalToolsManager/DownloadedToolManager.cs
start line: 95
end line: 117
size: 21 LOC
McCabe index: 2
number of parameters: 2

id: 117
unit: private void PrepareTempDirectory()
file: Sources/ExternalToolsManager/DownloadedToolManager.cs
start line: 159
end line: 180
size: 21 LOC
McCabe index: 4
number of parameters: 0

id: 118
unit: private BoogieStmtList CreateBodyOfSend()
file: Sources/SolToBoogie/FallbackGenerator.cs
start line: 88
end line: 113
size: 21 LOC
McCabe index: 1
number of parameters: 3

id: 119
unit: private void GenerateFunctions()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 33
end line: 54
size: 21 LOC
McCabe index: 2
number of parameters: 0

id: 120
unit: private List ExtractContractInvariants()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1907
end line: 1927
size: 21 LOC
McCabe index: 5
number of parameters: 1

id: 121
unit: private bool IsVeriSolCodeContractFunction()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2520
end line: 2541
size: 21 LOC
McCabe index: 9
number of parameters: 1

id: 122
unit: private string GetVeriSolCodeContractFunction()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2543
end line: 2563
size: 21 LOC
McCabe index: 7
number of parameters: 1

id: 123
unit: private bool IsGetterForPublicVariable()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 3308
end line: 3331
size: 21 LOC
McCabe index: 4
number of parameters: 3

id: 124
unit: public override bool Visit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 39
end line: 61
size: 21 LOC
McCabe index: 5
number of parameters: 1

id: 125
unit: public static string ComputeEventSignature()
file: Sources/SolToBoogie/TransUtils.cs
start line: 506
end line: 526
size: 21 LOC
McCabe index: 4
number of parameters: 1

id: 126
unit: private static string GetSolcNameByOSPlatform()
file: Sources/SolToBoogieTest/Program.cs
start line: 48
end line: 68
size: 21 LOC
McCabe index: 4
number of parameters: 0

id: 127
unit: private string ConcatStringArray()
file: Sources/SolidityAST/RegressionExecutor.cs
start line: 123
end line: 143
size: 21 LOC
McCabe index: 4
number of parameters: 2

id: 128
unit: private static string GetSolcNameByOSPlatform()
file: Sources/VeriSol/Program.cs
start line: 96
end line: 116
size: 21 LOC
McCabe index: 4
number of parameters: 0

id: 129
unit: private string RunBinary()
file: Sources/VeriSol/VeriSolExecuter.cs
start line: 407
end line: 432
size: 21 LOC
McCabe index: 2
number of parameters: 2

id: 130
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 944
end line: 963
size: 20 LOC
McCabe index: 4
number of parameters: 0

id: 131
unit: static ExternalToolsManager()
file: Sources/ExternalToolsManager/ExternalToolsManager.cs
start line: 17
end line: 41
size: 20 LOC
McCabe index: 1
number of parameters: 0

id: 132
unit: private BoogieStmtList CreateBodyOfUnknownFallback()
file: Sources/SolToBoogie/FallbackGenerator.cs
start line: 115
end line: 143
size: 20 LOC
McCabe index: 3
number of parameters: 2

id: 133
unit: private void GenerateConstants()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 248
end line: 269
size: 20 LOC
McCabe index: 4
number of parameters: 0

id: 134
unit: private BoogieAssumeCmd GenerateDynamicTypeAssumes()
file: Sources/SolToBoogie/HarnessGenerator.cs
start line: 122
end line: 145
size: 20 LOC
McCabe index: 3
number of parameters: 1

id: 135
unit: private BoogieExpr GenerateNonDetExpr()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2294
end line: 2313
size: 20 LOC
McCabe index: 4
number of parameters: 2

id: 136
unit: private void ParseTranslatorFlags()
file: Sources/SolToBoogieTest/RegressionExecutor.cs
start line: 132
end line: 151
size: 20 LOC
McCabe index: 1
number of parameters: 2

id: 137
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 341
end line: 360
size: 20 LOC
McCabe index: 4
number of parameters: 0

id: 138
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1112
end line: 1131
size: 20 LOC
McCabe index: 5
number of parameters: 1

id: 139
unit: internal void EnsureLinkedToZ3()
file: Sources/ExternalToolsManager/DotnetCliToolManager.cs
start line: 68
end line: 89
size: 19 LOC
McCabe index: 3
number of parameters: 1

id: 140
unit: private void GenerateModifiers()
file: Sources/SolToBoogie/HarnessGenerator.cs
start line: 72
end line: 91
size: 19 LOC
McCabe index: 5
number of parameters: 0

id: 141
unit: private BoogieWhileCmd GenerateWhileLoop()
file: Sources/SolToBoogie/HarnessGenerator.cs
start line: 185
end line: 211
size: 19 LOC
McCabe index: 3
number of parameters: 3

id: 142
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1929
end line: 1953
size: 19 LOC
McCabe index: 3
number of parameters: 1

id: 143
unit: public override string ToString()
file: Sources/SolidityCFG/SolidityCFG.cs
start line: 105
end line: 123
size: 19 LOC
McCabe index: 4
number of parameters: 0

id: 144
unit: private static void PrintCFG()
file: Sources/SolidityCFG/TestMain.cs
start line: 54
end line: 72
size: 19 LOC
McCabe index: 4
number of parameters: 1

id: 145
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 520
end line: 537
size: 18 LOC
McCabe index: 4
number of parameters: 0

id: 146
unit: public override bool Visit()
file: Sources/SolToBoogie/ConstructorCollector.cs
start line: 19
end line: 36
size: 18 LOC
McCabe index: 5
number of parameters: 1

id: 147
unit: private BoogieAxiom GenerateAbiEncodePackedAxiomTwoArgs()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 548
end line: 569
size: 18 LOC
McCabe index: 1
number of parameters: 0

id: 148
unit: private BoogieAxiom GenerateAbiEncodePackedAxiomTwoArgsOneRef()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 629
end line: 650
size: 18 LOC
McCabe index: 1
number of parameters: 0

id: 149
unit: private BoogieMapSelect CreateDistinctArrayMappingAddress()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 938
end line: 958
size: 18 LOC
McCabe index: 1
number of parameters: 2

id: 150
unit: private void TranslateCallStatement()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2667
end line: 2688
size: 18 LOC
McCabe index: 6
number of parameters: 2

id: 151
unit: public static string GetFuncNameFromFuncCall()
file: Sources/SolToBoogie/TransUtils.cs
start line: 636
end line: 653
size: 18 LOC
McCabe index: 3
number of parameters: 1

id: 152
unit: private void GenerateCorralChoiceProcForContract()
file: Sources/SolToBoogie/HarnessGenerator.cs
start line: 255
end line: 272
size: 17 LOC
McCabe index: 1
number of parameters: 1

id: 153
unit: private void GenerateInitializationForStructStateVar()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 640
end line: 659
size: 17 LOC
McCabe index: 1
number of parameters: 2

id: 154
unit: private BoogieExpr AddModuloOp()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1424
end line: 1440
size: 17 LOC
McCabe index: 4
number of parameters: 3

id: 155
unit: private void TopologicalSortImpl()
file: Sources/SolToBoogie/ResolutionHelper.cs
start line: 37
end line: 53
size: 17 LOC
McCabe index: 4
number of parameters: 3

id: 156
unit: private void ReadRecord()
file: Sources/SolToBoogieTest/RegressionExecutor.cs
start line: 282
end line: 298
size: 17 LOC
McCabe index: 3
number of parameters: 0

id: 157
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 442
end line: 458
size: 17 LOC
McCabe index: 4
number of parameters: 1

id: 158
unit: public VeriSolExecutor()
file: Sources/VeriSol/VeriSolExecuter.cs
start line: 41
end line: 58
size: 17 LOC
McCabe index: 1
number of parameters: 9

id: 159
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 991
end line: 1006
size: 16 LOC
McCabe index: 3
number of parameters: 0

id: 160
unit: private BoogieWhileCmd GenerateCorralWhileLoop()
file: Sources/SolToBoogie/HarnessGenerator.cs
start line: 323
end line: 341
size: 16 LOC
McCabe index: 2
number of parameters: 1

id: 161
unit: private void preTranslationAction()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 57
end line: 75
size: 16 LOC
McCabe index: 6
number of parameters: 1

id: 162
unit: public BoogieStmtList TranslateStatement()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1286
end line: 1308
size: 16 LOC
McCabe index: 2
number of parameters: 1

id: 163
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1782
end line: 1800
size: 16 LOC
McCabe index: 3
number of parameters: 1

id: 164
unit: public void AddFunctionToContract()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 355
end line: 373
size: 16 LOC
McCabe index: 2
number of parameters: 2

id: 165
unit: private BatchExeResult CompareCorralOutput()
file: Sources/SolToBoogieTest/RegressionExecutor.cs
start line: 245
end line: 264
size: 16 LOC
McCabe index: 4
number of parameters: 2

id: 166
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 387
end line: 402
size: 16 LOC
McCabe index: 3
number of parameters: 0

id: 167
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 591
end line: 606
size: 16 LOC
McCabe index: 3
number of parameters: 0

id: 168
unit: private void MergeControlFlow()
file: Sources/SolidityCFG/CFGBuilder.cs
start line: 74
end line: 89
size: 16 LOC
McCabe index: 4
number of parameters: 2

id: 169
unit: private bool CompareCorralOutput()
file: Sources/VeriSol/VeriSolExecuter.cs
start line: 434
end line: 449
size: 16 LOC
McCabe index: 4
number of parameters: 2

id: 170
unit: protected override void Install()
file: Sources/ExternalToolsManager/SolcManager.cs
start line: 9
end line: 23
size: 15 LOC
McCabe index: 4
number of parameters: 0

id: 171
unit: private ModifierInvocation GetModifierInvocationOfBase()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1225
end line: 1239
size: 15 LOC
McCabe index: 4
number of parameters: 2

id: 172
unit: private BoogieExpr TranslateNumberToExpr()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2134
end line: 2162
size: 15 LOC
McCabe index: 3
number of parameters: 1

id: 173
unit: private bool IsAbiEncodePackedFunc()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2623
end line: 2637
size: 15 LOC
McCabe index: 5
number of parameters: 1

id: 174
unit: private void TranslateAbiEncodedFuncCall()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2650
end line: 2665
size: 15 LOC
McCabe index: 3
number of parameters: 2

id: 175
unit: private ContractDefinition IsLibraryFunctionCall()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 3024
end line: 3040
size: 15 LOC
McCabe index: 4
number of parameters: 1

id: 176
unit: private static int GetConstantSize()
file: Sources/SolToBoogie/TransUtils.cs
start line: 71
end line: 88
size: 15 LOC
McCabe index: 6
number of parameters: 1

id: 177
unit: public bool HasEventNameInContract()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 338
end line: 352
size: 15 LOC
McCabe index: 4
number of parameters: 2

id: 178
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 755
end line: 769
size: 15 LOC
McCabe index: 4
number of parameters: 1

id: 179
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 548
end line: 561
size: 14 LOC
McCabe index: 3
number of parameters: 0

id: 180
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 747
end line: 760
size: 14 LOC
McCabe index: 3
number of parameters: 0

id: 181
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1136
end line: 1149
size: 14 LOC
McCabe index: 2
number of parameters: 0

id: 182
unit: private void PrintFunctionResolutionMap()
file: Sources/SolToBoogie/FunctionEventResolver.cs
start line: 95
end line: 108
size: 14 LOC
McCabe index: 3
number of parameters: 0

id: 183
unit: private BoogieAssertCmd InstrumentSourceFileAndLineInfo()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1310
end line: 1324
size: 14 LOC
McCabe index: 1
number of parameters: 1

id: 184
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1748
end line: 1762
size: 14 LOC
McCabe index: 2
number of parameters: 1

id: 185
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1764
end line: 1780
size: 14 LOC
McCabe index: 2
number of parameters: 1

id: 186
unit: private bool IsStaticDispatching()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 3333
end line: 3346
size: 14 LOC
McCabe index: 4
number of parameters: 1

id: 187
unit: public List TopologicalSortByDependency()
file: Sources/SolToBoogie/ResolutionHelper.cs
start line: 20
end line: 35
size: 14 LOC
McCabe index: 3
number of parameters: 1

id: 188
unit: public int MapToLineNumber()
file: Sources/SolToBoogie/SourceInfoCollector.cs
start line: 59
end line: 74
size: 14 LOC
McCabe index: 3
number of parameters: 2

id: 189
unit: private void PrintStateVarResolutionMap()
file: Sources/SolToBoogie/StateVariableResolver.cs
start line: 85
end line: 98
size: 14 LOC
McCabe index: 3
number of parameters: 0

id: 190
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 82
end line: 95
size: 13 LOC
McCabe index: 2
number of parameters: 0

id: 191
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 464
end line: 476
size: 13 LOC
McCabe index: 2
number of parameters: 0

id: 192
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1097
end line: 1109
size: 13 LOC
McCabe index: 2
number of parameters: 0

id: 193
unit: internal override void EnsureExisted()
file: Sources/ExternalToolsManager/DownloadedToolManager.cs
start line: 72
end line: 85
size: 13 LOC
McCabe index: 2
number of parameters: 0

id: 194
unit: private void PrintVisibleFunctions()
file: Sources/SolToBoogie/FunctionEventResolver.cs
start line: 110
end line: 122
size: 13 LOC
McCabe index: 3
number of parameters: 0

id: 195
unit: private void GenerateTypes()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 233
end line: 246
size: 13 LOC
McCabe index: 2
number of parameters: 0

id: 196
unit: private void GenerateStructConstructors()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 333
end line: 345
size: 13 LOC
McCabe index: 4
number of parameters: 0

id: 197
unit: private BoogieAxiom GenerateConstToRefAxiom()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 497
end line: 513
size: 13 LOC
McCabe index: 1
number of parameters: 0

id: 198
unit: private BoogieAxiom GenerateKeccakAxiom()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 514
end line: 530
size: 13 LOC
McCabe index: 1
number of parameters: 0

id: 199
unit: private BoogieAxiom GenerateAbiEncodePackedAxiomOneArg()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 531
end line: 547
size: 13 LOC
McCabe index: 1
number of parameters: 0

id: 200
unit: private BoogieAxiom GenerateAbiEncodePackedAxiomOneArgRef()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 572
end line: 588
size: 13 LOC
McCabe index: 1
number of parameters: 0

id: 201
unit: private void GenerateHoudiniVarsForContract()
file: Sources/SolToBoogie/HarnessGenerator.cs
start line: 58
end line: 70
size: 13 LOC
McCabe index: 2
number of parameters: 2

id: 202
unit: public override bool Visit()
file: Sources/SolToBoogie/MapArrayCollector.cs
start line: 31
end line: 44
size: 13 LOC
McCabe index: 3
number of parameters: 1

id: 203
unit: private void GetBoogieTypesFromMapping()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 960
end line: 974
size: 13 LOC
McCabe index: 2
number of parameters: 4

id: 204
unit: public void updateAssignedSums()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1442
end line: 1454
size: 13 LOC
McCabe index: 7
number of parameters: 3

id: 205
unit: private bool AllDependenciesVisited()
file: Sources/SolToBoogie/ResolutionHelper.cs
start line: 55
end line: 67
size: 13 LOC
McCabe index: 3
number of parameters: 2

id: 206
unit: protected override void CommonEndVisit()
file: Sources/SolToBoogie/SourceInfoCollector.cs
start line: 43
end line: 57
size: 13 LOC
McCabe index: 2
number of parameters: 1

id: 207
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1012
end line: 1024
size: 13 LOC
McCabe index: 3
number of parameters: 1

id: 208
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1270
end line: 1282
size: 13 LOC
McCabe index: 3
number of parameters: 1

id: 209
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1633
end line: 1645
size: 13 LOC
McCabe index: 2
number of parameters: 0

id: 210
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1681
end line: 1693
size: 13 LOC
McCabe index: 3
number of parameters: 0

id: 211
unit: private static void LegacyMain()
file: Sources/SolidityAST/TestMain.cs
start line: 27
end line: 40
size: 13 LOC
McCabe index: 1
number of parameters: 1

id: 212
unit: private List SplitControlFlow()
file: Sources/SolidityCFG/CFGBuilder.cs
start line: 59
end line: 72
size: 13 LOC
McCabe index: 2
number of parameters: 1

id: 213
unit: private bool CompareBoogieOutput()
file: Sources/VeriSol/VeriSolExecuter.cs
start line: 451
end line: 464
size: 13 LOC
McCabe index: 4
number of parameters: 1

id: 214
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 387
end line: 398
size: 12 LOC
McCabe index: 3
number of parameters: 0

id: 215
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 843
end line: 854
size: 12 LOC
McCabe index: 2
number of parameters: 0

id: 216
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 872
end line: 883
size: 12 LOC
McCabe index: 2
number of parameters: 0

id: 217
unit: public static string OpcodeToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1172
end line: 1183
size: 12 LOC
McCabe index: 3
number of parameters: 1

id: 218
unit: internal override void EnsureExisted()
file: Sources/ExternalToolsManager/DotnetCliToolManager.cs
start line: 21
end line: 32
size: 12 LOC
McCabe index: 2
number of parameters: 0

id: 219
unit: protected void DownloadAndUnZip()
file: Sources/ExternalToolsManager/DownloadedToolManager.cs
start line: 124
end line: 138
size: 12 LOC
McCabe index: 1
number of parameters: 0

id: 220
unit: private BoogieFunction GenerateModFunction()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 206
end line: 218
size: 12 LOC
McCabe index: 1
number of parameters: 0

id: 221
unit: private void GenerateAxioms()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 479
end line: 495
size: 12 LOC
McCabe index: 2
number of parameters: 0

id: 222
unit: private List RemoveThisFromVariables()
file: Sources/SolToBoogie/HarnessGenerator.cs
start line: 343
end line: 354
size: 12 LOC
McCabe index: 3
number of parameters: 1

id: 223
unit: public void Collect()
file: Sources/SolToBoogie/InheritanceCollector.cs
start line: 18
end line: 29
size: 12 LOC
McCabe index: 3
number of parameters: 0

id: 224
unit: private void calculateFlattenCmdLists()
file: Sources/SolToBoogie/ModSetAnalysis.cs
start line: 136
end line: 147
size: 12 LOC
McCabe index: 3
number of parameters: 1

id: 225
unit: private void TranslateStructDefinition()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 120
end line: 131
size: 12 LOC
McCabe index: 2
number of parameters: 1

id: 226
unit: private bool IsVeriSolContractInvariantFunction()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 492
end line: 504
size: 12 LOC
McCabe index: 4
number of parameters: 3

id: 227
unit: private void GenerateInitializationForArrayStateVar()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 622
end line: 638
size: 12 LOC
McCabe index: 4
number of parameters: 2

id: 228
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1326
end line: 1338
size: 12 LOC
McCabe index: 2
number of parameters: 1

id: 229
unit: private BoogieExpr TranslateVeriSolCodeContractFuncCall()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2505
end line: 2518
size: 12 LOC
McCabe index: 2
number of parameters: 1

id: 230
unit: private BoogieCallCmd MkFallbackDispatchCallCmd()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2739
end line: 2751
size: 12 LOC
McCabe index: 1
number of parameters: 2

id: 231
unit: private bool isPublic()
file: Sources/SolToBoogie/RevertLogicGenerator.cs
start line: 26
end line: 38
size: 12 LOC
McCabe index: 4
number of parameters: 1

id: 232
unit: public override bool Visit()
file: Sources/SolToBoogie/StateVariableCollector.cs
start line: 17
end line: 29
size: 12 LOC
McCabe index: 3
number of parameters: 1

id: 233
unit: private void PrintVisibleStateVars()
file: Sources/SolToBoogie/StateVariableResolver.cs
start line: 100
end line: 111
size: 12 LOC
McCabe index: 3
number of parameters: 0

id: 234
unit: public static int GetEnumValueIndex()
file: Sources/SolToBoogie/TransUtils.cs
start line: 470
end line: 481
size: 12 LOC
McCabe index: 3
number of parameters: 2

id: 235
unit: public static List GetDefaultInParams()
file: Sources/SolToBoogie/TransUtils.cs
start line: 687
end line: 698
size: 12 LOC
McCabe index: 4
number of parameters: 0

id: 236
unit: public ContractDefinition GetContractByName()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 215
end line: 226
size: 12 LOC
McCabe index: 3
number of parameters: 1

id: 237
unit: public void AddStateVarToContract()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 243
end line: 256
size: 12 LOC
McCabe index: 2
number of parameters: 2

id: 238
unit: public FunctionDefinition GetFunctionBySignature()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 380
end line: 391
size: 12 LOC
McCabe index: 3
number of parameters: 2

id: 239
unit: public bool ContainsError()
file: Sources/SolidityAST/CompilerOutput.cs
start line: 20
end line: 31
size: 12 LOC
McCabe index: 4
number of parameters: 0

id: 240
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 197
end line: 208
size: 12 LOC
McCabe index: 3
number of parameters: 0

id: 241
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 245
end line: 256
size: 12 LOC
McCabe index: 3
number of parameters: 1

id: 242
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 369
end line: 380
size: 12 LOC
McCabe index: 3
number of parameters: 1

id: 243
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 573
end line: 584
size: 12 LOC
McCabe index: 3
number of parameters: 1

id: 244
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 895
end line: 906
size: 12 LOC
McCabe index: 3
number of parameters: 1

id: 245
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 913
end line: 924
size: 12 LOC
McCabe index: 2
number of parameters: 0

id: 246
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1289
end line: 1300
size: 12 LOC
McCabe index: 2
number of parameters: 0

id: 247
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1614
end line: 1626
size: 12 LOC
McCabe index: 3
number of parameters: 1

id: 248
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1761
end line: 1772
size: 12 LOC
McCabe index: 3
number of parameters: 1

id: 249
unit: public static void Main()
file: Sources/SolidityAST/TestMain.cs
start line: 11
end line: 24
size: 12 LOC
McCabe index: 1
number of parameters: 1

id: 250
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 895
end line: 905
size: 11 LOC
McCabe index: 2
number of parameters: 0

id: 251
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1018
end line: 1028
size: 11 LOC
McCabe index: 2
number of parameters: 0

id: 252
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1049
end line: 1059
size: 11 LOC
McCabe index: 3
number of parameters: 0

id: 253
unit: private void ComputeVisibleFunctions()
file: Sources/SolToBoogie/FunctionEventResolver.cs
start line: 81
end line: 93
size: 11 LOC
McCabe index: 3
number of parameters: 0

id: 254
unit: private BoogieFunction GenerateAbiEncodedFunctionTwoArgs()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 144
end line: 155
size: 11 LOC
McCabe index: 1
number of parameters: 0

id: 255
unit: private BoogieFunction GenerateAbiEncodedFunctionTwoArgsOneRef()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 168
end line: 179
size: 11 LOC
McCabe index: 1
number of parameters: 0

id: 256
unit: private void GenerateBoogieRecord()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 387
end line: 400
size: 11 LOC
McCabe index: 2
number of parameters: 2

id: 257
unit: private InheritanceSpecifier GetInheritanceSpecifieWithArgsOfBase()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1210
end line: 1220
size: 11 LOC
McCabe index: 4
number of parameters: 2

id: 258
unit: private void TranslateFunctionCalls()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1636
end line: 1646
size: 11 LOC
McCabe index: 2
number of parameters: 2

id: 259
unit: private bool IsDynamicArrayPush()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2922
end line: 2932
size: 11 LOC
McCabe index: 2
number of parameters: 1

id: 260
unit: public override bool Visit()
file: Sources/SolToBoogie/SourceInfoCollector.cs
start line: 25
end line: 35
size: 11 LOC
McCabe index: 2
number of parameters: 1

id: 261
unit: private void ComputeVisibleStateVariables()
file: Sources/SolToBoogie/StateVariableResolver.cs
start line: 71
end line: 83
size: 11 LOC
McCabe index: 3
number of parameters: 0

id: 262
unit: public bool HasContractName()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 203
end line: 213
size: 11 LOC
McCabe index: 3
number of parameters: 1

id: 263
unit: public void AddEventToContract()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 323
end line: 336
size: 11 LOC
McCabe index: 3
number of parameters: 2

id: 264
unit: public void AddModiferToPreProc()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 502
end line: 512
size: 11 LOC
McCabe index: 2
number of parameters: 2

id: 265
unit: public void AddModiferToPostProc()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 514
end line: 524
size: 11 LOC
McCabe index: 2
number of parameters: 2

id: 266
unit: public void AddModiferToPreImpl()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 526
end line: 536
size: 11 LOC
McCabe index: 2
number of parameters: 2

id: 267
unit: public void AddModiferToPostImpl()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 538
end line: 548
size: 11 LOC
McCabe index: 2
number of parameters: 2

id: 268
unit: public void AddPreludeLocalsToModifier()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 550
end line: 560
size: 11 LOC
McCabe index: 2
number of parameters: 2

id: 269
unit: private string GenerateCorralArguments()
file: Sources/SolToBoogieTest/RegressionExecutor.cs
start line: 266
end line: 280
size: 11 LOC
McCabe index: 1
number of parameters: 1

id: 270
unit: private SourceUnitList BuildSourceUnitList()
file: Sources/SolidityAST/SolidityAST.cs
start line: 63
end line: 73
size: 11 LOC
McCabe index: 2
number of parameters: 1

id: 271
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 104
end line: 114
size: 11 LOC
McCabe index: 3
number of parameters: 1

id: 272
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 226
end line: 236
size: 11 LOC
McCabe index: 2
number of parameters: 0

id: 273
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 664
end line: 674
size: 11 LOC
McCabe index: 2
number of parameters: 0

id: 274
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 699
end line: 709
size: 11 LOC
McCabe index: 2
number of parameters: 0

id: 275
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 972
end line: 982
size: 11 LOC
McCabe index: 2
number of parameters: 0

id: 276
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1192
end line: 1202
size: 11 LOC
McCabe index: 3
number of parameters: 1

id: 277
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1334
end line: 1344
size: 11 LOC
McCabe index: 3
number of parameters: 1

id: 278
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1414
end line: 1424
size: 11 LOC
McCabe index: 2
number of parameters: 0

id: 279
unit: public BoogieProcedure()
file: Sources/BoogieAST/BoogieAST.cs
start line: 172
end line: 181
size: 10 LOC
McCabe index: 1
number of parameters: 7

id: 280
unit: public BoogieQuantifiedExpr()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1315
end line: 1324
size: 10 LOC
McCabe index: 1
number of parameters: 5

id: 281
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1326
end line: 1335
size: 10 LOC
McCabe index: 4
number of parameters: 0

id: 282
unit: private void Download()
file: Sources/ExternalToolsManager/DownloadedToolManager.cs
start line: 188
end line: 197
size: 10 LOC
McCabe index: 1
number of parameters: 0

id: 283
unit: private BoogieFunction GenerateZeroRefIntArrayFunction()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 56
end line: 65
size: 10 LOC
McCabe index: 1
number of parameters: 0

id: 284
unit: private BoogieFunction GenerateZeroIntIntArrayFunction()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 67
end line: 76
size: 10 LOC
McCabe index: 1
number of parameters: 0

id: 285
unit: private BoogieFunction GenerateZeroRefBoolArrayFunction()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 78
end line: 87
size: 10 LOC
McCabe index: 1
number of parameters: 0

id: 286
unit: private BoogieFunction GenerateZeroIntBoolArrayFunction()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 89
end line: 98
size: 10 LOC
McCabe index: 1
number of parameters: 0

id: 287
unit: private BoogieFunction GenerateZeroRefRefArrayFunction()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 100
end line: 109
size: 10 LOC
McCabe index: 1
number of parameters: 0

id: 288
unit: private BoogieFunction GenerateZeroIntRefArrayFunction()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 111
end line: 120
size: 10 LOC
McCabe index: 1
number of parameters: 0

id: 289
unit: private BoogieFunction GenerateKeccakFunction()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 122
end line: 132
size: 10 LOC
McCabe index: 1
number of parameters: 0

id: 290
unit: private BoogieFunction GenerateAbiEncodedFunctionOneArg()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 133
end line: 143
size: 10 LOC
McCabe index: 1
number of parameters: 0

id: 291
unit: private BoogieFunction GenerateAbiEncodedFunctionOneArgRef()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 157
end line: 167
size: 10 LOC
McCabe index: 1
number of parameters: 0

id: 292
unit: private BoogieFunction GenerateConstToRefFunction()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 182
end line: 192
size: 10 LOC
McCabe index: 1
number of parameters: 0

id: 293
unit: private BoogieFunction GenerateRefToInt()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 194
end line: 204
size: 10 LOC
McCabe index: 1
number of parameters: 0

id: 294
unit: private BoogieFunction GenerateVeriSolSumFunction()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 220
end line: 230
size: 10 LOC
McCabe index: 1
number of parameters: 0

id: 295
unit: private bool IsBuiltInTransferFunc()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2494
end line: 2503
size: 10 LOC
McCabe index: 4
number of parameters: 2

id: 296
unit: private void TranslateKeccakFuncCall()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2639
end line: 2648
size: 10 LOC
McCabe index: 1
number of parameters: 2

id: 297
unit: private ContractDefinition GetStaticDispatchingContract()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 3348
end line: 3359
size: 10 LOC
McCabe index: 1
number of parameters: 1

id: 298
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 3647
end line: 3658
size: 10 LOC
McCabe index: 1
number of parameters: 1

id: 299
unit: private BoogieProcedure duplicateProcedure()
file: Sources/SolToBoogie/RevertLogicGenerator.cs
start line: 40
end line: 51
size: 10 LOC
McCabe index: 4
number of parameters: 3

id: 300
unit: private BoogieImplementation createFailImplementation()
file: Sources/SolToBoogie/RevertLogicGenerator.cs
start line: 228
end line: 240
size: 10 LOC
McCabe index: 2
number of parameters: 2

id: 301
unit: public static string GetNumberFromEnd()
file: Sources/SolToBoogie/TransUtils.cs
start line: 59
end line: 68
size: 10 LOC
McCabe index: 3
number of parameters: 1

id: 302
unit: public void AddMappingtoContract()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 258
end line: 267
size: 10 LOC
McCabe index: 2
number of parameters: 2

id: 303
unit: public void AddArrayToContract()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 269
end line: 278
size: 10 LOC
McCabe index: 2
number of parameters: 2

id: 304
unit: public RegressionExecutor()
file: Sources/SolToBoogieTest/RegressionExecutor.cs
start line: 41
end line: 50
size: 10 LOC
McCabe index: 1
number of parameters: 5

id: 305
unit: public void PrintErrorsToConsole()
file: Sources/SolidityAST/CompilerOutput.cs
start line: 33
end line: 42
size: 10 LOC
McCabe index: 3
number of parameters: 0

id: 306
unit: public bool Execute()
file: Sources/SolidityAST/RegressionExecutor.cs
start line: 64
end line: 78
size: 10 LOC
McCabe index: 1
number of parameters: 1

id: 307
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 136
end line: 145
size: 10 LOC
McCabe index: 2
number of parameters: 0

id: 308
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 519
end line: 528
size: 10 LOC
McCabe index: 3
number of parameters: 0

id: 309
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1548
end line: 1557
size: 10 LOC
McCabe index: 2
number of parameters: 1

id: 310
unit: public static FunctionCFG BuildFunctionCFG()
file: Sources/SolidityCFG/CFGBuilder.cs
start line: 18
end line: 27
size: 10 LOC
McCabe index: 1
number of parameters: 2

id: 311
unit: private void DisplayTraceUsingConcurrencyExplorer()
file: Sources/VeriSol/VeriSolExecuter.cs
start line: 199
end line: 209
size: 10 LOC
McCabe index: 2
number of parameters: 0

id: 312
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 50
end line: 58
size: 9 LOC
McCabe index: 2
number of parameters: 0

id: 313
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 620
end line: 628
size: 9 LOC
McCabe index: 2
number of parameters: 0

id: 314
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 647
end line: 655
size: 9 LOC
McCabe index: 2
number of parameters: 0

id: 315
unit: public BoogieWhileCmd()
file: Sources/BoogieAST/BoogieAST.cs
start line: 974
end line: 982
size: 9 LOC
McCabe index: 2
number of parameters: 3

id: 316
unit: protected void DownloadAndCopy()
file: Sources/ExternalToolsManager/DownloadedToolManager.cs
start line: 140
end line: 149
size: 9 LOC
McCabe index: 1
number of parameters: 0

id: 317
unit: public static void EnsureAllExisted()
file: Sources/ExternalToolsManager/ExternalToolsManager.cs
start line: 48
end line: 59
size: 9 LOC
McCabe index: 1
number of parameters: 0

id: 318
unit: public void Generate()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 23
end line: 31
size: 9 LOC
McCabe index: 1
number of parameters: 0

id: 319
unit: private void GenerateGlobalImplementations()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 323
end line: 331
size: 9 LOC
McCabe index: 1
number of parameters: 0

id: 320
unit: private static void PrintHoudiniCandidateMap()
file: Sources/SolToBoogie/HoudiniHelper.cs
start line: 70
end line: 78
size: 9 LOC
McCabe index: 2
number of parameters: 1

id: 321
unit: private bool IsImplicitFunc()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2594
end line: 2602
size: 9 LOC
McCabe index: 5
number of parameters: 1

id: 322
unit: private void VeriSolAssert()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 3473
end line: 3481
size: 9 LOC
McCabe index: 4
number of parameters: 2

id: 323
unit: private BoogieImplementation createSuccessImplementation()
file: Sources/SolToBoogie/RevertLogicGenerator.cs
start line: 247
end line: 257
size: 9 LOC
McCabe index: 2
number of parameters: 2

id: 324
unit: private Block CreateBlockFromTwoStatements()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 332
end line: 340
size: 9 LOC
McCabe index: 1
number of parameters: 2

id: 325
unit: public static List GetDefaultArguments()
file: Sources/SolToBoogie/TransUtils.cs
start line: 700
end line: 708
size: 9 LOC
McCabe index: 1
number of parameters: 0

id: 326
unit: public void AddStateVarToDynamicType()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 434
end line: 445
size: 9 LOC
McCabe index: 2
number of parameters: 3

id: 327
unit: public override bool Visit()
file: Sources/SolToBoogie/UsingCollector.cs
start line: 36
end line: 44
size: 9 LOC
McCabe index: 2
number of parameters: 1

id: 328
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 326
end line: 334
size: 9 LOC
McCabe index: 2
number of parameters: 1

id: 329
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 542
end line: 550
size: 9 LOC
McCabe index: 2
number of parameters: 1

id: 330
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 866
end line: 874
size: 9 LOC
McCabe index: 2
number of parameters: 1

id: 331
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1047
end line: 1055
size: 9 LOC
McCabe index: 2
number of parameters: 1

id: 332
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1076
end line: 1084
size: 9 LOC
McCabe index: 2
number of parameters: 1

id: 333
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1517
end line: 1525
size: 9 LOC
McCabe index: 2
number of parameters: 1

id: 334
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1580
end line: 1588
size: 9 LOC
McCabe index: 2
number of parameters: 1

id: 335
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1666
end line: 1674
size: 9 LOC
McCabe index: 2
number of parameters: 1

id: 336
unit: private CFGNode CreateControlFlow()
file: Sources/SolidityCFG/CFGBuilder.cs
start line: 49
end line: 57
size: 9 LOC
McCabe index: 1
number of parameters: 2

id: 337
unit: public override bool Visit()
file: Sources/SolidityCFG/CFGBuilder.cs
start line: 134
end line: 146
size: 9 LOC
McCabe index: 1
number of parameters: 1

id: 338
unit: public BoogieImplementation()
file: Sources/BoogieAST/BoogieAST.cs
start line: 320
end line: 327
size: 8 LOC
McCabe index: 1
number of parameters: 5

id: 339
unit: public override bool Equals()
file: Sources/BoogieAST/BoogieAST.cs
start line: 405
end line: 412
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 340
unit: public override bool Equals()
file: Sources/BoogieAST/BoogieAST.cs
start line: 434
end line: 441
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 341
unit: public void AppendStmtList()
file: Sources/BoogieAST/BoogieAST.cs
start line: 611
end line: 618
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 342
unit: public BoogieGotoCmd()
file: Sources/BoogieAST/BoogieAST.cs
start line: 828
end line: 835
size: 8 LOC
McCabe index: 1
number of parameters: 1

id: 343
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1228
end line: 1235
size: 8 LOC
McCabe index: 1
number of parameters: 0

id: 344
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1292
end line: 1299
size: 8 LOC
McCabe index: 1
number of parameters: 0

id: 345
unit: public static BoogieExpr GetMemoryMapSelectExpr()
file: Sources/SolToBoogie/MapArrayHelper.cs
start line: 22
end line: 29
size: 8 LOC
McCabe index: 1
number of parameters: 4

id: 346
unit: private static void emitGasCheck()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 47
end line: 55
size: 8 LOC
McCabe index: 1
number of parameters: 1

id: 347
unit: private BoogieIdentifierExpr MkNewLocalVariableForFunctionReturn()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2565
end line: 2576
size: 8 LOC
McCabe index: 1
number of parameters: 1

id: 348
unit: private bool IsKeccakFunc()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2614
end line: 2621
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 349
unit: public HashSet GetFuncDefintionsInContract()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 180
end line: 187
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 350
unit: public HashSet GetEventDefintionsInContract()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 188
end line: 195
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 351
unit: public void AddSubTypeToContract()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 228
end line: 235
size: 8 LOC
McCabe index: 2
number of parameters: 2

id: 352
unit: public bool HasStateVarInContract()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 280
end line: 287
size: 8 LOC
McCabe index: 2
number of parameters: 2

id: 353
unit: public FunctionDefinition GetConstructorByContract()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 314
end line: 321
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 354
unit: public bool HasFuncSigInDynamicType()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 399
end line: 406
size: 8 LOC
McCabe index: 3
number of parameters: 2

id: 355
unit: public void AddFunctionToDynamicType()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 408
end line: 417
size: 8 LOC
McCabe index: 2
number of parameters: 3

id: 356
unit: public void AddVisibleFunctionToContract()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 447
end line: 454
size: 8 LOC
McCabe index: 2
number of parameters: 2

id: 357
unit: public void AddVisibleStateVarToContract()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 479
end line: 486
size: 8 LOC
McCabe index: 2
number of parameters: 2

id: 358
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 183
end line: 190
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 359
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 505
end line: 512
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 360
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 557
end line: 564
size: 8 LOC
McCabe index: 1
number of parameters: 0

id: 361
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 617
end line: 624
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 362
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 650
end line: 657
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 363
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 685
end line: 692
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 364
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 958
end line: 965
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 365
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1031
end line: 1038
size: 8 LOC
McCabe index: 2
number of parameters: 0

id: 366
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1138
end line: 1145
size: 8 LOC
McCabe index: 1
number of parameters: 0

id: 367
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1240
end line: 1247
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 368
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1320
end line: 1327
size: 8 LOC
McCabe index: 1
number of parameters: 0

id: 369
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1482
end line: 1489
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 370
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1496
end line: 1503
size: 8 LOC
McCabe index: 3
number of parameters: 0

id: 371
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1700
end line: 1707
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 372
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1733
end line: 1740
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 373
unit: public static void AcceptList()
file: Sources/SolidityAST/Utils.cs
start line: 10
end line: 17
size: 8 LOC
McCabe index: 2
number of parameters: 2

id: 374
unit: protected override bool CommonVisit()
file: Sources/SolidityCFG/CFGBuilder.cs
start line: 91
end line: 98
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 375
unit: public BoogieFunction()
file: Sources/BoogieAST/BoogieAST.cs
start line: 255
end line: 261
size: 7 LOC
McCabe index: 1
number of parameters: 4

id: 376
unit: public BoogieMapUpdate()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1120
end line: 1126
size: 7 LOC
McCabe index: 2
number of parameters: 3

id: 377
unit: public BoogieMapUpdate()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1128
end line: 1134
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 378
unit: private void ChangePermission()
file: Sources/ExternalToolsManager/DownloadedToolManager.cs
start line: 87
end line: 93
size: 7 LOC
McCabe index: 3
number of parameters: 0

id: 379
unit: protected void CreateSymbolicLink()
file: Sources/ExternalToolsManager/DownloadedToolManager.cs
start line: 151
end line: 157
size: 7 LOC
McCabe index: 2
number of parameters: 0

id: 380
unit: protected void EnsureCommandPathExisted()
file: Sources/ExternalToolsManager/ToolManager.cs
start line: 63
end line: 69
size: 7 LOC
McCabe index: 2
number of parameters: 0

id: 381
unit: private void GenerateSingleMemoryVariable()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 732
end line: 739
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 382
unit: public ProcedureTranslator()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 77
end line: 83
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 383
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1955
end line: 1961
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 384
unit: private BoogieExpr TranslateArrayLength()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2322
end line: 2329
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 385
unit: private BoogieIdentifierExpr MkNewLocalVariableWithType()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2578
end line: 2586
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 386
unit: public static bool IsAddress()
file: Sources/SolToBoogie/TransUtils.cs
start line: 226
end line: 232
size: 7 LOC
McCabe index: 4
number of parameters: 1

id: 387
unit: public static string GetCanonicalStateVariableName()
file: Sources/SolToBoogie/TransUtils.cs
start line: 450
end line: 457
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 388
unit: public void AddSourceInfoForASTNode()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 160
end line: 166
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 389
unit: protected override bool CommonVisit()
file: Sources/SolidityAST/NodeMapper.cs
start line: 26
end line: 32
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 390
unit: public AST()
file: Sources/SolidityAST/SolidityAST.cs
start line: 55
end line: 61
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 391
unit: public SourceUnitList()
file: Sources/SolidityAST/SolidityAST.cs
start line: 95
end line: 102
size: 7 LOC
McCabe index: 1
number of parameters: 0

id: 392
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1091
end line: 1097
size: 7 LOC
McCabe index: 1
number of parameters: 0

id: 393
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1714
end line: 1720
size: 7 LOC
McCabe index: 1
number of parameters: 0

id: 394
unit: private static void ConnectControlFlow()
file: Sources/SolidityCFG/CFGBuilder.cs
start line: 29
end line: 35
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 395
unit: public CFGNode()
file: Sources/SolidityCFG/SolidityCFG.cs
start line: 36
end line: 42
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 396
unit: private void PrintCounterexample()
file: Sources/VeriSol/VeriSolExecuter.cs
start line: 277
end line: 285
size: 7 LOC
McCabe index: 1
number of parameters: 0

id: 397
unit: public void AddPreConditions()
file: Sources/BoogieAST/BoogieAST.cs
start line: 238
end line: 243
size: 6 LOC
McCabe index: 2
number of parameters: 1

id: 398
unit: public void AddPostConditions()
file: Sources/BoogieAST/BoogieAST.cs
start line: 244
end line: 249
size: 6 LOC
McCabe index: 2
number of parameters: 1

id: 399
unit: public BoogieMapType()
file: Sources/BoogieAST/BoogieAST.cs
start line: 450
end line: 455
size: 6 LOC
McCabe index: 2
number of parameters: 2

id: 400
unit: public BoogieMapType()
file: Sources/BoogieAST/BoogieAST.cs
start line: 457
end line: 462
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 401
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 491
end line: 496
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 402
unit: public BoogieConstant()
file: Sources/BoogieAST/BoogieAST.cs
start line: 513
end line: 518
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 403
unit: public static BoogieStmtList MakeSingletonStmtList()
file: Sources/BoogieAST/BoogieAST.cs
start line: 598
end line: 603
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 404
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 675
end line: 680
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 405
unit: public BoogieCallCmd()
file: Sources/BoogieAST/BoogieAST.cs
start line: 691
end line: 696
size: 6 LOC
McCabe index: 1
number of parameters: 3

id: 406
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 770
end line: 775
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 407
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 785
end line: 790
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 408
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 816
end line: 821
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 409
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 917
end line: 922
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 410
unit: public BoogieIfCmd()
file: Sources/BoogieAST/BoogieAST.cs
start line: 937
end line: 942
size: 6 LOC
McCabe index: 1
number of parameters: 3

id: 411
unit: public BoogieWhileCmd()
file: Sources/BoogieAST/BoogieAST.cs
start line: 984
end line: 989
size: 6 LOC
McCabe index: 1
number of parameters: 3

id: 412
unit: public BoogieMapSelect()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1083
end line: 1088
size: 6 LOC
McCabe index: 2
number of parameters: 2

id: 413
unit: public BoogieMapSelect()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1090
end line: 1095
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 414
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1185
end line: 1190
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 415
unit: public BoogieBinaryOperation()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1221
end line: 1226
size: 6 LOC
McCabe index: 1
number of parameters: 3

id: 416
unit: public BoogieITE()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1285
end line: 1290
size: 6 LOC
McCabe index: 1
number of parameters: 3

id: 417
unit: public override bool Visit()
file: Sources/SolToBoogie/FunctionEventCollector.cs
start line: 36
end line: 41
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 418
unit: public override bool Visit()
file: Sources/SolToBoogie/FunctionEventCollector.cs
start line: 43
end line: 48
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 419
unit: private static BoogieMapSelect GetBoogieExprOfStateVar()
file: Sources/SolToBoogie/HoudiniHelper.cs
start line: 63
end line: 68
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 420
unit: private BoogieIdentifierExpr findOutermostIdentifierExpr()
file: Sources/SolToBoogie/ModSetAnalysis.cs
start line: 128
end line: 134
size: 6 LOC
McCabe index: 2
number of parameters: 1

id: 421
unit: private BoogieFuncCallExpr GetCallExprForZeroInit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 661
end line: 666
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 422
unit: public BoogieAssignCmd adjustSum()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 678
end line: 685
size: 6 LOC
McCabe index: 1
number of parameters: 3

id: 423
unit: private void emitRevertLogic()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1740
end line: 1746
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 424
unit: private BoogieExpr TranslateBalance()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2315
end line: 2320
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 425
unit: private void AddUnsignedTypeAssumeCmd()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2976
end line: 2981
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 426
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 3790
end line: 3795
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 427
unit: public override bool Equals()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 3797
end line: 3802
size: 6 LOC
McCabe index: 3
number of parameters: 1

id: 428
unit: public RevertLogicGenerator()
file: Sources/SolToBoogie/RevertLogicGenerator.cs
start line: 259
end line: 264
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 429
unit: public static void havocGas()
file: Sources/SolToBoogie/TransUtils.cs
start line: 865
end line: 870
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 430
unit: public void AddConstructorToContract()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 294
end line: 299
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 431
unit: public void AddFallbackToContract()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 301
end line: 306
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 432
unit: public HashSet GetVisibleFunctionsByContract()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 456
end line: 461
size: 6 LOC
McCabe index: 2
number of parameters: 1

id: 433
unit: public HashSet GetVisibleStateVarsByContract()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 488
end line: 493
size: 6 LOC
McCabe index: 2
number of parameters: 1

id: 434
unit: public BoogieTypedIdent MakeFreshTypedIdent()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 495
end line: 500
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 435
unit: public override bool Visit()
file: Sources/SolToBoogie/UsingCollector.cs
start line: 24
end line: 29
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 436
unit: private void DeleteTemporaryFiles()
file: Sources/SolToBoogieTest/RegressionExecutor.cs
start line: 300
end line: 305
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 437
unit: public NodeMapper()
file: Sources/SolidityAST/NodeMapper.cs
start line: 14
end line: 19
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 438
unit: public RegressionExecutor()
file: Sources/SolidityAST/RegressionExecutor.cs
start line: 20
end line: 25
size: 6 LOC
McCabe index: 1
number of parameters: 3

id: 439
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 263
end line: 268
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 440
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 299
end line: 304
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 441
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 631
end line: 636
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 442
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 881
end line: 886
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 443
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1062
end line: 1067
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 444
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1209
end line: 1214
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 445
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1254
end line: 1259
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 446
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1351
end line: 1356
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 447
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1532
end line: 1537
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 448
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1564
end line: 1569
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 449
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1595
end line: 1600
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 450
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1747
end line: 1752
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 451
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1779
end line: 1784
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 452
unit: private CFGBuilder()
file: Sources/SolidityCFG/CFGBuilder.cs
start line: 37
end line: 42
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 453
unit: private static void Test()
file: Sources/SolidityCFG/TestMain.cs
start line: 47
end line: 52
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 454
unit: public BoogieTypeCtorDecl()
file: Sources/BoogieAST/BoogieAST.cs
start line: 70
end line: 74
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 455
unit: public BoogieTypeCtorDecl()
file: Sources/BoogieAST/BoogieAST.cs
start line: 76
end line: 80
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 456
unit: public BoogieAttribute()
file: Sources/BoogieAST/BoogieAST.cs
start line: 104
end line: 108
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 457
unit: public BoogieAttribute()
file: Sources/BoogieAST/BoogieAST.cs
start line: 110
end line: 114
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 458
unit: public BoogieAttribute()
file: Sources/BoogieAST/BoogieAST.cs
start line: 116
end line: 120
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 459
unit: public BoogieAttribute()
file: Sources/BoogieAST/BoogieAST.cs
start line: 122
end line: 126
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 460
unit: public BoogieAttribute()
file: Sources/BoogieAST/BoogieAST.cs
start line: 128
end line: 132
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 461
unit: public BoogieTypedIdent()
file: Sources/BoogieAST/BoogieAST.cs
start line: 485
end line: 489
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 462
unit: public BoogieGlobalVariable()
file: Sources/BoogieAST/BoogieAST.cs
start line: 542
end line: 546
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 463
unit: public BoogieLocalVariable()
file: Sources/BoogieAST/BoogieAST.cs
start line: 566
end line: 570
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 464
unit: public BoogieFormalParam()
file: Sources/BoogieAST/BoogieAST.cs
start line: 575
end line: 579
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 465
unit: public BoogieStmtList()
file: Sources/BoogieAST/BoogieAST.cs
start line: 586
end line: 590
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 466
unit: public int StatementCount()
file: Sources/BoogieAST/BoogieAST.cs
start line: 592
end line: 596
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 467
unit: public void AddStatement()
file: Sources/BoogieAST/BoogieAST.cs
start line: 605
end line: 609
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 468
unit: public BoogieAssignCmd()
file: Sources/BoogieAST/BoogieAST.cs
start line: 669
end line: 673
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 469
unit: public BoogieAssertCmd()
file: Sources/BoogieAST/BoogieAST.cs
start line: 741
end line: 745
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 470
unit: public BoogieReturnExprCmd()
file: Sources/BoogieAST/BoogieAST.cs
start line: 810
end line: 814
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 471
unit: public BoogieGotoCmd()
file: Sources/BoogieAST/BoogieAST.cs
start line: 837
end line: 841
size: 5 LOC
McCabe index: 2
number of parameters: 1

id: 472
unit: public BoogieHavocCmd()
file: Sources/BoogieAST/BoogieAST.cs
start line: 861
end line: 865
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 473
unit: public BoogieUnaryOperation()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1166
end line: 1170
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 474
unit: public BoogieFuncCallExpr()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1344
end line: 1348
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 475
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1350
end line: 1354
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 476
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1365
end line: 1369
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 477
unit: private void CopyToCommand()
file: Sources/ExternalToolsManager/DownloadedToolManager.cs
start line: 182
end line: 186
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 478
unit: public override bool Visit()
file: Sources/SolToBoogie/ContractCollector.cs
start line: 16
end line: 20
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 479
unit: public override bool Visit()
file: Sources/SolToBoogie/FunctionEventCollector.cs
start line: 25
end line: 29
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 480
unit: public void Resolve()
file: Sources/SolToBoogie/FunctionEventResolver.cs
start line: 26
end line: 30
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 481
unit: public HarnessGenerator()
file: Sources/SolToBoogie/HarnessGenerator.cs
start line: 18
end line: 22
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 482
unit: public override bool Visit()
file: Sources/SolToBoogie/MapArrayCollector.cs
start line: 20
end line: 24
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 483
unit: public ModifierCollector()
file: Sources/SolToBoogie/ModifierCollector.cs
start line: 20
end line: 24
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 484
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 162
end line: 167
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 485
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1340
end line: 1344
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 486
unit: public override bool Visit()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1963
end line: 1967
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 487
unit: public override bool Visit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 28
end line: 32
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 488
unit: public override bool Visit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 63
end line: 67
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 489
unit: public override bool Visit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 69
end line: 73
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 490
unit: public override bool Visit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 75
end line: 79
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 491
unit: public override bool Visit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 81
end line: 85
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 492
unit: public override bool Visit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 87
end line: 91
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 493
unit: public override bool Visit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 93
end line: 97
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 494
unit: public override bool Visit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 99
end line: 103
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 495
unit: public override bool Visit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 105
end line: 109
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 496
unit: public override bool Visit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 111
end line: 115
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 497
unit: public override bool Visit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 117
end line: 121
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 498
unit: public override bool Visit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 123
end line: 127
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 499
unit: public override bool Visit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 129
end line: 133
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 500
unit: public override bool Visit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 135
end line: 139
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 501
unit: public override bool Visit()
file: Sources/SolToBoogie/SourceInfoCollector.cs
start line: 37
end line: 41
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 502
unit: public void Resolve()
file: Sources/SolToBoogie/StateVariableResolver.cs
start line: 23
end line: 27
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 503
unit: public static bool IsInt()
file: Sources/SolToBoogie/TransUtils.cs
start line: 17
end line: 21
size: 5 LOC
McCabe index: 3
number of parameters: 1

id: 504
unit: public static bool IsUint()
file: Sources/SolToBoogie/TransUtils.cs
start line: 53
end line: 57
size: 5 LOC
McCabe index: 3
number of parameters: 1

id: 505
unit: public static bool IsBool()
file: Sources/SolToBoogie/TransUtils.cs
start line: 214
end line: 218
size: 5 LOC
McCabe index: 3
number of parameters: 1

id: 506
unit: public static bool IsString()
file: Sources/SolToBoogie/TransUtils.cs
start line: 220
end line: 224
size: 5 LOC
McCabe index: 3
number of parameters: 1

id: 507
unit: public static bool IsBytes()
file: Sources/SolToBoogie/TransUtils.cs
start line: 234
end line: 238
size: 5 LOC
McCabe index: 3
number of parameters: 1

id: 508
unit: public static bool IsElementaryType()
file: Sources/SolToBoogie/TransUtils.cs
start line: 255
end line: 259
size: 5 LOC
McCabe index: 7
number of parameters: 1

id: 509
unit: public static bool IsDynamicArray()
file: Sources/SolToBoogie/TransUtils.cs
start line: 261
end line: 265
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 510
unit: public static bool IsStaticArray()
file: Sources/SolToBoogie/TransUtils.cs
start line: 268
end line: 272
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 511
unit: public static string GetCanonicalLocalVariableName()
file: Sources/SolToBoogie/TransUtils.cs
start line: 444
end line: 448
size: 5 LOC
McCabe index: 2
number of parameters: 2

id: 512
unit: public static string GetCanonicalFunctionName()
file: Sources/SolToBoogie/TransUtils.cs
start line: 459
end line: 463
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 513
unit: public ASTNode GetASTNodeById()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 154
end line: 158
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 514
unit: public string GetAbsoluteSourcePathOfASTNode()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 168
end line: 172
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 515
unit: public int GetLineNumberOfASTNode()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 174
end line: 178
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 516
unit: public HashSet GetSubTypesOfContract()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 237
end line: 241
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 517
unit: public ContractDefinition GetContractByFunction()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 393
end line: 397
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 518
unit: public ContractDefinition GetContractByStateVarDecl()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 463
end line: 467
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 519
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 215
end line: 219
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 520
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 288
end line: 292
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 521
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 716
end line: 720
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 522
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 815
end line: 819
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 523
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 843
end line: 847
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 524
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 987
end line: 991
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 525
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1150
end line: 1154
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 526
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1169
end line: 1173
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 527
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1219
end line: 1223
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 528
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1309
end line: 1313
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 529
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1403
end line: 1407
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 530
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1435
end line: 1439
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 531
unit: public override void Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1456
end line: 1460
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 532
unit: public FunctionCFG()
file: Sources/SolidityCFG/SolidityCFG.cs
start line: 19
end line: 23
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 533
unit: public BasicBlock()
file: Sources/SolidityCFG/SolidityCFG.cs
start line: 79
end line: 83
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 534
unit: public BoogieAST()
file: Sources/BoogieAST/BoogieAST.cs
start line: 16
end line: 19
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 535
unit: public BoogieASTNode GetRoot()
file: Sources/BoogieAST/BoogieAST.cs
start line: 21
end line: 24
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 536
unit: public BoogieProgram()
file: Sources/BoogieAST/BoogieAST.cs
start line: 40
end line: 43
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 537
unit: public void AddDeclaration()
file: Sources/BoogieAST/BoogieAST.cs
start line: 45
end line: 48
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 538
unit: public BoogieAxiom()
file: Sources/BoogieAST/BoogieAST.cs
start line: 303
end line: 306
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 539
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 308
end line: 311
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 540
unit: public BoogieBasicType()
file: Sources/BoogieAST/BoogieAST.cs
start line: 382
end line: 385
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 541
unit: public override int GetHashCode()
file: Sources/BoogieAST/BoogieAST.cs
start line: 400
end line: 403
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 542
unit: public BoogieCtorType()
file: Sources/BoogieAST/BoogieAST.cs
start line: 419
end line: 422
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 543
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 424
end line: 427
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 544
unit: public override int GetHashCode()
file: Sources/BoogieAST/BoogieAST.cs
start line: 429
end line: 432
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 545
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 503
end line: 506
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 546
unit: public BoogieBigBlock()
file: Sources/BoogieAST/BoogieAST.cs
start line: 637
end line: 640
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 547
unit: public void AddStatement()
file: Sources/BoogieAST/BoogieAST.cs
start line: 642
end line: 645
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 548
unit: public BoogieAssumeCmd()
file: Sources/BoogieAST/BoogieAST.cs
start line: 765
end line: 768
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 549
unit: public BoogieLoopInvCmd()
file: Sources/BoogieAST/BoogieAST.cs
start line: 780
end line: 783
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 550
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 800
end line: 803
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 551
unit: public BoogieHavocCmd()
file: Sources/BoogieAST/BoogieAST.cs
start line: 867
end line: 870
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 552
unit: public BoogieSkipCmd()
file: Sources/BoogieAST/BoogieAST.cs
start line: 890
end line: 893
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 553
unit: public BoogieCommentCmd()
file: Sources/BoogieAST/BoogieAST.cs
start line: 912
end line: 915
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 554
unit: public BoogieBreakCmd()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1013
end line: 1016
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 555
unit: public BoogieLiteralExpr()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1039
end line: 1042
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 556
unit: public BoogieLiteralExpr()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1044
end line: 1047
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 557
unit: public BoogieIdentifierExpr()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1066
end line: 1069
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 558
unit: public override string ToString()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1071
end line: 1074
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 559
unit: public BoogieTupleExpr()
file: Sources/BoogieAST/BoogieAST.cs
start line: 1360
end line: 1363
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 560
unit: public static void Main()
file: Sources/BoogieAST/TestMain.cs
start line: 9
end line: 12
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 561
unit: private string GetZ3DependencyPath()
file: Sources/ExternalToolsManager/DotnetCliToolManager.cs
start line: 91
end line: 94
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 562
unit: protected virtual void Install()
file: Sources/ExternalToolsManager/DownloadedToolManager.cs
start line: 119
end line: 122
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 563
unit: internal static void Log()
file: Sources/ExternalToolsManager/ExternalToolsManager.cs
start line: 43
end line: 46
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 564
unit: internal ToolManager()
file: Sources/ExternalToolsManager/ToolManager.cs
start line: 51
end line: 54
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 565
unit: protected bool Exists()
file: Sources/ExternalToolsManager/ToolManager.cs
start line: 58
end line: 61
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 566
unit: public ConstructorCollector()
file: Sources/SolToBoogie/ConstructorCollector.cs
start line: 14
end line: 17
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 567
unit: public ContractCollector()
file: Sources/SolToBoogie/ContractCollector.cs
start line: 11
end line: 14
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 568
unit: public FallbackGenerator()
file: Sources/SolToBoogie/FallbackGenerator.cs
start line: 20
end line: 23
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 569
unit: public FunctionEventCollector()
file: Sources/SolToBoogie/FunctionEventCollector.cs
start line: 20
end line: 23
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 570
unit: public override void EndVisit()
file: Sources/SolToBoogie/FunctionEventCollector.cs
start line: 31
end line: 34
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 571
unit: public FunctionEventResolver()
file: Sources/SolToBoogie/FunctionEventResolver.cs
start line: 20
end line: 23
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 572
unit: public GhostVarAndAxiomGenerator()
file: Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
start line: 18
end line: 21
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 573
unit: private string GetHoudiniVarName()
file: Sources/SolToBoogie/HarnessGenerator.cs
start line: 250
end line: 253
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 574
unit: public InheritanceCollector()
file: Sources/SolToBoogie/InheritanceCollector.cs
start line: 13
end line: 16
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 575
unit: public MapArrayCollector()
file: Sources/SolToBoogie/MapArrayCollector.cs
start line: 15
end line: 18
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 576
unit: public override void EndVisit()
file: Sources/SolToBoogie/MapArrayCollector.cs
start line: 26
end line: 29
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 577
unit: public static string GetMemoryMapName()
file: Sources/SolToBoogie/MapArrayHelper.cs
start line: 17
end line: 20
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 578
unit: public ModSetAnalysis()
file: Sources/SolToBoogie/ModSetAnalysis.cs
start line: 18
end line: 21
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 579
unit: private BoogieExpr getSumArray()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 668
end line: 671
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 580
unit: private BoogieExpr getSumAccess()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 673
end line: 676
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 581
unit: private void TranslateInBuiltFunction()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 1631
end line: 1634
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 582
unit: private bool IsContractConstructor()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2604
end line: 2607
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 583
unit: private bool IsStructConstructor()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 2609
end line: 2612
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 584
unit: private bool IsUsingBasedLibraryCall()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 3181
end line: 3187
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 585
unit: private bool IsDynamicDispatching()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 3361
end line: 3364
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 586
unit: private bool IsTypeCast()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 3366
end line: 3369
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 587
unit: public static BoogieIdentifierExpr NewQVar()
file: Sources/SolToBoogie/ProcedureTranslator.cs
start line: 3807
end line: 3810
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 588
unit: public ResolutionHelper()
file: Sources/SolToBoogie/ResolutionHelper.cs
start line: 13
end line: 16
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 589
unit: private bool mustHaveShadow()
file: Sources/SolToBoogie/RevertLogicGenerator.cs
start line: 21
end line: 24
size: 4 LOC
McCabe index: 2
number of parameters: 1

id: 590
unit: bool catchesExceptions()
file: Sources/SolToBoogie/RevertLogicGenerator.cs
start line: 132
end line: 135
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 591
unit: private bool isHarnessProcudure()
file: Sources/SolToBoogie/RevertLogicGenerator.cs
start line: 242
end line: 245
size: 4 LOC
McCabe index: 3
number of parameters: 1

id: 592
unit: bool isConstructor()
file: Sources/SolToBoogie/RevertLogicGenerator.cs
start line: 266
end line: 269
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 593
unit: public SolidityDesugaring()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 23
end line: 26
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 594
unit: public override void EndVisit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 34
end line: 37
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 595
unit: public override void EndVisit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 141
end line: 144
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 596
unit: public override void EndVisit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 146
end line: 149
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 597
unit: public override void EndVisit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 151
end line: 154
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 598
unit: public override void EndVisit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 156
end line: 159
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 599
unit: public override void EndVisit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 161
end line: 164
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 600
unit: public override void EndVisit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 166
end line: 169
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 601
unit: public override void EndVisit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 171
end line: 174
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 602
unit: public override void EndVisit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 176
end line: 179
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 603
unit: public override void EndVisit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 181
end line: 184
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 604
unit: public override void EndVisit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 186
end line: 189
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 605
unit: public override void EndVisit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 191
end line: 194
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 606
unit: public override void EndVisit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 196
end line: 199
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 607
unit: public override void EndVisit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 201
end line: 204
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 608
unit: public override void EndVisit()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 252
end line: 255
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 609
unit: private void InsertStatementBefore()
file: Sources/SolToBoogie/SolidityDesugaring.cs
start line: 258
end line: 261
size: 4 LOC
McCabe index: 1
number of parameters: 3

id: 610
unit: public SourceInfoCollector()
file: Sources/SolToBoogie/SourceInfoCollector.cs
start line: 20
end line: 23
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 611
unit: public StateVariableCollector()
file: Sources/SolToBoogie/StateVariableCollector.cs
start line: 12
end line: 15
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 612
unit: public StateVariableResolver()
file: Sources/SolToBoogie/StateVariableResolver.cs
start line: 18
end line: 21
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 613
unit: public static bool IsStruct()
file: Sources/SolToBoogie/TransUtils.cs
start line: 240
end line: 243
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 614
unit: public static bool IsContract()
file: Sources/SolToBoogie/TransUtils.cs
start line: 245
end line: 248
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 615
unit: public static bool IsEnum()
file: Sources/SolToBoogie/TransUtils.cs
start line: 250
end line: 253
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 616
unit: public static bool IsArray()
file: Sources/SolToBoogie/TransUtils.cs
start line: 274
end line: 277
size: 4 LOC
McCabe index: 2
number of parameters: 1

id: 617
unit: public static string GetCanonicalVariableName()
file: Sources/SolToBoogie/TransUtils.cs
start line: 439
end line: 442
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 618
unit: public static string GetCanonicalConstructorName()
file: Sources/SolToBoogie/TransUtils.cs
start line: 465
end line: 468
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 619
unit: public static Tuple GenerateSourceInfoAnnotation()
file: Sources/SolToBoogie/TransUtils.cs
start line: 682
end line: 685
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 620
unit: public bool HasASTNodeId()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 149
end line: 152
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 621
unit: public void AddContract()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 198
end line: 201
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 622
unit: public HashSet GetStateVarsByContract()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 289
end line: 292
size: 4 LOC
McCabe index: 2
number of parameters: 1

id: 623
unit: public bool IsConstructorDefined()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 309
end line: 312
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 624
unit: public bool HasFuncSigInContract()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 375
end line: 378
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 625
unit: public bool HasFuncSignature()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 419
end line: 422
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 626
unit: public Dictionary GetAllFuncDefinitions()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 424
end line: 427
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 627
unit: public FunctionDefinition GetFunctionByDynamicType()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 429
end line: 432
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 628
unit: public bool HasStateVarName()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 469
end line: 472
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 629
unit: public VariableDeclaration GetStateVarByDynamicType()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 474
end line: 477
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 630
unit: public bool IsMethodInIgnoredSet()
file: Sources/SolToBoogie/TranslatorContext.cs
start line: 562
end line: 565
size: 4 LOC
McCabe index: 3
number of parameters: 2

id: 631
unit: public UsingCollector()
file: Sources/SolToBoogie/UsingCollector.cs
start line: 19
end line: 22
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 632
unit: public override void EndVisit()
file: Sources/SolToBoogie/UsingCollector.cs
start line: 31
end line: 34
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 633
unit: private static string GetCorralPathFromAssemblyPath()
file: Sources/SolToBoogieTest/Program.cs
start line: 42
end line: 46
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 634
unit: protected virtual bool CommonVisit()
file: Sources/SolidityAST/BasicASTVisitor.cs
start line: 7
end line: 10
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 635
unit: public Dictionary GetIdToNodeMap()
file: Sources/SolidityAST/NodeMapper.cs
start line: 21
end line: 24
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 636
unit: public SourceUnitList GetSourceUnits()
file: Sources/SolidityAST/SolidityAST.cs
start line: 75
end line: 78
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 637
unit: public Dictionary GetIdToNodeMap()
file: Sources/SolidityAST/SolidityAST.cs
start line: 80
end line: 83
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 638
unit: public ASTNode GetASTNodeByID()
file: Sources/SolidityAST/SolidityAST.cs
start line: 85
end line: 88
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 639
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 116
end line: 119
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 640
unit: public void AddSourceUnit()
file: Sources/SolidityAST/SolidityAST.cs
start line: 121
end line: 124
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 641
unit: public bool ContainsFilename()
file: Sources/SolidityAST/SolidityAST.cs
start line: 126
end line: 129
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 642
unit: public SourceUnit GetSourceUnitByFilename()
file: Sources/SolidityAST/SolidityAST.cs
start line: 131
end line: 134
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 643
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 192
end line: 195
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 644
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 221
end line: 224
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 645
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 258
end line: 261
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 646
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 294
end line: 297
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 647
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 336
end line: 339
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 648
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 382
end line: 385
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 649
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 460
end line: 463
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 650
unit: public int Length()
file: Sources/SolidityAST/SolidityAST.cs
start line: 500
end line: 503
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 651
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 514
end line: 517
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 652
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 552
end line: 555
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 653
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 586
end line: 589
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 654
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 626
end line: 629
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 655
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 659
end line: 662
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 656
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 694
end line: 697
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 657
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 722
end line: 725
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 658
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 727
end line: 730
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 659
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 771
end line: 774
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 660
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 821
end line: 824
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 661
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 826
end line: 829
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 662
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 849
end line: 852
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 663
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 854
end line: 857
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 664
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 876
end line: 879
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 665
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 908
end line: 911
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 666
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 967
end line: 970
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 667
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 993
end line: 996
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 668
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 998
end line: 1001
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 669
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1026
end line: 1029
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 670
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1057
end line: 1060
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 671
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1086
end line: 1089
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 672
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1133
end line: 1136
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 673
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1156
end line: 1159
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 674
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1161
end line: 1164
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 675
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1175
end line: 1178
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 676
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1180
end line: 1183
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 677
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1204
end line: 1207
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 678
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1225
end line: 1228
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 679
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1230
end line: 1233
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 680
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1249
end line: 1252
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 681
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1284
end line: 1287
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 682
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1315
end line: 1318
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 683
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1346
end line: 1349
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 684
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1409
end line: 1412
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 685
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1441
end line: 1444
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 686
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1446
end line: 1449
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 687
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1462
end line: 1465
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 688
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1467
end line: 1470
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 689
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1491
end line: 1494
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 690
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1527
end line: 1530
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 691
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1559
end line: 1562
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 692
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1590
end line: 1593
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 693
unit: public int Length()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1609
end line: 1612
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 694
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1628
end line: 1631
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 695
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1676
end line: 1679
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 696
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1709
end line: 1712
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 697
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1742
end line: 1745
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 698
unit: public override T Accept()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1774
end line: 1777
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 699
unit: public override string ToString()
file: Sources/SolidityAST/SolidityAST.cs
start line: 1793
end line: 1796
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 700
unit: private void AppendControlFlow()
file: Sources/SolidityCFG/CFGBuilder.cs
start line: 44
end line: 47
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 701
unit: public CFGNodeFactory()
file: Sources/SolidityCFG/CFGNodeFactory.cs
start line: 9
end line: 12
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 702
unit: public CFGNode MakeNode()
file: Sources/SolidityCFG/CFGNodeFactory.cs
start line: 14
end line: 17
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 703
unit: public List GetExpressions()
file: Sources/SolidityCFG/SolidityCFG.cs
start line: 85
end line: 88
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 704
unit: public void AddExpression()
file: Sources/SolidityCFG/SolidityCFG.cs
start line: 90
end line: 93
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 705
unit: public Expression GetPredicate()
file: Sources/SolidityCFG/SolidityCFG.cs
start line: 95
end line: 98
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 706
unit: public void SetPredicate()
file: Sources/SolidityCFG/SolidityCFG.cs
start line: 100
end line: 103
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 707
unit: internal DotnetCliToolManager()
file: Sources/ExternalToolsManager/DotnetCliToolManager.cs
start line: 17
end line: 19
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 708
unit: internal DownloadedToolManager()
file: Sources/ExternalToolsManager/DownloadedToolManager.cs
start line: 68
end line: 70
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 709
unit: public SolcManager()
file: Sources/ExternalToolsManager/SolcManager.cs
start line: 5
end line: 7
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 710
unit: protected virtual void CommonEndVisit()
file: Sources/SolidityAST/BasicASTVisitor.cs
start line: 12
end line: 15
size: 3 LOC
McCabe index: 1
number of parameters: 1