microsoft / Ironclad
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 501 files with 62,809 lines of code.
    • 8 very long files (11,100 lines of code)
    • 14 long files (9,697 lines of code)
    • 43 medium size files (13,331 lines of codeclsfd_ftr_w_mp_ins)
    • 103 small files (14,440 lines of code)
    • 333 very small files (14,241 lines of code)
17% | 15% | 21% | 22% | 22%
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
cs12% | 9% | 19% | 28% | 29%
asm78% | 0% | 10% | 10% | <1%
fs51% | 41% | 0% | 0% | 7%
h63% | 0% | 24% | 12% | <1%
cpp0% | 48% | 37% | 10% | 4%
ps10% | 0% | 76% | 0% | 23%
inc0% | 0% | 100% | 0% | 0%
py0% | 0% | 29% | 18% | 52%
vcxproj0% | 0% | 0% | 67% | 32%
smt0% | 0% | 0% | 100% | 0%
ccproj0% | 0% | 0% | 0% | 100%
cmd0% | 0% | 0% | 0% | 100%
cscfg0% | 0% | 0% | 0% | 100%
filters0% | 0% | 0% | 0% | 100%
csdef0% | 0% | 0% | 0% | 100%
vsixmanifest0% | 0% | 0% | 0% | 100%
xaml0% | 0% | 0% | 0% | 100%
smt20% | 0% | 0% | 0% | 100%
File Size per Logical Decomposition
primary
1001+
501-1000
201-500
101-200
1-100
ironclad-apps/src/Checked28% | 29% | 30% | 10% | 1%
ironclad-apps/tools/DafnyCC73% | 13% | 12% | 0% | 0%
ironclad-apps/tools/DafnySpec53% | 18% | 22% | 3% | 2%
ironclad-apps/tools/Beat94% | 0% | 0% | 0% | 5%
ironclad-apps/tools/BoogieAsm0% | 83% | 11% | 0% | 5%
ironfleet/src/Dafny0% | 70% | 16% | 13% | 0%
ironclad-apps/tools/Dafny0% | 97% | 0% | 0% | 2%
ironclad-apps/src/Clients0% | 11% | 6% | 21% | 60%
ironfleet/src/IronSHTClient0% | 74% | 0% | 16% | 9%
ironclad-apps/tools/NuBuild0% | 0% | 24% | 41% | 34%
ironclad-apps/tools/NuBuild20% | 0% | 24% | 41% | 34%
ironfleet/src/IronRSLKVServer0% | 0% | 70% | 29% | 0%
ironclad-apps0% | 0% | 94% | 0% | 5%
ironfleet/tools/scripts0% | 0% | 35% | 22% | 42%
ironclad-apps/src/DafnyTestDriver0% | 0% | 0% | 58% | 41%
ironfleet/src/CreateIronServiceCerts0% | 0% | 0% | 69% | 30%
ironfleet/src/IronRSLKVClient0% | 0% | 0% | 43% | 56%
ironclad-apps/tools/standalone0% | 0% | 0% | 57% | 42%
ironfleet/src/RedisClient0% | 0% | 0% | 28% | 71%
ironclad-apps/tools/SymDiff0% | 0% | 0% | 90% | 9%
ironfleet/src/IronSHTServer0% | 0% | 0% | 61% | 38%
ironfleet/src/IronfleetCommon0% | 0% | 0% | 60% | 39%
ironfleet/src/IronRSLCounterClient0% | 0% | 0% | 0% | 100%
ironfleet/src/TestIoFramework0% | 0% | 0% | 0% | 100%
ironfleet/src/IronLockServer0% | 0% | 0% | 0% | 100%
ironfleet/src/IronRSLClient0% | 0% | 0% | 0% | 100%
ironclad-apps/tools/scripts0% | 0% | 0% | 0% | 100%
ironfleet/tools/DepGraph0% | 0% | 0% | 0% | 100%
ironfleet/src/IronRSLCounterServer0% | 0% | 0% | 0% | 100%
ironclad-apps/boot0% | 0% | 0% | 0% | 100%
ironclad-apps/tools/LineCount0% | 0% | 0% | 0% | 100%
ironclad-apps/src/Dafny0% | 0% | 0% | 0% | 100%
Longest Files (Top 50)
File# lines# units
fs
main.fs
in ironclad-apps/tools/Beat
 1856 -
