apache / incubator-teaclave-verification
File Change Frequency

File change frequency (churn) shows the distribution of file updates (days with at least one commit).

Overview
File Change Frequency Overall
  • There are 29 files with 3,555 lines of code.
    • 0 files changed more than 100 times (0 lines of code)
    • 0 files changed 51-100 times (0 lines of code)
    • 0 files changed 21-50 times (0 lines of code)
    • 0 files changed 6-20 times (0 lines of code)
    • 29 files changed 1-5 times (3,555 lines of code)
0% | 0% | 0% | 0% | 100%
Legend:
101+
51-100
21-50
6-20
1-5

explore: grouped by folders | grouped by update frequency | data
Contributors Count Frequency Overall
  • There are 29 files with 3,555 lines of code.
    • 0 files changed by more than 25 contributors (0 lines of code)
    • 0 files changed by 11-25 contributors (0 lines of code)
    • 0 files changed by 6-10 contributors (0 lines of code)
    • 3 files changed by 2-5 contributors (1,283 lines of code)
    • 26 files changed by 1 contributor (2,272 lines of code)
0% | 0% | 0% | 36% | 63%
Legend:
26+
11-25
6-10
2-5
1

explore: grouped by folders | grouped by contributors count | data
File Change Frequency per File Extension
thy, md, txt, json, yml
File Change Frequency per Extension
The number of recorded file updates
101+
51-100
21-50
6-20
1-5
thy0% | 0% | 0% | 0% | 100%
File Change Frequency per Logical Decomposition
primary
primary (file change frequency)
The number of recorded file updates
101+
51-100
21-50
6-20
1-5
access_control_module0% | 0% | 0% | 0% | 100%
Most Frequently Changed Files (Top 29)

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
thy
I_AttrConf.thy
in access_control_module/interpretation
 221 - 2021-02-26 2022-01-29 4 3 caoshuang.cs@antgroup.com 77425230+seanver@users.nore...
thy
I_FMT_MSA.thy
in access_control_module/interpretation
 439 - 2021-02-26 2022-01-29 4 3 caoshuang.cs@antgroup.com 77425230+seanver@users.nore...
thy
AttrConf.thy
in access_control_module
 623 - 2021-02-26 2022-01-29 4 3 caoshuang.cs@antgroup.com 77425230+seanver@users.nore...
thy
FDP_IFC.thy
in access_control_module
 22 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FDP_IFF.thy
in access_control_module
 22 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
SysId.thy
in access_control_module
 28 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
InfoType.thy
in access_control_module
 38 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_FDP_ACC.thy
in access_control_module/interpretation
 38 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
TrustLevel.thy
in access_control_module
 38 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_InfoType.thy
in access_control_module/interpretation
 40 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_TrustLevel.thy
in access_control_module/interpretation
 40 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_UsrAttr.thy
in access_control_module/interpretation
 41 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_TeaclaveAccessControl.thy
in access_control_module/interpretation
 42 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
UsrAttr.thy
in access_control_module
 48 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
ResrcType.thy
in access_control_module
 48 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_FIA_USB.thy
in access_control_module/interpretation
 50 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_ResrcType.thy
in access_control_module/interpretation
 58 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
TeaclaveRequirements.thy
in access_control_module
 75 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FIA_USB.thy
in access_control_module
 76 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FDP_ACC.thy
in access_control_module
 109 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FDP_ACF.thy
in access_control_module
 129 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_ModelConf.thy
in access_control_module/interpretation
 132 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_SysId.thy
in access_control_module/interpretation
 133 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
ModelConf.thy
in access_control_module
 143 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
TeaclaveAccessControl.thy
in access_control_module
 152 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_FDP_ACF.thy
in access_control_module/interpretation
 153 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FMT_MSA.thy
in access_control_module
 178 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
ResrcAttr.thy
in access_control_module
 213 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_ResrcAttr.thy
in access_control_module/interpretation
 226 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
Files With Most Contributors (Top 29)
Based on the number of unique email addresses found in commits.

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
thy
AttrConf.thy
in access_control_module
 623 - 2021-02-26 2022-01-29 4 3 caoshuang.cs@antgroup.com 77425230+seanver@users.nore...
thy
I_AttrConf.thy
in access_control_module/interpretation
 221 - 2021-02-26 2022-01-29 4 3 caoshuang.cs@antgroup.com 77425230+seanver@users.nore...
