apache / incubator-teaclave-verification
File Size

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

Intro
Learn more...
File Size Overall
0% | 17% | 30% | 31% | 19%
Legend:
1001+
501-1000
201-500
101-200
1-100


explore: grouped by folders | grouped by size | sunburst | 3D view
File Size per Extension
1001+
501-1000
201-500
101-200
1-100
thy0% | 17% | 30% | 31% | 19%
File Size per Logical Decomposition
primary
1001+
501-1000
201-500
101-200
1-100
access_control_module0% | 17% | 30% | 31% | 19%
Longest Files (Top 29)
File# lines# units
thy
AttrConf.thy
in access_control_module
 623 -
thy
I_FMT_MSA.thy
in access_control_module/interpretation
 439 -
thy
I_ResrcAttr.thy
in access_control_module/interpretation
 226 -
thy
I_AttrConf.thy
in access_control_module/interpretation
 221 -
thy
ResrcAttr.thy
in access_control_module
 213 -
thy
FMT_MSA.thy
in access_control_module
 178 -
thy
I_FDP_ACF.thy
in access_control_module/interpretation
 153 -
thy
TeaclaveAccessControl.thy
in access_control_module
 152 -
thy
ModelConf.thy
in access_control_module
 143 -
thy
I_SysId.thy
in access_control_module/interpretation
 133 -
thy
I_ModelConf.thy
in access_control_module/interpretation
 132 -
thy
FDP_ACF.thy
in access_control_module
 129 -
thy
FDP_ACC.thy
in access_control_module
 109 -
thy
FIA_USB.thy
in access_control_module
 76 -
thy
TeaclaveRequirements.thy
in access_control_module
 75 -
thy
I_ResrcType.thy
in access_control_module/interpretation
 58 -
thy
I_FIA_USB.thy
in access_control_module/interpretation
 50 -
thy
ResrcType.thy
in access_control_module
 48 -
thy
UsrAttr.thy
in access_control_module
 48 -
thy
I_TeaclaveAccessControl.thy
in access_control_module/interpretation
 42 -
thy
I_UsrAttr.thy
in access_control_module/interpretation
 41 -
thy
I_TrustLevel.thy
in access_control_module/interpretation
 40 -
thy
I_InfoType.thy
in access_control_module/interpretation
 40 -
thy
TrustLevel.thy
in access_control_module
 38 -
thy
I_FDP_ACC.thy
in access_control_module/interpretation
 38 -
thy
InfoType.thy
in access_control_module
 38 -
thy
SysId.thy
in access_control_module
 28 -
thy
FDP_IFF.thy
in access_control_module
 22 -
thy
FDP_IFC.thy
in access_control_module
 22 -
Files With Most Units (Top 0)
File# lines# units
Files With Long Lines (Top 9)

There are 9 files with lines longer than 120 characters. In total, there are 13 long lines.

File# lines# units# long lines
thy
ResrcAttr.thy
in access_control_module
 213 - 4
thy
FMT_MSA.thy
in access_control_module
 178 - 2
thy
AttrConf.thy
in access_control_module
 623 - 1
thy
FDP_ACC.thy
in access_control_module
 109 - 1
thy
I_ResrcAttr.thy
in access_control_module/interpretation
 226 - 1
thy
TeaclaveAccessControl.thy
in access_control_module
 152 - 1
thy
FDP_ACF.thy
in access_control_module
 129 - 1
thy
ModelConf.thy
in access_control_module
 143 - 1
thy
FIA_USB.thy
in access_control_module
 76 - 1
Correlations

File Size vs. Commits (all time): 29 points

