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.
File Size Overall
- There are 22 files with 626 lines of code.
- 0 very long files (0 lines of code)
- 0 long files (0 lines of code)
- 1 medium size files (264 lines of codeclsfd_ftr_w_mp_ins)
- 1 small files (133 lines of code)
- 20 very small files (229 lines of code)
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
File Size per Logical Decomposition
primary
Longest Files (Top 22)
| File | # lines | # units |
|---|---|---|
 run-cbmc-proofs.py in template-for-repository/proofs |
264 | 12 |
remove-apache-license-identifier.py in root |
133 | 10 |
util.py in scripts |
77 | 14 |
setup-proof.py in scripts |
46 | 9 |
setup.py in scripts |
29 | 2 |
 bounds_check_harness.c in template-for-repository/negative_tests/bounds_check |
7 | 1 |
pointer_overflow_check_harness.c in template-for-repository/negative_tests/pointer_overflow_check |
6 | 1 |
pointer_underflow_check_harness.c in template-for-repository/negative_tests/pointer_underflow_check |
6 | 1 |
conversion_check_harness.c in template-for-repository/negative_tests/conversion_check |
5 | 1 |
undefined_shift_check_harness.c in template-for-repository/negative_tests/undefined_shift_check |
5 | 1 |
FUNCTION_harness.c in template-for-proof |
4 | 1 |
div_by_zero_check_harness.c in template-for-repository/negative_tests/div_by_zero_check |
4 | 1 |
signed_overflow_check_harness.c in template-for-repository/negative_tests/signed_overflow_check |
4 | 1 |
unsigned_overflow_check_harness.c in template-for-repository/negative_tests/unsigned_overflow_check |
4 | 1 |
assert_harness.c in template-for-repository/negative_tests/assert |
4 | 1 |
signed_underflow_check_harness.c in template-for-repository/negative_tests/signed_underflow_check |
4 | 1 |
nan_check_harness.c in template-for-repository/negative_tests/nan_check |
4 | 1 |
float_underflow_check_harness.c in template-for-repository/negative_tests/float_underflow_check |
4 | 1 |
pointer_primitive_check_harness.c in template-for-repository/negative_tests/pointer_primitive_check |
4 | 1 |
pointer_check_harness.c in template-for-repository/negative_tests/pointer_check |
4 | 1 |
float_overflow_check_harness.c in template-for-repository/negative_tests/float_overflow_check |
4 | 1 |
unsigned_underflow_check_harness.c in template-for-repository/negative_tests/unsigned_underflow_check |
4 | 1 |
Files With Most Units (Top 20)
| File | # lines | # units |
|---|---|---|
util.py in scripts |
77 | 14 |
run-cbmc-proofs.py in template-for-repository/proofs |
264 | 12 |
remove-apache-license-identifier.py in root |
133 | 10 |
setup-proof.py in scripts |
46 | 9 |
setup.py in scripts |
29 | 2 |
FUNCTION_harness.c in template-for-proof |
4 | 1 |
div_by_zero_check_harness.c in template-for-repository/negative_tests/div_by_zero_check |
4 | 1 |
signed_overflow_check_harness.c in template-for-repository/negative_tests/signed_overflow_check |
4 | 1 |
unsigned_overflow_check_harness.c in template-for-repository/negative_tests/unsigned_overflow_check |
4 | 1 |
pointer_overflow_check_harness.c in template-for-repository/negative_tests/pointer_overflow_check |
6 | 1 |
assert_harness.c in template-for-repository/negative_tests/assert |
4 | 1 |
conversion_check_harness.c in template-for-repository/negative_tests/conversion_check |
5 | 1 |
signed_underflow_check_harness.c in template-for-repository/negative_tests/signed_underflow_check |
4 | 1 |
nan_check_harness.c in template-for-repository/negative_tests/nan_check |
4 | 1 |
pointer_underflow_check_harness.c in template-for-repository/negative_tests/pointer_underflow_check |
6 | 1 |
undefined_shift_check_harness.c in template-for-repository/negative_tests/undefined_shift_check |
5 | 1 |
float_underflow_check_harness.c in template-for-repository/negative_tests/float_underflow_check |
4 | 1 |
pointer_primitive_check_harness.c in template-for-repository/negative_tests/pointer_primitive_check |
4 | 1 |
pointer_check_harness.c in template-for-repository/negative_tests/pointer_check |
4 | 1 |
float_overflow_check_harness.c in template-for-repository/negative_tests/float_overflow_check |
4 | 1 |
Files With Long Lines (Top 0)
There are 0 files with lines longer than 120 characters. In total, there are 0 long lines.
| File | # lines | # units | # long lines |
|---|---|---|---|