awslabs / aws-viewer-for-cbmc
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 43 files with 4,701 lines of code.
    • 0 very long files (0 lines of code)
    • 1 long files (506 lines of code)
    • 5 medium size files (1,646 lines of codeclsfd_ftr_w_mp_ins)
    • 12 small files (1,681 lines of code)
    • 25 very small files (868 lines of code)
0% | 10% | 35% | 35% | 18%
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
py0% | 11% | 38% | 35% | 13%
html0% | 0% | 0% | 54% | 45%
css0% | 0% | 0% | 0% | 100%
js0% | 0% | 0% | 0% | 100%
in0% | 0% | 0% | 0% | 100%
File Size per Logical Decomposition
primary
1001+
501-1000
201-500
101-200
1-100
cbmc_viewer0% | 13% | 32% | 35% | 18%
summary0% | 0% | 67% | 32% | 0%
cbmc_viewer/templates0% | 0% | 0% | 54% | 45%
ROOT0% | 0% | 0% | 0% | 100%
Longest Files (Top 43)
File# lines# units
tracet.py
in cbmc_viewer
 506 37
stubs.py
in summary
 413 43
optionst.py
in cbmc_viewer
 340 31
coveraget.py
in cbmc_viewer
 339 31
resultt.py
in cbmc_viewer
 319 31
sourcet.py
in cbmc_viewer
 235 21
summary.py
in summary
 200 11
markup_summary.py
in cbmc_viewer
 176 18
loopt.py
in cbmc_viewer
 152 20
viewer.py
in cbmc_viewer
 147 7
summary.jinja.html
in cbmc_viewer/templates
 146 -
markup_trace.py
in cbmc_viewer
 142 15
symbolt.py
in cbmc_viewer
 136 14
propertyt.py
in cbmc_viewer
 126 17
markup_code.py
in cbmc_viewer
 125 17
reachablet.py
in cbmc_viewer
 124 15
symbol_table.py
in cbmc_viewer
 105 10
srcloct.py
in cbmc_viewer
 102 14
viewer.css
in cbmc_viewer
 82 -
viewer.js
in cbmc_viewer
 78 14
trace.jinja.html
in cbmc_viewer/templates
 73 -
parse.py
in cbmc_viewer
 63 5
markup_link.py
in cbmc_viewer
 52 7
setup.py
in root
 47 -
filet.py
in cbmc_viewer
 38 8
link.jinja.html
in cbmc_viewer/templates
 37 -
report.py
in cbmc_viewer
 37 2
util.py
in cbmc_viewer
 35 4
make_symbol.py
in cbmc_viewer
 34 2
templates.py
in cbmc_viewer
 32 4
make_reachable.py
in cbmc_viewer
 31 2
make_source.py
in cbmc_viewer
 30 2
make_trace.py
in cbmc_viewer
 28 2
make_loop.py
in cbmc_viewer
 28 2
make_property.py
in cbmc_viewer
 27 2
make_coverage.py
in cbmc_viewer
 27 2
make_result.py
in cbmc_viewer
 26 2
runt.py
in cbmc_viewer
 24 1
code.jinja.html
in cbmc_viewer/templates
 14 -
configt.py
in cbmc_viewer
 13 2
version.py
in cbmc_viewer
 7 1
in
MANIFEST.in
in cbmc_viewer
 4 -
__init__.py
in cbmc_viewer
 1 -
Files With Most Units (Top 20)
File# lines# units
stubs.py
in summary
 413 43
tracet.py
in cbmc_viewer
 506 37
resultt.py
in cbmc_viewer
 319 31
optionst.py
in cbmc_viewer
 340 31
coveraget.py
in cbmc_viewer
 339 31
sourcet.py
in cbmc_viewer
 235 21
loopt.py
in cbmc_viewer
 152 20
markup_summary.py
in cbmc_viewer
 176 18
propertyt.py
in cbmc_viewer
 126 17
markup_code.py
in cbmc_viewer
 125 17
reachablet.py
in cbmc_viewer
 124 15
markup_trace.py
in cbmc_viewer
 142 15
symbolt.py
in cbmc_viewer
 136 14
srcloct.py
in cbmc_viewer
 102 14
viewer.js
in cbmc_viewer
 78 14
summary.py
in summary
 200 11
symbol_table.py
in cbmc_viewer
 105 10
filet.py
in cbmc_viewer
 38 8
viewer.py
in cbmc_viewer
 147 7
markup_link.py
in cbmc_viewer
 52 7
Files With Long Lines (Top 1)

There is only one file with lines longer than 120 characters. In total, there is only one long line.

File# lines# units# long lines
summary.jinja.html
in cbmc_viewer/templates
 146 - 1