facebookincubator / smt2utils
Metrics

All numeric values measured by Sokrates.

Intro
  • Metrics are all numeric values measured by Sokrates.
  • You can use these metrics to define goals and controls.
Metrics
Metric Value
TOTAL_NUMBER_OF_FILES 54
NUMBER_OF_FILES_MAIN 27
LINES_OF_CODE_MAIN 7,403
NUMBER_OF_FILES_MAIN_EXT_RS 21
LINES_OF_CODE_MAIN_EXT_RS 7,274
NUMBER_OF_FILES_MAIN_EXT_TOML 6
LINES_OF_CODE_MAIN_EXT_TOML 129
NUMBER_OF_FILES_TEST 1
LINES_OF_CODE_TEST 116
NUMBER_OF_FILES_TEST_EXT_RS 1
LINES_OF_CODE_TEST_EXT_RS 116
TEST_VS_MAIN_LINES_OF_CODE_PERCENTAGE 1.56
NUMBER_OF_FILES_GENERATED 0
LINES_OF_CODE_GENERATED 0
NUMBER_OF_FILES_BUILD_AND_DEPLOYMENT 0
LINES_OF_CODE_BUILD_AND_DEPLOYMENT 0
NUMBER_OF_FILES_OTHER 13
LINES_OF_CODE_OTHER 398
NUMBER_OF_FILES_OTHER_EXT_MD 8
LINES_OF_CODE_OTHER_EXT_MD 258
NUMBER_OF_FILES_OTHER_EXT_JSON 1
LINES_OF_CODE_OTHER_EXT_JSON 72
NUMBER_OF_FILES_OTHER_EXT_TPL 4
LINES_OF_CODE_OTHER_EXT_TPL 68
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_SMT2PATCH 1
LINES_OF_CODE_DECOMPOSITION_PRIMARY_SMT2PATCH 26
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_SMT2PATCH_EXT_TOML 1
LINES_OF_CODE_DECOMPOSITION_PRIMARY_SMT2PATCH_EXT_TOML 26
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_SMT2PATCH_SRC 2
LINES_OF_CODE_DECOMPOSITION_PRIMARY_SMT2PATCH_SRC 110
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_SMT2PATCH_SRC_EXT_RS 2
LINES_OF_CODE_DECOMPOSITION_PRIMARY_SMT2PATCH_SRC_EXT_RS 110
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_ROOT 2
LINES_OF_CODE_DECOMPOSITION_PRIMARY_ROOT 14
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_ROOT_EXT_TOML 2
LINES_OF_CODE_DECOMPOSITION_PRIMARY_ROOT_EXT_TOML 14
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_Z3TRACER 1
LINES_OF_CODE_DECOMPOSITION_PRIMARY_Z3TRACER 33
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_Z3TRACER_EXT_TOML 1
LINES_OF_CODE_DECOMPOSITION_PRIMARY_Z3TRACER_EXT_TOML 33
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_Z3TRACER_SRC 8
LINES_OF_CODE_DECOMPOSITION_PRIMARY_Z3TRACER_SRC 2,494
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_Z3TRACER_SRC_EXT_RS 8
LINES_OF_CODE_DECOMPOSITION_PRIMARY_Z3TRACER_SRC_EXT_RS 2,494
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_SMT2PARSER 1
LINES_OF_CODE_DECOMPOSITION_PRIMARY_SMT2PARSER 31
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_SMT2PARSER_EXT_TOML 1
LINES_OF_CODE_DECOMPOSITION_PRIMARY_SMT2PARSER_EXT_TOML 31
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_SMT2PARSER_SRC 9
LINES_OF_CODE_DECOMPOSITION_PRIMARY_SMT2PARSER_SRC 4,220
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_SMT2PARSER_SRC_EXT_RS 9
LINES_OF_CODE_DECOMPOSITION_PRIMARY_SMT2PARSER_SRC_EXT_RS 4,220
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_SMT2PROXY 1
LINES_OF_CODE_DECOMPOSITION_PRIMARY_SMT2PROXY 25
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_SMT2PROXY_EXT_TOML 1
LINES_OF_CODE_DECOMPOSITION_PRIMARY_SMT2PROXY_EXT_TOML 25
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_SMT2PROXY_SRC 2
LINES_OF_CODE_DECOMPOSITION_PRIMARY_SMT2PROXY_SRC 450
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_SMT2PROXY_SRC_EXT_RS 2
LINES_OF_CODE_DECOMPOSITION_PRIMARY_SMT2PROXY_SRC_EXT_RS 450
NUMBER_OF_DEPENDENCY_LINKS_DECOMPOSITION_PRIMARY 0
NUMBER_OF_DEPENDENCIES_DECOMPOSITION_PRIMARY 0
NUMBER_OF_PLACES_WITH_CYCLIC_DEPENDENCIES_DECOMPOSITION_PRIMARY 0
NUMBER_OF_FILES_CONCERN_GENERAL_TODOS 4
LINES_OF_CODE_CONCERN_GENERAL_TODOS 1,234
NUMBER_OF_FILES_CONCERN_GENERAL_TODOS_EXT_RS 4
LINES_OF_CODE_CONCERN_GENERAL_TODOS_EXT_RS 1,234
NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED 23
LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED 6,169
NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED_EXT_RS 17
LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED_EXT_RS 6,040
NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED_EXT_TOML 6
LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED_EXT_TOML 129
NEGLIGIBLE_RISK_FILE_SIZE_COUNT 11
LOW_RISK_FILE_SIZE_COUNT 2
MEDIUM_RISK_FILE_SIZE_COUNT 10
HIGH_RISK_FILE_SIZE_COUNT 3
VERY_HIGH_RISK_FILE_SIZE_COUNT 1
NEGLIGIBLE_RISK_FILE_SIZE_LOC 418
LOW_RISK_FILE_SIZE_LOC 246
MEDIUM_RISK_FILE_SIZE_LOC 3,417
HIGH_RISK_FILE_SIZE_LOC 2,165
VERY_HIGH_RISK_FILE_SIZE_LOC 1,157
NUMBER_OF_UNITS 375
LINES_OF_CODE_IN_UNITS 4,080
LINES_OF_CODE_OUTSIDE_UNITS 3,323
UNIT_SIZE_NEGLIGIBLE_RISK_LOC 1,615
UNIT_SIZE_NEGLIGIBLE_RISK_PERCENTAGE 39.58
UNIT_SIZE_NEGLIGIBLE_RISK_COUNT 301
UNIT_SIZE_LOW_RISK_LOC 663
UNIT_SIZE_LOW_RISK_PERCENTAGE 16.25
UNIT_SIZE_LOW_RISK_COUNT 46
UNIT_SIZE_MEDIUM_RISK_LOC 558
UNIT_SIZE_MEDIUM_RISK_PERCENTAGE 13.68
UNIT_SIZE_MEDIUM_RISK_COUNT 17
UNIT_SIZE_HIGH_RISK_LOC 372
UNIT_SIZE_HIGH_RISK_PERCENTAGE 9.12
UNIT_SIZE_HIGH_RISK_COUNT 5
UNIT_SIZE_VERY_HIGH_RISK_LOC 872
UNIT_SIZE_VERY_HIGH_RISK_PERCENTAGE 21.37
UNIT_SIZE_VERY_HIGH_RISK_COUNT 6
UNIT_SIZE_COMPONENT_SMT2PATCH_SRC_NEGLIGIBLE_RISK_LOC 34
UNIT_SIZE_COMPONENT_SMT2PATCH_SRC_NEGLIGIBLE_RISK_PERCENTAGE 60.71
UNIT_SIZE_COMPONENT_SMT2PATCH_SRC_NEGLIGIBLE_RISK_COUNT 5
UNIT_SIZE_COMPONENT_SMT2PATCH_SRC_LOW_RISK_LOC 22
UNIT_SIZE_COMPONENT_SMT2PATCH_SRC_LOW_RISK_PERCENTAGE 39.29
UNIT_SIZE_COMPONENT_SMT2PATCH_SRC_LOW_RISK_COUNT 2
UNIT_SIZE_COMPONENT_SMT2PATCH_SRC_MEDIUM_RISK_LOC 0
UNIT_SIZE_COMPONENT_SMT2PATCH_SRC_MEDIUM_RISK_PERCENTAGE 0
UNIT_SIZE_COMPONENT_SMT2PATCH_SRC_MEDIUM_RISK_COUNT 0
UNIT_SIZE_COMPONENT_SMT2PATCH_SRC_HIGH_RISK_LOC 0
UNIT_SIZE_COMPONENT_SMT2PATCH_SRC_HIGH_RISK_PERCENTAGE 0
UNIT_SIZE_COMPONENT_SMT2PATCH_SRC_HIGH_RISK_COUNT 0
UNIT_SIZE_COMPONENT_SMT2PATCH_SRC_VERY_HIGH_RISK_LOC 0
UNIT_SIZE_COMPONENT_SMT2PATCH_SRC_VERY_HIGH_RISK_PERCENTAGE 0
UNIT_SIZE_COMPONENT_SMT2PATCH_SRC_VERY_HIGH_RISK_COUNT 0
UNIT_SIZE_COMPONENT_Z3TRACER_SRC_NEGLIGIBLE_RISK_LOC 199
UNIT_SIZE_COMPONENT_Z3TRACER_SRC_NEGLIGIBLE_RISK_PERCENTAGE 15.03
UNIT_SIZE_COMPONENT_Z3TRACER_SRC_NEGLIGIBLE_RISK_COUNT 38
UNIT_SIZE_COMPONENT_Z3TRACER_SRC_LOW_RISK_LOC 317
UNIT_SIZE_COMPONENT_Z3TRACER_SRC_LOW_RISK_PERCENTAGE 23.94
UNIT_SIZE_COMPONENT_Z3TRACER_SRC_LOW_RISK_COUNT 20
UNIT_SIZE_COMPONENT_Z3TRACER_SRC_MEDIUM_RISK_LOC 249
UNIT_SIZE_COMPONENT_Z3TRACER_SRC_MEDIUM_RISK_PERCENTAGE 18.81
UNIT_SIZE_COMPONENT_Z3TRACER_SRC_MEDIUM_RISK_COUNT 8
UNIT_SIZE_COMPONENT_Z3TRACER_SRC_HIGH_RISK_LOC 178
UNIT_SIZE_COMPONENT_Z3TRACER_SRC_HIGH_RISK_PERCENTAGE 13.44
UNIT_SIZE_COMPONENT_Z3TRACER_SRC_HIGH_RISK_COUNT 2
UNIT_SIZE_COMPONENT_Z3TRACER_SRC_VERY_HIGH_RISK_LOC 381
UNIT_SIZE_COMPONENT_Z3TRACER_SRC_VERY_HIGH_RISK_PERCENTAGE 28.78
UNIT_SIZE_COMPONENT_Z3TRACER_SRC_VERY_HIGH_RISK_COUNT 2
UNIT_SIZE_COMPONENT_SMT2PARSER_SRC_NEGLIGIBLE_RISK_LOC 1,374
UNIT_SIZE_COMPONENT_SMT2PARSER_SRC_NEGLIGIBLE_RISK_PERCENTAGE 57.47
UNIT_SIZE_COMPONENT_SMT2PARSER_SRC_NEGLIGIBLE_RISK_COUNT 257
UNIT_SIZE_COMPONENT_SMT2PARSER_SRC_LOW_RISK_LOC 296
UNIT_SIZE_COMPONENT_SMT2PARSER_SRC_LOW_RISK_PERCENTAGE 12.38
UNIT_SIZE_COMPONENT_SMT2PARSER_SRC_LOW_RISK_COUNT 22
UNIT_SIZE_COMPONENT_SMT2PARSER_SRC_MEDIUM_RISK_LOC 158
UNIT_SIZE_COMPONENT_SMT2PARSER_SRC_MEDIUM_RISK_PERCENTAGE 6.61
UNIT_SIZE_COMPONENT_SMT2PARSER_SRC_MEDIUM_RISK_COUNT 4
UNIT_SIZE_COMPONENT_SMT2PARSER_SRC_HIGH_RISK_LOC 72
UNIT_SIZE_COMPONENT_SMT2PARSER_SRC_HIGH_RISK_PERCENTAGE 3.01
UNIT_SIZE_COMPONENT_SMT2PARSER_SRC_HIGH_RISK_COUNT 1
UNIT_SIZE_COMPONENT_SMT2PARSER_SRC_VERY_HIGH_RISK_LOC 491
UNIT_SIZE_COMPONENT_SMT2PARSER_SRC_VERY_HIGH_RISK_PERCENTAGE 20.54
UNIT_SIZE_COMPONENT_SMT2PARSER_SRC_VERY_HIGH_RISK_COUNT 4
UNIT_SIZE_COMPONENT_SMT2PROXY_SRC_NEGLIGIBLE_RISK_LOC 8
UNIT_SIZE_COMPONENT_SMT2PROXY_SRC_NEGLIGIBLE_RISK_PERCENTAGE 2.59
UNIT_SIZE_COMPONENT_SMT2PROXY_SRC_NEGLIGIBLE_RISK_COUNT 1
UNIT_SIZE_COMPONENT_SMT2PROXY_SRC_LOW_RISK_LOC 28
UNIT_SIZE_COMPONENT_SMT2PROXY_SRC_LOW_RISK_PERCENTAGE 9.06
UNIT_SIZE_COMPONENT_SMT2PROXY_SRC_LOW_RISK_COUNT 2
UNIT_SIZE_COMPONENT_SMT2PROXY_SRC_MEDIUM_RISK_LOC 151
UNIT_SIZE_COMPONENT_SMT2PROXY_SRC_MEDIUM_RISK_PERCENTAGE 48.87
UNIT_SIZE_COMPONENT_SMT2PROXY_SRC_MEDIUM_RISK_COUNT 5
UNIT_SIZE_COMPONENT_SMT2PROXY_SRC_HIGH_RISK_LOC 122
UNIT_SIZE_COMPONENT_SMT2PROXY_SRC_HIGH_RISK_PERCENTAGE 39.48
UNIT_SIZE_COMPONENT_SMT2PROXY_SRC_HIGH_RISK_COUNT 2
UNIT_SIZE_COMPONENT_SMT2PROXY_SRC_VERY_HIGH_RISK_LOC 0
UNIT_SIZE_COMPONENT_SMT2PROXY_SRC_VERY_HIGH_RISK_PERCENTAGE 0
UNIT_SIZE_COMPONENT_SMT2PROXY_SRC_VERY_HIGH_RISK_COUNT 0
UNIT_SIZE_EXTENSION_RS_NEGLIGIBLE_RISK_LOC 1,615
UNIT_SIZE_EXTENSION_RS_NEGLIGIBLE_RISK_PERCENTAGE 39.58
UNIT_SIZE_EXTENSION_RS_NEGLIGIBLE_RISK_COUNT 301
UNIT_SIZE_EXTENSION_RS_LOW_RISK_LOC 663
UNIT_SIZE_EXTENSION_RS_LOW_RISK_PERCENTAGE 16.25
UNIT_SIZE_EXTENSION_RS_LOW_RISK_COUNT 46
UNIT_SIZE_EXTENSION_RS_MEDIUM_RISK_LOC 558
UNIT_SIZE_EXTENSION_RS_MEDIUM_RISK_PERCENTAGE 13.68
UNIT_SIZE_EXTENSION_RS_MEDIUM_RISK_COUNT 17
UNIT_SIZE_EXTENSION_RS_HIGH_RISK_LOC 372
UNIT_SIZE_EXTENSION_RS_HIGH_RISK_PERCENTAGE 9.12
UNIT_SIZE_EXTENSION_RS_HIGH_RISK_COUNT 5
UNIT_SIZE_EXTENSION_RS_VERY_HIGH_RISK_LOC 872
UNIT_SIZE_EXTENSION_RS_VERY_HIGH_RISK_PERCENTAGE 21.37
UNIT_SIZE_EXTENSION_RS_VERY_HIGH_RISK_COUNT 6
CONDITIONAL_COMPLEXITY_NEGLIGIBLE_RISK_LOC 3,244
CONDITIONAL_COMPLEXITY_NEGLIGIBLE_RISK_PERCENTAGE 79.51
CONDITIONAL_COMPLEXITY_NEGLIGIBLE_RISK_COUNT 362
CONDITIONAL_COMPLEXITY_LOW_RISK_LOC 290
CONDITIONAL_COMPLEXITY_LOW_RISK_PERCENTAGE 7.11
CONDITIONAL_COMPLEXITY_LOW_RISK_COUNT 8
CONDITIONAL_COMPLEXITY_MEDIUM_RISK_LOC 454
CONDITIONAL_COMPLEXITY_MEDIUM_RISK_PERCENTAGE 11.13
CONDITIONAL_COMPLEXITY_MEDIUM_RISK_COUNT 4
CONDITIONAL_COMPLEXITY_HIGH_RISK_LOC 92
CONDITIONAL_COMPLEXITY_HIGH_RISK_PERCENTAGE 2.25
CONDITIONAL_COMPLEXITY_HIGH_RISK_COUNT 1
CONDITIONAL_COMPLEXITY_VERY_HIGH_RISK_LOC 0
CONDITIONAL_COMPLEXITY_VERY_HIGH_RISK_PERCENTAGE 0
CONDITIONAL_COMPLEXITY_VERY_HIGH_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_HIGH_PLUS_RISK_COUNT 1
CONDITIONAL_COMPLEXITY_HIGH_PLUS_RISK_LOC 92
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PATCH_SRC_NEGLIGIBLE_RISK_LOC 56
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PATCH_SRC_NEGLIGIBLE_RISK_PERCENTAGE 100
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PATCH_SRC_NEGLIGIBLE_RISK_COUNT 7
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PATCH_SRC_LOW_RISK_LOC 0
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PATCH_SRC_LOW_RISK_PERCENTAGE 0
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PATCH_SRC_LOW_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PATCH_SRC_MEDIUM_RISK_LOC 0
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PATCH_SRC_MEDIUM_RISK_PERCENTAGE 0
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PATCH_SRC_MEDIUM_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PATCH_SRC_HIGH_RISK_LOC 0
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PATCH_SRC_HIGH_RISK_PERCENTAGE 0
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PATCH_SRC_HIGH_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PATCH_SRC_VERY_HIGH_RISK_LOC 0
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PATCH_SRC_VERY_HIGH_RISK_PERCENTAGE 0
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PATCH_SRC_VERY_HIGH_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_COMPONENT_Z3TRACER_SRC_NEGLIGIBLE_RISK_LOC 900
CONDITIONAL_COMPLEXITY_COMPONENT_Z3TRACER_SRC_NEGLIGIBLE_RISK_PERCENTAGE 67.98
CONDITIONAL_COMPLEXITY_COMPONENT_Z3TRACER_SRC_NEGLIGIBLE_RISK_COUNT 64
CONDITIONAL_COMPLEXITY_COMPONENT_Z3TRACER_SRC_LOW_RISK_LOC 50
CONDITIONAL_COMPLEXITY_COMPONENT_Z3TRACER_SRC_LOW_RISK_PERCENTAGE 3.78
CONDITIONAL_COMPLEXITY_COMPONENT_Z3TRACER_SRC_LOW_RISK_COUNT 2
CONDITIONAL_COMPLEXITY_COMPONENT_Z3TRACER_SRC_MEDIUM_RISK_LOC 282
CONDITIONAL_COMPLEXITY_COMPONENT_Z3TRACER_SRC_MEDIUM_RISK_PERCENTAGE 21.3
CONDITIONAL_COMPLEXITY_COMPONENT_Z3TRACER_SRC_MEDIUM_RISK_COUNT 3
CONDITIONAL_COMPLEXITY_COMPONENT_Z3TRACER_SRC_HIGH_RISK_LOC 92
CONDITIONAL_COMPLEXITY_COMPONENT_Z3TRACER_SRC_HIGH_RISK_PERCENTAGE 6.95
CONDITIONAL_COMPLEXITY_COMPONENT_Z3TRACER_SRC_HIGH_RISK_COUNT 1
CONDITIONAL_COMPLEXITY_COMPONENT_Z3TRACER_SRC_VERY_HIGH_RISK_LOC 0
CONDITIONAL_COMPLEXITY_COMPONENT_Z3TRACER_SRC_VERY_HIGH_RISK_PERCENTAGE 0
CONDITIONAL_COMPLEXITY_COMPONENT_Z3TRACER_SRC_VERY_HIGH_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PARSER_SRC_NEGLIGIBLE_RISK_LOC 2,146
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PARSER_SRC_NEGLIGIBLE_RISK_PERCENTAGE 89.75
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PARSER_SRC_NEGLIGIBLE_RISK_COUNT 285
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PARSER_SRC_LOW_RISK_LOC 73
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PARSER_SRC_LOW_RISK_PERCENTAGE 3.05
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PARSER_SRC_LOW_RISK_COUNT 2
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PARSER_SRC_MEDIUM_RISK_LOC 172
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PARSER_SRC_MEDIUM_RISK_PERCENTAGE 7.19
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PARSER_SRC_MEDIUM_RISK_COUNT 1
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PARSER_SRC_HIGH_RISK_LOC 0
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PARSER_SRC_HIGH_RISK_PERCENTAGE 0
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PARSER_SRC_HIGH_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PARSER_SRC_VERY_HIGH_RISK_LOC 0
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PARSER_SRC_VERY_HIGH_RISK_PERCENTAGE 0
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PARSER_SRC_VERY_HIGH_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PROXY_SRC_NEGLIGIBLE_RISK_LOC 142
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PROXY_SRC_NEGLIGIBLE_RISK_PERCENTAGE 45.95
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PROXY_SRC_NEGLIGIBLE_RISK_COUNT 6
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PROXY_SRC_LOW_RISK_LOC 167
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PROXY_SRC_LOW_RISK_PERCENTAGE 54.05
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PROXY_SRC_LOW_RISK_COUNT 4
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PROXY_SRC_MEDIUM_RISK_LOC 0
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PROXY_SRC_MEDIUM_RISK_PERCENTAGE 0
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PROXY_SRC_MEDIUM_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PROXY_SRC_HIGH_RISK_LOC 0
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PROXY_SRC_HIGH_RISK_PERCENTAGE 0
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PROXY_SRC_HIGH_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PROXY_SRC_VERY_HIGH_RISK_LOC 0
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PROXY_SRC_VERY_HIGH_RISK_PERCENTAGE 0
CONDITIONAL_COMPLEXITY_COMPONENT_SMT2PROXY_SRC_VERY_HIGH_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_COMPONENT_RS_NEGLIGIBLE_RISK_LOC 3,244
CONDITIONAL_COMPLEXITY_COMPONENT_RS_NEGLIGIBLE_RISK_PERCENTAGE 79.51
CONDITIONAL_COMPLEXITY_COMPONENT_RS_NEGLIGIBLE_RISK_COUNT 362
CONDITIONAL_COMPLEXITY_COMPONENT_RS_LOW_RISK_LOC 290
CONDITIONAL_COMPLEXITY_COMPONENT_RS_LOW_RISK_PERCENTAGE 7.11
CONDITIONAL_COMPLEXITY_COMPONENT_RS_LOW_RISK_COUNT 8
CONDITIONAL_COMPLEXITY_COMPONENT_RS_MEDIUM_RISK_LOC 454
CONDITIONAL_COMPLEXITY_COMPONENT_RS_MEDIUM_RISK_PERCENTAGE 11.13
CONDITIONAL_COMPLEXITY_COMPONENT_RS_MEDIUM_RISK_COUNT 4
CONDITIONAL_COMPLEXITY_COMPONENT_RS_HIGH_RISK_LOC 92
CONDITIONAL_COMPLEXITY_COMPONENT_RS_HIGH_RISK_PERCENTAGE 2.25
CONDITIONAL_COMPLEXITY_COMPONENT_RS_HIGH_RISK_COUNT 1
CONDITIONAL_COMPLEXITY_COMPONENT_RS_VERY_HIGH_RISK_LOC 0
CONDITIONAL_COMPLEXITY_COMPONENT_RS_VERY_HIGH_RISK_PERCENTAGE 0
CONDITIONAL_COMPLEXITY_COMPONENT_RS_VERY_HIGH_RISK_COUNT 0
FILE_CHANGE_HISTORY_TOTAL_AGE_DAYS 443
FILE_CHANGE_HISTORY_ACTIVE_DAYS 56
FILE_CHANGE_HISTORY_WEEKS 36
FILE_CHANGE_HISTORY_ESTIMATED_WORKING_DAYS 180
FILE_AGE_NEGLIGIBLE_RISK_COUNT 0
FILE_AGE_LOW_RISK_COUNT 0
FILE_AGE_MEDIUM_RISK_COUNT 0
FILE_AGE_HIGH_RISK_COUNT 25
FILE_AGE_VERY_HIGH_RISK_COUNT 1
FILE_AGE_NEGLIGIBLE_RISK_LOC 0
FILE_AGE_LOW_RISK_LOC 0
FILE_AGE_MEDIUM_RISK_LOC 0
FILE_AGE_HIGH_RISK_LOC 7,389
FILE_AGE_VERY_HIGH_RISK_LOC 12
NUMBER_OF_CONTRIBUTORS 4
DUPLICATION_NUMBER_OF_DUPLICATES 44
DUPLICATION_NUMBER_OF_FILES_WITH_DUPLICATES 13
DUPLICATION_NUMBER_OF_DUPLICATED_LINES 500
DUPLICATION_NUMBER_OF_CLEANED_LINES 6,248
DUPLICATION_PERCENTAGE 8
UNIT_DUPLICATES_COUNT 1
DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_Z3TRACER_SRC 197
DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_Z3TRACER_SRC 197
DUPLICATION_PERCENTAGE_PRIMARY_Z3TRACER_SRC 100
DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_SMT2PARSER_SRC 257
DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_SMT2PARSER_SRC 257
DUPLICATION_PERCENTAGE_PRIMARY_SMT2PARSER_SRC 100
DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_SMT2PATCH 14
DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_SMT2PATCH 14
DUPLICATION_PERCENTAGE_PRIMARY_SMT2PATCH 100
DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_SMT2PARSER 11
DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_SMT2PARSER 11
DUPLICATION_PERCENTAGE_PRIMARY_SMT2PARSER 100
DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_Z3TRACER 7
DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_Z3TRACER 7
DUPLICATION_PERCENTAGE_PRIMARY_Z3TRACER 100
DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_SMT2PROXY 14
DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_SMT2PROXY 14
DUPLICATION_PERCENTAGE_PRIMARY_SMT2PROXY 100
DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_SMT2PATCH_SRC 0
DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_SMT2PATCH_SRC 0
DUPLICATION_PERCENTAGE_PRIMARY_SMT2PATCH_SRC -
DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_ROOT 0
DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_ROOT 0
DUPLICATION_PERCENTAGE_PRIMARY_ROOT -
DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_SMT2PROXY_SRC 0
DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_SMT2PROXY_SRC 0
DUPLICATION_PERCENTAGE_PRIMARY_SMT2PROXY_SRC -
DUPLICATION_NUMBER_OF_DUPLICATED_LINES_RS 454
DUPLICATION_NUMBER_OF_CLEANED_LINES_RS 6,119
DUPLICATION_PERCENTAGE_RS 7.42
DUPLICATION_NUMBER_OF_DUPLICATED_LINES_TOML 46
DUPLICATION_NUMBER_OF_CLEANED_LINES_TOML 129
DUPLICATION_PERCENTAGE_TOML 35.66
TOTAL_ANALYSIS_TIME_IN_MILLIS 847