awslabs / aws-verification-model-for-libcrypto
Conditional Complexity

The distribution of complexity of units (measured with McCabe index).

Intro
  • Conditional complexity (also called cyclomatic complexity) is a term used to measure the complexity of software. The term refers to the number of possible paths through a program function. A higher value ofter means higher maintenance and testing costs (infosecinstitute.com).
  • Conditional complexity is calculated by counting all conditions in the program that can affect the execution path (e.g. if statement, loops, switches, and/or operators, try and catch blocks...).
  • Conditional complexity is measured at the unit level (methods, functions...).
  • Units are classified in four categories based on the measured McCabe index: 1-5 (simple units), 6-10 (medium complex units), 11-25 (complex units), 26+ (very complex units).
Learn more...
Conditional Complexity Overall
  • There are 128 units with 1,014 lines of code in units (50.7% of code).
    • 0 very complex units (0 lines of code)
    • 0 complex units (0 lines of code)
    • 1 medium complex units (5 lines of code)
    • 5 simple units (80 lines of code)
    • 122 very simple units (929 lines of code)
0% | 0% | <1% | 7% | 91%
Legend:
51+
26-50
11-25
6-10
1-5
Alternative Visuals
Conditional Complexity per Extension
51+
26-50
11-25
6-10
1-5
c0% | 0% | <1% | 7% | 91%
Conditional Complexity per Logical Component
primary logical decomposition
51+
26-50
11-25
6-10
1-5
source0% | 0% | <1% | 8% | 91%
stubs0% | 0% | 0% | 0% | 100%
Most Complex Units
Top 20 most complex units
Unit# linesMcCabe index# params
bool evp_md_is_valid()
in source/evp_override.c
 5 13 1
int EVP_PKEY_CTX_set_rsa_padding()
in source/evp_override.c
 11 7 2
int EVP_CipherInit_ex()
in source/evp_override.c
 22 7 6
void DH_get0_pqg()
in source/dh_override.c
 24 7 4
bool ec_key_is_valid()
in source/ec_override.c
 4 7 1
int EVP_MD_size()
in source/evp_override.c
 19 6 1
int EVP_PKEY_sign()
in source/evp_override.c
 23 5 5
int EVP_DecryptUpdate()
in source/evp_override.c
 23 5 5
bool evp_md_ctx_is_valid()
in source/evp_override.c
 4 5 1
int EVP_PKEY_set1_EC_KEY()
in source/evp_override.c
 8 4 2
void EVP_PKEY_free()
in source/evp_override.c
 10 4 1
int EVP_CIPHER_CTX_ctrl()
in source/evp_override.c
 15 4 4
int EVP_EncryptUpdate()
in source/evp_override.c
 21 4 5
int EVP_DigestFinal_ex()
in source/evp_override.c
 13 4 3
int HMAC_Init_ex()
in source/evp_override.c
 11 4 5
bool evp_pkey_is_valid()
in source/evp_override.c
 3 4 1
bool evp_cipher_is_valid()
in source/evp_override.c
 4 4 1
int OBJ_txt2nid()
in source/objects_override.c
 12 4 1
int EC_KEY_set_group()
in source/ec_override.c
 12 4 2
int EC_KEY_set_private_key()
in source/ec_override.c
 10 4 2