thy
I_FMT_MSA.thy
in access_control_module/interpretation
 439 - 2021-02-26 2022-01-29 4 3 caoshuang.cs@antgroup.com 77425230+seanver@users.nore...
thy
FDP_IFF.thy
in access_control_module
 22 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
SysId.thy
in access_control_module
 28 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FDP_IFC.thy
in access_control_module
 22 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
TrustLevel.thy
in access_control_module
 38 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FDP_ACC.thy
in access_control_module
 109 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_FIA_USB.thy
in access_control_module/interpretation
 50 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_TrustLevel.thy
in access_control_module/interpretation
 40 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_TeaclaveAccessControl.thy
in access_control_module/interpretation
 42 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_ModelConf.thy
in access_control_module/interpretation
 132 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_ResrcAttr.thy
in access_control_module/interpretation
 226 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_UsrAttr.thy
in access_control_module/interpretation
 41 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_FDP_ACC.thy
in access_control_module/interpretation
 38 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_InfoType.thy
in access_control_module/interpretation
 40 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_FDP_ACF.thy
in access_control_module/interpretation
 153 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_ResrcType.thy
in access_control_module/interpretation
 58 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_SysId.thy
in access_control_module/interpretation
 133 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
TeaclaveAccessControl.thy
in access_control_module
 152 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
TeaclaveRequirements.thy
in access_control_module
 75 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FDP_ACF.thy
in access_control_module
 129 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FMT_MSA.thy
in access_control_module
 178 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
ResrcType.thy
in access_control_module
 48 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
InfoType.thy
in access_control_module
 38 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
UsrAttr.thy
in access_control_module
 48 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
ModelConf.thy
in access_control_module
 143 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
ResrcAttr.thy
in access_control_module
 213 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FIA_USB.thy
in access_control_module
 76 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
Files With Least Contributors (Top 29)
Based on the number of unique email addresses found in commits.

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
thy
I_ResrcAttr.thy
in access_control_module/interpretation
 226 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
ResrcAttr.thy
in access_control_module
 213 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FMT_MSA.thy
in access_control_module
 178 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_FDP_ACF.thy
in access_control_module/interpretation
 153 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
TeaclaveAccessControl.thy
in access_control_module
 152 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
ModelConf.thy
in access_control_module
 143 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_SysId.thy
in access_control_module/interpretation
 133 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_ModelConf.thy
in access_control_module/interpretation
 132 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FDP_ACF.thy
in access_control_module
 129 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FDP_ACC.thy
in access_control_module
 109 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FIA_USB.thy
in access_control_module
 76 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
TeaclaveRequirements.thy
in access_control_module
 75 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_ResrcType.thy
in access_control_module/interpretation
 58 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_FIA_USB.thy
in access_control_module/interpretation
 50 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
ResrcType.thy
in access_control_module
 48 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
UsrAttr.thy
in access_control_module
 48 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_TeaclaveAccessControl.thy
in access_control_module/interpretation
 42 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_UsrAttr.thy
in access_control_module/interpretation
 41 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_TrustLevel.thy
in access_control_module/interpretation
 40 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_InfoType.thy
in access_control_module/interpretation
 40 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
TrustLevel.thy
in access_control_module
 38 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_FDP_ACC.thy
in access_control_module/interpretation
 38 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
InfoType.thy
in access_control_module
 38 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
SysId.thy
in access_control_module
 28 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FDP_IFF.thy
in access_control_module
 22 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FDP_IFC.thy
in access_control_module
 22 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
AttrConf.thy
in access_control_module
 623 - 2021-02-26 2022-01-29 4 3 caoshuang.cs@antgroup.com 77425230+seanver@users.nore...
thy
I_FMT_MSA.thy
in access_control_module/interpretation
 439 - 2021-02-26 2022-01-29 4 3 caoshuang.cs@antgroup.com 77425230+seanver@users.nore...
thy
I_AttrConf.thy
in access_control_module/interpretation
 221 - 2021-02-26 2022-01-29 4 3 caoshuang.cs@antgroup.com 77425230+seanver@users.nore...
Correlations

File Size vs. Number of Changes: 29 points