CompileMethod.cs
in ironclad-apps/tools/DafnyCC
 1837 43
blentry16.asm
in ironclad-apps/src/Checked/BootLoader/SingLdrPc
 1458 -
blcrtasm.asm
in ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86
 1348 -
DafnyCC.cs
in ironclad-apps/tools/DafnyCC
 1239 39
DafnySpecAst.cs
in ironclad-apps/tools/DafnySpec/DafnySpecAst
 1215 66
Compile.cs
in ironclad-apps/tools/DafnySpec
 1125 49
bl.h
in ironclad-apps/src/Checked/BootLoader/SingLdrPc
 1022 -
IoFramework.cs
in ironfleet/src/Dafny/Distributed/Common/Native
 990 69
fs
main.fs
in ironclad-apps/tools/BoogieAsm
 876 -
blfat.cpp
in ironclad-apps/src/Checked/BootLoader/SingLdrPc
 852 1
DafnyRuntime.cs
in ironclad-apps/tools/Dafny
 827 97
DafnySpec.cs
in ironclad-apps/tools/DafnySpec
 797 53
blsingularity.cpp
in ironclad-apps/src/Checked/BootLoader/SingLdrPc
 682 2
blstring.cpp
in ironclad-apps/src/Checked/BootLoader/SingLdrPc
 679 -
blmm.cpp
in ironclad-apps/src/Checked/BootLoader/SingLdrPc
 632 -
fs
emit_bpl.fs
in ironclad-apps/tools/BoogieAsm
 629 -
RegAlloc.cs
in ironclad-apps/tools/DafnyCC
 576 10
aik.cpp
in ironclad-apps/src/Checked/BootLoader/SingLdrPc/tpm
 561 -
StateMachine.cs
in ironclad-apps/src/Clients/DiffPrivSrv
 553 41
Client.cs
in ironfleet/src/IronSHTClient
 529 25
blutil.cpp
in ironclad-apps/src/Checked/BootLoader/SingLdrPc
 514 -
ParseMain.cs
in ironclad-apps/tools/DafnySpec
 458 12
blacpi.cpp
in ironclad-apps/src/Checked/BootLoader/SingLdrPc
 457 -
Program.cs
in ironclad-apps/tools/NuBuild/ItemCacheTool
 457 11
Program.cs
in ironclad-apps/tools/NuBuild2/ItemCacheTool
 457 11
Scheduler.cs
in ironclad-apps/tools/NuBuild/NuBuild
 426 23
Scheduler.cs
in ironclad-apps/tools/NuBuild2/NuBuild
 426 23
blkd1394.h
in ironclad-apps/src/Checked/BootLoader/SingLdrPc
 399 -
blpxe.cpp
in ironclad-apps/src/Checked/BootLoader/SingLdrPc
 399 -
blkd1394.cpp
in ironclad-apps/src/Checked/BootLoader/SingLdrPc
 391 -
blutilasm.asm
in ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86
 380 -
Program.cs
in ironclad-apps/tools/NuBuild/NuBuild
 377 13
Program.cs
in ironclad-apps/tools/NuBuild2/NuBuild
 377 13
blpci.cpp
in ironclad-apps/src/Checked/BootLoader/SingLdrPc
 370 -
KVMessages.cs
in ironfleet/src/IronRSLKVServer
 356 32
blcdrom.cpp
in ironclad-apps/src/Checked/BootLoader/SingLdrPc
 352 -
def.ps1
in ironclad-apps
 348 -
blpecoff.cpp
in ironclad-apps/src/Checked/BootLoader/SingLdrPc
 336 -
bl.inc
in ironclad-apps/src/Checked/BootLoader/SingLdrPc
 325 -
Common.cs
in ironclad-apps/src/Clients/Common
 321 14
Rtl.cs
in ironclad-apps/tools/DafnyCC
 305 39
CompileFunction.cs
in ironclad-apps/tools/DafnySpec
 285 2
Repository.cs
in ironclad-apps/tools/NuBuild/NuBuild
 285 17
Repository.cs
in ironclad-apps/tools/NuBuild2/NuBuild
 285 17
dafny-line-count.py
in ironfleet/tools/scripts
 283 17
CloudExecutionRequest.cs
in ironclad-apps/tools/NuBuild/NuBuild
 277 8
CloudExecutionRequest.cs
in ironclad-apps/tools/NuBuild2/NuBuild
 277 8