access_control_module/AttrConf.thy x: 4 commits (all time) y: 623 lines of code access_control_module/interpretation/I_AttrConf.thy x: 4 commits (all time) y: 221 lines of code access_control_module/interpretation/I_FMT_MSA.thy x: 4 commits (all time) y: 439 lines of code access_control_module/FDP_ACC.thy x: 1 commits (all time) y: 109 lines of code access_control_module/FDP_ACF.thy x: 1 commits (all time) y: 129 lines of code access_control_module/FDP_IFC.thy x: 1 commits (all time) y: 22 lines of code access_control_module/FIA_USB.thy x: 1 commits (all time) y: 76 lines of code access_control_module/FMT_MSA.thy x: 1 commits (all time) y: 178 lines of code access_control_module/InfoType.thy x: 1 commits (all time) y: 38 lines of code access_control_module/ModelConf.thy x: 1 commits (all time) y: 143 lines of code access_control_module/ResrcAttr.thy x: 1 commits (all time) y: 213 lines of code access_control_module/ResrcType.thy x: 1 commits (all time) y: 48 lines of code access_control_module/SysId.thy x: 1 commits (all time) y: 28 lines of code access_control_module/TeaclaveAccessControl.thy x: 1 commits (all time) y: 152 lines of code access_control_module/interpretation/I_FDP_ACF.thy x: 1 commits (all time) y: 153 lines of code access_control_module/interpretation/I_FIA_USB.thy x: 1 commits (all time) y: 50 lines of code access_control_module/interpretation/I_InfoType.thy x: 1 commits (all time) y: 40 lines of code access_control_module/interpretation/I_ModelConf.thy x: 1 commits (all time) y: 132 lines of code access_control_module/interpretation/I_ResrcAttr.thy x: 1 commits (all time) y: 226 lines of code access_control_module/interpretation/I_ResrcType.thy x: 1 commits (all time) y: 58 lines of code access_control_module/interpretation/I_SysId.thy x: 1 commits (all time) y: 133 lines of code access_control_module/interpretation/I_TeaclaveAccessControl.thy x: 1 commits (all time) y: 42 lines of code
623.0
lines of code
  min: 22.0
  average: 122.59
  25th percentile: 40.0
  median: 75.0
  75th percentile: 152.5
  max: 623.0
0 4.0
commits (all time)
min: 1.0 | average: 1.31 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 1.0 | max: 4.0

File Size vs. Contributors (all time): 29 points

access_control_module/AttrConf.thy x: 3 contributors (all time) y: 623 lines of code access_control_module/interpretation/I_AttrConf.thy x: 3 contributors (all time) y: 221 lines of code access_control_module/interpretation/I_FMT_MSA.thy x: 3 contributors (all time) y: 439 lines of code access_control_module/FDP_ACC.thy x: 1 contributors (all time) y: 109 lines of code access_control_module/FDP_ACF.thy x: 1 contributors (all time) y: 129 lines of code access_control_module/FDP_IFC.thy x: 1 contributors (all time) y: 22 lines of code access_control_module/FIA_USB.thy x: 1 contributors (all time) y: 76 lines of code access_control_module/FMT_MSA.thy x: 1 contributors (all time) y: 178 lines of code access_control_module/InfoType.thy x: 1 contributors (all time) y: 38 lines of code access_control_module/ModelConf.thy x: 1 contributors (all time) y: 143 lines of code access_control_module/ResrcAttr.thy x: 1 contributors (all time) y: 213 lines of code access_control_module/ResrcType.thy x: 1 contributors (all time) y: 48 lines of code access_control_module/SysId.thy x: 1 contributors (all time) y: 28 lines of code access_control_module/TeaclaveAccessControl.thy x: 1 contributors (all time) y: 152 lines of code access_control_module/interpretation/I_FDP_ACF.thy x: 1 contributors (all time) y: 153 lines of code access_control_module/interpretation/I_FIA_USB.thy x: 1 contributors (all time) y: 50 lines of code access_control_module/interpretation/I_InfoType.thy x: 1 contributors (all time) y: 40 lines of code access_control_module/interpretation/I_ModelConf.thy x: 1 contributors (all time) y: 132 lines of code access_control_module/interpretation/I_ResrcAttr.thy x: 1 contributors (all time) y: 226 lines of code access_control_module/interpretation/I_ResrcType.thy x: 1 contributors (all time) y: 58 lines of code access_control_module/interpretation/I_SysId.thy x: 1 contributors (all time) y: 133 lines of code access_control_module/interpretation/I_TeaclaveAccessControl.thy x: 1 contributors (all time) y: 42 lines of code
623.0
lines of code
  min: 22.0
  average: 122.59
  25th percentile: 40.0
  median: 75.0
  75th percentile: 152.5
  max: 623.0
0 3.0
contributors (all time)
min: 1.0 | average: 1.21 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 1.0 | max: 3.0

File Size vs. Commits (30 days): 0 points

No data for "commits (30d)" vs. "lines of code".

File Size vs. Contributors (30 days): 0 points

No data for "contributors (30d)" vs. "lines of code".

File Size vs. Commits (90 days): 0 points

No data for "commits (90d)" vs. "lines of code".

File Size vs. Contributors (90 days): 0 points

No data for "contributors (90d)" vs. "lines of code".