access_control_module/AttrConf.thy x: 623 lines of code y: 4 # changes access_control_module/interpretation/I_AttrConf.thy x: 221 lines of code y: 4 # changes access_control_module/interpretation/I_FMT_MSA.thy x: 439 lines of code y: 4 # changes access_control_module/FDP_ACC.thy x: 109 lines of code y: 1 # changes access_control_module/FDP_ACF.thy x: 129 lines of code y: 1 # changes access_control_module/FDP_IFC.thy x: 22 lines of code y: 1 # changes access_control_module/FIA_USB.thy x: 76 lines of code y: 1 # changes access_control_module/FMT_MSA.thy x: 178 lines of code y: 1 # changes access_control_module/InfoType.thy x: 38 lines of code y: 1 # changes access_control_module/ModelConf.thy x: 143 lines of code y: 1 # changes access_control_module/ResrcAttr.thy x: 213 lines of code y: 1 # changes access_control_module/ResrcType.thy x: 48 lines of code y: 1 # changes access_control_module/SysId.thy x: 28 lines of code y: 1 # changes access_control_module/TeaclaveAccessControl.thy x: 152 lines of code y: 1 # changes access_control_module/TeaclaveRequirements.thy x: 75 lines of code y: 1 # changes access_control_module/interpretation/I_FDP_ACF.thy x: 153 lines of code y: 1 # changes access_control_module/interpretation/I_FIA_USB.thy x: 50 lines of code y: 1 # changes access_control_module/interpretation/I_InfoType.thy x: 40 lines of code y: 1 # changes access_control_module/interpretation/I_ModelConf.thy x: 132 lines of code y: 1 # changes access_control_module/interpretation/I_ResrcAttr.thy x: 226 lines of code y: 1 # changes access_control_module/interpretation/I_ResrcType.thy x: 58 lines of code y: 1 # changes access_control_module/interpretation/I_SysId.thy x: 133 lines of code y: 1 # changes access_control_module/interpretation/I_TeaclaveAccessControl.thy x: 42 lines of code y: 1 # changes access_control_module/interpretation/I_UsrAttr.thy x: 41 lines of code y: 1 # changes
4.0
# changes
  min: 1.0
  average: 1.31
  25th percentile: 1.0
  median: 1.0
  75th percentile: 1.0
  max: 4.0
0 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

Number of Contributors vs. Number of Changes: 29 points

access_control_module/AttrConf.thy x: 3 # contributors y: 4 # changes access_control_module/FDP_ACC.thy x: 1 # contributors y: 1 # changes
4.0
# changes
  min: 1.0
  average: 1.31
  25th percentile: 1.0
  median: 1.0
  75th percentile: 1.0
  max: 4.0
0 3.0
# contributors
min: 1.0 | average: 1.21 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 1.0 | max: 3.0

Number of Contributors vs. File Size: 29 points

access_control_module/AttrConf.thy x: 3 # contributors y: 623 lines of code access_control_module/interpretation/I_AttrConf.thy x: 3 # contributors y: 221 lines of code access_control_module/interpretation/I_FMT_MSA.thy x: 3 # contributors y: 439 lines of code access_control_module/FDP_ACC.thy x: 1 # contributors y: 109 lines of code access_control_module/FDP_ACF.thy x: 1 # contributors y: 129 lines of code access_control_module/FDP_IFC.thy x: 1 # contributors y: 22 lines of code access_control_module/FIA_USB.thy x: 1 # contributors y: 76 lines of code access_control_module/FMT_MSA.thy x: 1 # contributors y: 178 lines of code access_control_module/InfoType.thy x: 1 # contributors y: 38 lines of code access_control_module/ModelConf.thy x: 1 # contributors y: 143 lines of code access_control_module/ResrcAttr.thy x: 1 # contributors y: 213 lines of code access_control_module/ResrcType.thy x: 1 # contributors y: 48 lines of code access_control_module/SysId.thy x: 1 # contributors y: 28 lines of code access_control_module/TeaclaveAccessControl.thy x: 1 # contributors y: 152 lines of code access_control_module/interpretation/I_FDP_ACF.thy x: 1 # contributors y: 153 lines of code access_control_module/interpretation/I_FIA_USB.thy x: 1 # contributors y: 50 lines of code access_control_module/interpretation/I_InfoType.thy x: 1 # contributors y: 40 lines of code access_control_module/interpretation/I_ModelConf.thy x: 1 # contributors y: 132 lines of code access_control_module/interpretation/I_ResrcAttr.thy x: 1 # contributors y: 226 lines of code access_control_module/interpretation/I_ResrcType.thy x: 1 # contributors y: 58 lines of code access_control_module/interpretation/I_SysId.thy x: 1 # contributors y: 133 lines of code access_control_module/interpretation/I_TeaclaveAccessControl.thy x: 1 # contributors 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
min: 1.0 | average: 1.21 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 1.0 | max: 3.0