CloudExecutionReport.cs
in ironclad-apps/tools/NuBuild/NuBuild
 260 8
CloudExecutionReport.cs
in ironclad-apps/tools/NuBuild2/NuBuild
 260 8
Files With Most Units (Top 20)
File# lines# units
DafnyRuntime.cs
in ironclad-apps/tools/Dafny
 827 97
IoFramework.cs
in ironfleet/src/Dafny/Distributed/Common/Native
 990 69
DafnySpecAst.cs
in ironclad-apps/tools/DafnySpec/DafnySpecAst
 1215 66
DafnySpec.cs
in ironclad-apps/tools/DafnySpec
 797 53
Compile.cs
in ironclad-apps/tools/DafnySpec
 1125 49
CompileMethod.cs
in ironclad-apps/tools/DafnyCC
 1837 43
StateMachine.cs
in ironclad-apps/src/Clients/DiffPrivSrv
 553 41
RtlGhost.cs
in ironclad-apps/tools/DafnySpec
 253 40
DafnyCC.cs
in ironclad-apps/tools/DafnyCC
 1239 39
Rtl.cs
in ironclad-apps/tools/DafnyCC
 305 39
Presentater.cs
in ironclad-apps/tools/NuBuild/NuBuild
 200 32
Presentater.cs
in ironclad-apps/tools/NuBuild2/NuBuild
 200 32
KVMessages.cs
in ironfleet/src/IronRSLKVServer
 356 32
Client.cs
in ironfleet/src/IronSHTClient
 529 25
Scheduler.cs
in ironclad-apps/tools/NuBuild/NuBuild
 426 23
Scheduler.cs
in ironclad-apps/tools/NuBuild2/NuBuild
 426 23
BuildObject.cs
in ironclad-apps/tools/NuBuild/NuBuild
 144 18
ItemCacheMultiplexer.cs
in ironclad-apps/tools/NuBuild/NuBuild
 239 18
BuildObject.cs
in ironclad-apps/tools/NuBuild2/NuBuild
 144 18
ItemCacheMultiplexer.cs
in ironclad-apps/tools/NuBuild2/NuBuild
 239 18
Files With Long Lines (Top 20)

There are 226 files with lines longer than 120 characters. In total, there are 898 long lines.

File# lines# units# long lines
DafnyCC.cs
in ironclad-apps/tools/DafnyCC
 1239 39 84
fs
main.fs
in ironclad-apps/tools/BoogieAsm
 876 - 54
CompileMethod.cs
in ironclad-apps/tools/DafnyCC
 1837 43 37
fs
main.fs
in ironclad-apps/tools/Beat
 1856 - 30
fs
emit_bpl.fs
in ironclad-apps/tools/BoogieAsm
 629 - 23
DafnySpecAst.cs
in ironclad-apps/tools/DafnySpec/DafnySpecAst
 1215 66 21
IoFramework.cs
in ironfleet/src/Dafny/Distributed/Common/Native
 990 69 16
def.ps1
in ironclad-apps
 348 - 14
GlobalSuppressions.cs
in ironclad-apps/src/Clients/Benchmark/Communication
 18 - 12
GlobalSuppressions.cs
in ironclad-apps/src/Clients/Benchmark/BenchmarkRequestCmd
 17 - 11
GlobalSuppressions.cs
in ironclad-apps/src/Clients/Benchmark/BenchmarkRequestGui
 16 - 10
Compile.cs
in ironclad-apps/tools/DafnySpec
 1125 49 10
Program.cs
in ironclad-apps/tools/NuBuild/ItemCacheTool
 457 11 10
BootableAppVerb.cs
in ironclad-apps/tools/NuBuild/NuBuild
 106 10 10
Program.cs
in ironclad-apps/tools/NuBuild/NuBuild
 377 13 10
Program.cs
in ironclad-apps/tools/NuBuild2/ItemCacheTool
 457 11 10
BootableAppVerb.cs
in ironclad-apps/tools/NuBuild2/NuBuild
 105 10 10
Program.cs
in ironclad-apps/tools/NuBuild2/NuBuild
 377 13 10
blsingularity.cpp
in ironclad-apps/src/Checked/BootLoader/SingLdrPc
 682 2 9
RegAlloc.cs
in ironclad-apps/tools/DafnyCC
 576 10 9