The distribution of size of files (measured in lines of code).
File | # lines | # units |
---|---|---|
ProcedureTranslator.cs in Sources/SolToBoogie |
3056 | 105 |
SolidityAST.cs in Sources/SolidityAST |
1474 | 150 |
BoogieAST.cs in Sources/BoogieAST |
1181 | 108 |
TransUtils.cs in Sources/SolToBoogie |
799 | 38 |
GhostVarAndAxiomGenerator.cs in Sources/SolToBoogie |
611 | 39 |
RevertLogicGenerator.cs in Sources/SolToBoogie |
479 | 14 |
TranslatorContext.cs in Sources/SolToBoogie |
441 | 48 |
VeriSolExecuter.cs in Sources/VeriSol |
383 | 12 |
HarnessGenerator.cs in Sources/SolToBoogie |
330 | 15 |
SolidityDesugaring.cs in Sources/SolToBoogie |
281 | 35 |
RegressionExecutor.cs in Sources/SolToBoogieTest |
246 | 9 |
DownloadedToolManager.cs in Sources/ExternalToolsManager |
173 | 11 |
ModSetAnalysis.cs in Sources/SolToBoogie |
167 | 5 |
FallbackGenerator.cs in Sources/SolToBoogie |
158 | 5 |
ParseUtils.cs in Sources/SolToBoogie |
157 | - |
CFGBuilder.cs in Sources/SolidityCFG |
157 | 11 |
RegressionExecutor.cs in Sources/SolidityAST |
141 | 5 |
MapArrayHelper.cs in Sources/SolToBoogie |
125 | 4 |
BasicASTVisitor.cs in Sources/SolidityAST |
106 | 2 |
SolidityCFG.cs in Sources/SolidityCFG |
104 | 9 |
SourceInfoCollector.cs in Sources/SolToBoogie |
99 | 6 |
IASTVisitor.cs in Sources/SolidityAST |
99 | - |
FunctionEventResolver.cs in Sources/SolToBoogie |
98 | 6 |
Program.cs in Sources/VeriSol |
98 | 3 |
ModifierCollector.cs in Sources/SolToBoogie |
93 | 2 |
StateVariableResolver.cs in Sources/SolToBoogie |
92 | 6 |
DotnetCliToolManager.cs in Sources/ExternalToolsManager |
82 | 5 |
BoogieTranslator.cs in Sources/SolToBoogie |
68 | 1 |
TestMain.cs in Sources/SolidityCFG |
68 | 3 |
SolidityCompiler.cs in Sources/SolidityAST |
67 | 2 |
HoudiniHelper.cs in Sources/SolToBoogie |
66 | 3 |
ToolManager.cs in Sources/ExternalToolsManager |
64 | 3 |
Program.cs in Sources/SolToBoogieTest |
61 | 3 |
ResolutionHelper.cs in Sources/SolToBoogie |
59 | 4 |
TranslatorFlags.cs in Sources/SolToBoogie |
57 | 1 |
IASTGenericVisitor.cs in Sources/SolidityAST |
53 | - |
ExternalToolsManager.cs in Sources/ExternalToolsManager |
48 | 3 |
CompilerOutput.cs in Sources/SolidityAST |
48 | 2 |
MapArrayCollector.cs in Sources/SolToBoogie |
37 | 4 |
UsingCollector.cs in Sources/SolToBoogie |
37 | 4 |
FunctionEventCollector.cs in Sources/SolToBoogie |
36 | 5 |
azure-pipelines.yml in root |
36 | - |
TestMain.cs in Sources/SolidityAST |
35 | 2 |
ConstructorCollector.cs in Sources/SolToBoogie |
31 | 2 |
NodeMapper.cs in Sources/SolidityAST |
28 | 3 |
InheritanceCollector.cs in Sources/SolToBoogie |
26 | 2 |
StateVariableCollector.cs in Sources/SolToBoogie |
26 | 2 |
SolcManager.cs in Sources/ExternalToolsManager |
24 | 2 |
ToolSourceSettings.cs in Sources/ExternalToolsManager |
18 | - |
ContractCollector.cs in Sources/SolToBoogie |
18 | 2 |
File | # lines | # units |
---|---|---|
SolidityAST.cs in Sources/SolidityAST |
1474 | 150 |
BoogieAST.cs in Sources/BoogieAST |
1181 | 108 |
ProcedureTranslator.cs in Sources/SolToBoogie |
3056 | 105 |
TranslatorContext.cs in Sources/SolToBoogie |
441 | 48 |
GhostVarAndAxiomGenerator.cs in Sources/SolToBoogie |
611 | 39 |
TransUtils.cs in Sources/SolToBoogie |
799 | 38 |
SolidityDesugaring.cs in Sources/SolToBoogie |
281 | 35 |
HarnessGenerator.cs in Sources/SolToBoogie |
330 | 15 |
RevertLogicGenerator.cs in Sources/SolToBoogie |
479 | 14 |
VeriSolExecuter.cs in Sources/VeriSol |
383 | 12 |
DownloadedToolManager.cs in Sources/ExternalToolsManager |
173 | 11 |
CFGBuilder.cs in Sources/SolidityCFG |
157 | 11 |
RegressionExecutor.cs in Sources/SolToBoogieTest |
246 | 9 |
SolidityCFG.cs in Sources/SolidityCFG |
104 | 9 |
FunctionEventResolver.cs in Sources/SolToBoogie |
98 | 6 |
SourceInfoCollector.cs in Sources/SolToBoogie |
99 | 6 |
StateVariableResolver.cs in Sources/SolToBoogie |
92 | 6 |
DotnetCliToolManager.cs in Sources/ExternalToolsManager |
82 | 5 |
FallbackGenerator.cs in Sources/SolToBoogie |
158 | 5 |
FunctionEventCollector.cs in Sources/SolToBoogie |
36 | 5 |
There are 29 files with lines longer than 120 characters. In total, there are 342 long lines.
File | # lines | # units | # long lines |
---|---|---|---|
ProcedureTranslator.cs in Sources/SolToBoogie |
3056 | 105 | 139 |
RevertLogicGenerator.cs in Sources/SolToBoogie |
479 | 14 | 39 |
GhostVarAndAxiomGenerator.cs in Sources/SolToBoogie |
611 | 39 | 37 |
HarnessGenerator.cs in Sources/SolToBoogie |
330 | 15 | 23 |
TransUtils.cs in Sources/SolToBoogie |
799 | 38 | 18 |
TranslatorContext.cs in Sources/SolToBoogie |
441 | 48 | 16 |
FallbackGenerator.cs in Sources/SolToBoogie |
158 | 5 | 14 |
Program.cs in Sources/VeriSol |
98 | 3 | 11 |
VeriSolExecuter.cs in Sources/VeriSol |
383 | 12 | 5 |
BoogieAST.cs in Sources/BoogieAST |
1181 | 108 | 4 |
ModifierCollector.cs in Sources/SolToBoogie |
93 | 2 | 4 |
azure-pipelines.yml in root |
36 | - | 4 |
DotnetCliToolManager.cs in Sources/ExternalToolsManager |
82 | 5 | 3 |
ParseUtils.cs in Sources/SolToBoogie |
157 | - | 3 |
BoogieTranslator.cs in Sources/SolToBoogie |
68 | 1 | 2 |
HoudiniHelper.cs in Sources/SolToBoogie |
66 | 3 | 2 |
SolidityDesugaring.cs in Sources/SolToBoogie |
281 | 35 | 2 |
Program.cs in Sources/SolToBoogieTest |
61 | 3 | 2 |
RegressionExecutor.cs in Sources/SolToBoogieTest |
246 | 9 | 2 |
SolidityCompiler.cs in Sources/SolidityAST |
67 | 2 | 2 |