All numeric values measured by Sokrates.
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 |