microsoft / verisol
File Size

The distribution of size of files (measured in lines of code).

Intro
  • File size measurements show the distribution of size of files.
  • Files are classified in four categories based on their size (lines of code): 1-100 (very small files), 101-200 (small files), 201-500 (medium size files), 501-1000 (long files), 1001+(very long files).
  • It is a good practice to keep files small. Long files may become "bloaters", code that have increased to such gargantuan proportions that they are hard to work with.
Learn more...
File Size Overall
  • There are 55 files with 12,317 lines of code.
    • 3 very long files (5,711 lines of code)
    • 2 long files (1,410 lines of code)
    • 6 medium size files (2,160 lines of codeclsfd_ftr_w_mp_ins)
    • 9 small files (1,288 lines of code)
    • 35 very small files (1,748 lines of code)
46% | 11% | 17% | 10% | 14%
Legend:
1001+
501-1000
201-500
101-200
1-100


explore: zoomable circles | sunburst | 3D view
File Size per Extension
1001+
501-1000
201-500
101-200
1-100
cs46% | 11% | 17% | 10% | 13%
yml0% | 0% | 0% | 0% | 100%
props0% | 0% | 0% | 0% | 100%
File Size per Logical Decomposition
primary
1001+
501-1000
201-500
101-200
1-100
Sources/SolToBoogie41% | 18% | 20% | 8% | 11%
Sources/SolidityAST71% | 0% | 0% | 11% | 16%
Sources/BoogieAST99% | 0% | 0% | 0% | <1%
Sources/VeriSol0% | 0% | 79% | 0% | 20%
Sources/SolToBoogieTest0% | 0% | 75% | 0% | 24%
Sources/SolidityCFG0% | 0% | 0% | 75% | 24%
Sources/ExternalToolsManager0% | 0% | 0% | 42% | 57%
ROOT0% | 0% | 0% | 0% | 100%
Sources0% | 0% | 0% | 0% | 100%
Longest Files (Top 50)
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
Files With Most Units (Top 20)
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
Files With Long Lines (Top 20)

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