id: 1
unit: static int OnDecrypt()
file: aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp
start line: 83
end line: 372
size: 127 LOC
McCabe index: 30
number of parameters: 7

id: 2
unit: static int OnEncrypt()
file: aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp
start line: 377
end line: 608
size: 127 LOC
McCabe index: 24
number of parameters: 7

id: 3
unit: static int OnEncrypt()
file: aws-encryption-sdk-cpp/source/kms_keyring.cpp
start line: 161
end line: 301
size: 117 LOC
McCabe index: 23
number of parameters: 7

id: 4
unit: int aws_cryptosdk_sig_sign_start()
file: source/cipher_openssl.c
start line: 540
end line: 681
size: 112 LOC
McCabe index: 33
number of parameters: 5

id: 5
unit: int aws_cryptosdk_sig_sign_finish()
file: source/cipher_openssl.c
start line: 835
end line: 1000
size: 103 LOC
McCabe index: 22
number of parameters: 3

id: 6
unit: void aws_cryptosdk_priv_session_change_state()
file: source/session.c
start line: 388
end line: 538
size: 99 LOC
McCabe index: 39
number of parameters: 2

id: 7
unit: static int OnDecrypt()
file: aws-encryption-sdk-cpp/source/kms_keyring.cpp
start line: 49
end line: 159
size: 80 LOC
McCabe index: 19
number of parameters: 7

id: 8
unit: int aws_cryptosdk_priv_try_gen_key()
file: source/session_encrypt.c
start line: 50
end line: 150
size: 77 LOC
McCabe index: 18
number of parameters: 1

id: 9
unit: int aws_cryptosdk_priv_try_encrypt_body()
file: source/session_encrypt.c
start line: 287
end line: 398
size: 77 LOC
McCabe index: 13
number of parameters: 3

id: 10
unit: int hash_dec_request()
file: source/caching_cmm.c
start line: 372
end line: 475
size: 74 LOC
McCabe index: 21
number of parameters: 3

id: 11
unit: int aws_cryptosdk_hdr_write()
file: source/header.c
start line: 479
end line: 575
size: 74 LOC
McCabe index: 29
number of parameters: 4

id: 12
unit: def get_args()
file: verification/cbmc/proofs/run-cbmc-proofs.py
start line: 0
end line: 0
size: 72 LOC
McCabe index: 2
number of parameters: 0

id: 13
unit: int aws_cryptosdk_session_process()
file: source/session.c
start line: 244
end line: 329
size: 67 LOC
McCabe index: 22
number of parameters: 7

id: 14
unit: int aws_cryptosdk_sig_get_privkey()
file: source/cipher_openssl.c
start line: 337
end line: 445
size: 66 LOC
McCabe index: 13
number of parameters: 3

id: 15
unit: static int sign_header()
file: source/session_encrypt.c
start line: 183
end line: 269
size: 65 LOC
McCabe index: 16
number of parameters: 1

id: 16
unit: int aws_cryptosdk_encrypt_body()
file: source/cipher.c
start line: 646
end line: 744
size: 62 LOC
McCabe index: 18
number of parameters: 9

id: 17
unit: int on_encrypt()
file: verification/cbmc/proofs/aws_cryptosdk_keyring_on_encrypt/aws_cryptosdk_keyring_on_encrypt_harness.c
start line: 29
end line: 103
size: 62 LOC
McCabe index: 6
number of parameters: 7

id: 18
unit: static int generate_enc_materials()
file: source/caching_cmm.c
start line: 488
end line: 581
size: 60 LOC
McCabe index: 18
number of parameters: 3

id: 19
unit: int aws_cryptosdk_sig_sign_start_keygen()
file: source/cipher_openssl.c
start line: 447
end line: 523
size: 60 LOC
McCabe index: 15
number of parameters: 4

id: 20
unit: static int default_cmm_generate_enc_materials()
file: source/default_cmm.c
start line: 35
end line: 98
size: 55 LOC
McCabe index: 11
number of parameters: 3

id: 21
unit: static int raw_aes_keyring_on_decrypt()
file: source/raw_aes_keyring.c
start line: 185
end line: 258
size: 55 LOC
McCabe index: 12
number of parameters: 7

id: 22
unit: void aws_cryptosdk_aes_gcm_decrypt_harness()
file: verification/cbmc/proofs/aws_cryptosdk_aes_gcm_decrypt/aws_cryptosdk_aes_gcm_decrypt_harness.c
start line: 22
end line: 93
size: 55 LOC
McCabe index: 6
number of parameters: 0

id: 23
unit: int aws_cryptosdk_priv_try_decrypt_body()
file: source/session_decrypt.c
start line: 231
end line: 305
size: 54 LOC
McCabe index: 9
number of parameters: 3

id: 24
unit: void aws_cryptosdk_keyring_on_decrypt_harness()
file: verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c
start line: 76
end line: 141
size: 54 LOC
McCabe index: 6
number of parameters: 0

id: 25
unit: int generate_enc_materials()
file: verification/cbmc/proofs/aws_cryptosdk_priv_try_gen_key/aws_cryptosdk_priv_try_gen_key_harness.c
start line: 32
end line: 122
size: 52 LOC
McCabe index: 3
number of parameters: 3

id: 26
unit: int hash_enc_request()
file: source/caching_cmm.c
start line: 251
end line: 323
size: 51 LOC
McCabe index: 14
number of parameters: 3

id: 27
unit: int aws_cryptosdk_rsa_decrypt()
file: source/cipher.c
start line: 1010
end line: 1061
size: 51 LOC
McCabe index: 16
number of parameters: 5

id: 28
unit: int aws_cryptosdk_sig_verify_start()
file: source/cipher_openssl.c
start line: 739
end line: 803
size: 51 LOC
McCabe index: 9
number of parameters: 4

id: 29
unit: int aws_cryptosdk_rsa_encrypt()
file: source/cipher.c
start line: 959
end line: 1008
size: 49 LOC
McCabe index: 16
number of parameters: 5

id: 30
unit: void aws_cryptosdk_private_derive_key_harness()
file: verification/cbmc/proofs/aws_cryptosdk_private_derive_key/aws_cryptosdk_private_derive_key_harness.c
start line: 22
end line: 83
size: 49 LOC
McCabe index: 10
number of parameters: 0

id: 31
unit: int __CPROVER_file_local_session_decrypt_c_derive_data_key()
file: verification/cbmc/proofs/derive_data_key/derive_data_key_harness.c
start line: 26
end line: 86
size: 49 LOC
McCabe index: 8
number of parameters: 2

id: 32
unit: void aws_cryptosdk_aes_gcm_encrypt_harness()
file: verification/cbmc/proofs/aws_cryptosdk_aes_gcm_encrypt/aws_cryptosdk_aes_gcm_encrypt_harness.c
start line: 23
end line: 87
size: 49 LOC
McCabe index: 5
number of parameters: 0

id: 33
unit: static void put_entry_for_encrypt()
file: source/local_cache.c
start line: 638
end line: 700
size: 48 LOC
McCabe index: 12
number of parameters: 6

id: 34
unit: int aws_cryptosdk_decrypt_body()
file: source/cipher.c
start line: 746
end line: 806
size: 47 LOC
McCabe index: 12
number of parameters: 9

id: 35
unit: void aws_cryptosdk_decrypt_body_harness()
file: verification/cbmc/proofs/aws_cryptosdk_decrypt_body/aws_cryptosdk_decrypt_body_harness.c
start line: 19
end line: 83
size: 47 LOC
McCabe index: 4
number of parameters: 0

id: 36
unit: void aws_cryptosdk_encrypt_body_harness()
file: verification/cbmc/proofs/aws_cryptosdk_encrypt_body/aws_cryptosdk_encrypt_body_harness.c
start line: 19
end line: 83
size: 47 LOC
McCabe index: 4
number of parameters: 0

id: 37
unit: int aws_cryptosdk_aes_gcm_decrypt()
file: source/cipher.c
start line: 891
end line: 948
size: 46 LOC
McCabe index: 14
number of parameters: 6

id: 38
unit: static int list_copy_all()
file: source/list_utils.c
start line: 43
end line: 106
size: 46 LOC
McCabe index: 8
number of parameters: 5

id: 39
unit: int aws_cryptosdk_enc_ctx_deserialize()
file: source/enc_ctx.c
start line: 131
end line: 188
size: 46 LOC
McCabe index: 13
number of parameters: 3

id: 40
unit: int generate_enc_materials()
file: verification/cbmc/proofs/default_cmm_generate_enc_materials/default_cmm_generate_enc_materials_harness.c
start line: 23
end line: 83
size: 46 LOC
McCabe index: 4
number of parameters: 3

id: 41
unit: int aws_cryptosdk_deserialize_frame()
file: source/framefmt.c
start line: 373
end line: 432
size: 45 LOC
McCabe index: 7
number of parameters: 6

id: 42
unit: static int aws_cryptosdk_private_derive_key_v2()
file: source/cipher.c
start line: 352
end line: 406
size: 44 LOC
McCabe index: 6
number of parameters: 5

id: 43
unit: int aws_cryptosdk_priv_unwrap_keys()
file: source/session_decrypt.c
start line: 125
end line: 186
size: 44 LOC
McCabe index: 13
number of parameters: 1

id: 44
unit: static int aws_cryptosdk_hkdf_expand()
file: source/hkdf.c
start line: 76
end line: 120
size: 43 LOC
McCabe index: 14
number of parameters: 5

id: 45
unit: static int default_cmm_decrypt_materials()
file: source/default_cmm.c
start line: 100
end line: 150
size: 43 LOC
McCabe index: 9
number of parameters: 3

id: 46
unit: int aws_cryptosdk_serialize_frame()
file: source/framefmt.c
start line: 298
end line: 359
size: 43 LOC
McCabe index: 9
number of parameters: 5

id: 47
unit: int aws_cryptosdk_hkdf()
file: verification/cbmc/proofs/aws_cryptosdk_hkdf/aws_cryptosdk_hkdf_harness.c
start line: 22
end line: 81
size: 43 LOC
McCabe index: 1
number of parameters: 5

id: 48
unit: int aws_cryptosdk_raw_aes_keyring_encrypt_data_key_with_iv()
file: source/raw_aes_keyring.c
start line: 90
end line: 142
size: 42 LOC
McCabe index: 8
number of parameters: 7

id: 49
unit: int __CPROVER_file_local_cipher_c_aws_cryptosdk_private_derive_key_v2()
file: verification/cbmc/proofs/aws_cryptosdk_private_derive_key_v2/aws_cryptosdk_private_derive_key_v2_harness.c
start line: 21
end line: 76
size: 42 LOC
McCabe index: 4
number of parameters: 5

id: 50
unit: static int decrypt_materials()
file: source/caching_cmm.c
start line: 583
end line: 647
size: 41 LOC
McCabe index: 11
number of parameters: 3

id: 51
unit: int aws_cryptosdk_sign_header()
file: source/cipher.c
start line: 504
end line: 561
size: 40 LOC
McCabe index: 9
number of parameters: 4

id: 52
unit: int aws_cryptosdk_aes_gcm_encrypt()
file: source/cipher.c
start line: 844
end line: 889
size: 40 LOC
McCabe index: 11
number of parameters: 6

id: 53
unit: static void put_entry_for_decrypt()
file: source/local_cache.c
start line: 702
end line: 754
size: 40 LOC
McCabe index: 10
number of parameters: 4

id: 54
unit: static int raw_rsa_keyring_on_decrypt()
file: source/raw_rsa_keyring.c
start line: 105
end line: 153
size: 40 LOC
McCabe index: 10
number of parameters: 7

id: 55
unit: int aws_cryptosdk_enc_ctx_serialize()
file: source/enc_ctx.c
start line: 82
end line: 129
size: 40 LOC
McCabe index: 13
number of parameters: 3

id: 56
unit: static int load_pubkey()
file: source/cipher_openssl.c
start line: 683
end line: 737
size: 40 LOC
McCabe index: 8
number of parameters: 3

id: 57
unit: static int multi_keyring_on_encrypt()
file: source/multi_keyring.c
start line: 39
end line: 90
size: 39 LOC
McCabe index: 8
number of parameters: 7

id: 58
unit: void aws_cryptosdk_keyring_trace_eq_harness()
file: verification/cbmc/proofs/aws_cryptosdk_keyring_trace_eq/aws_cryptosdk_keyring_trace_eq_harness.c
start line: 26
end line: 73
size: 39 LOC
McCabe index: 2
number of parameters: 0

id: 59
unit: int generate_enc_materials()
file: verification/cbmc/stubs/generate_enc_materials_stub.c
start line: 32
end line: 89
size: 39 LOC
McCabe index: 2
number of parameters: 3

id: 60
unit: int aws_cryptosdk_verify_header()
file: source/cipher.c
start line: 563
end line: 613
size: 37 LOC
McCabe index: 9
number of parameters: 4

id: 61
unit: static int get_enc_materials()
file: source/local_cache.c
start line: 559
end line: 602
size: 37 LOC
McCabe index: 8
number of parameters: 5

id: 62
unit: void aws_cryptosdk_deserialize_frame_harness()
file: verification/cbmc/proofs/aws_cryptosdk_deserialize_frame/aws_cryptosdk_deserialize_frame_harness.c
start line: 21
end line: 70
size: 36 LOC
McCabe index: 4
number of parameters: 0

id: 63
unit: int aws_cryptosdk_enc_ctx_clone()
file: source/enc_ctx.c
start line: 202
end line: 257
size: 35 LOC
McCabe index: 11
number of parameters: 3

id: 64
unit: static int raw_aes_keyring_on_encrypt()
file: source/raw_aes_keyring.c
start line: 144
end line: 183
size: 35 LOC
McCabe index: 8
number of parameters: 7

id: 65
unit: static int serialize_pubkey()
file: source/cipher_openssl.c
start line: 275
end line: 325
size: 35 LOC
McCabe index: 7
number of parameters: 3

id: 66
unit: int aws_cryptosdk_hdr_parse()
file: source/header.c
start line: 189
end line: 228
size: 34 LOC
McCabe index: 18
number of parameters: 3

id: 67
unit: static int raw_rsa_keyring_on_encrypt()
file: source/raw_rsa_keyring.c
start line: 67
end line: 103
size: 34 LOC
McCabe index: 8
number of parameters: 7

id: 68
unit: static int aws_cryptosdk_openssl_hkdf_version()
file: source/hkdf.c
start line: 124
end line: 159
size: 33 LOC
McCabe index: 10
number of parameters: 5

id: 69
unit: static void set_expiration_hint()
file: source/local_cache.c
start line: 767
end line: 816
size: 33 LOC
McCabe index: 9
number of parameters: 3

id: 70
unit: int aws_cryptosdk_priv_try_parse_header()
file: source/session_decrypt.c
start line: 188
end line: 229
size: 32 LOC
McCabe index: 8
number of parameters: 2

id: 71
unit: void aws_cryptosdk_priv_hdr_parse_alg_id_harness()
file: verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/aws_cryptosdk_priv_hdr_parse_alg_id_harness.c
start line: 23
end line: 66
size: 32 LOC
McCabe index: 2
number of parameters: 0

id: 72
unit: void aws_cryptosdk_priv_hdr_parse_iv_len_harness()
file: verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/aws_cryptosdk_priv_hdr_parse_iv_len_harness.c
start line: 23
end line: 67
size: 32 LOC
McCabe index: 2
number of parameters: 0

id: 73
unit: int generate_enc_materials()
file: verification/cbmc/proofs/aws_cryptosdk_cmm_generate_enc_materials/aws_cryptosdk_cmm_generate_enc_materials_harness.c
start line: 47
end line: 99
size: 32 LOC
McCabe index: 2
number of parameters: 3

id: 74
unit: int __CPROVER_file_local_cipher_c_aws_cryptosdk_private_derive_key_v1()
file: verification/cbmc/proofs/aws_cryptosdk_private_derive_key_v1/aws_cryptosdk_private_derive_key_v1_harness.c
start line: 22
end line: 65
size: 32 LOC
McCabe index: 4
number of parameters: 4

id: 75
unit: void aws_cryptosdk_priv_hdr_parse_content_type_harness()
file: verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/aws_cryptosdk_priv_hdr_parse_content_type_harness.c
start line: 23
end line: 67
size: 32 LOC
McCabe index: 2
number of parameters: 0

id: 76
unit: void aws_cryptosdk_priv_hdr_parse_header_version_harness()
file: verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/aws_cryptosdk_priv_hdr_parse_header_version_harness.c
start line: 23
end line: 67
size: 32 LOC
McCabe index: 2
number of parameters: 0

id: 77
unit: int aws_cryptosdk_session_reset()
file: source/session.c
start line: 29
end line: 69
size: 31 LOC
McCabe index: 4
number of parameters: 2

id: 78
unit: int aws_cryptosdk_keyring_on_encrypt()
file: source/materials.c
start line: 88
end line: 136
size: 31 LOC
McCabe index: 12
number of parameters: 7

id: 79
unit: void aws_cryptosdk_priv_hdr_parse_frame_len_harness()
file: verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/aws_cryptosdk_priv_hdr_parse_frame_len_harness.c
start line: 23
end line: 65
size: 31 LOC
McCabe index: 2
number of parameters: 0

id: 80
unit: void aws_cryptosdk_hdr_size_harness()
file: verification/cbmc/proofs/aws_cryptosdk_hdr_size/aws_cryptosdk_hdr_size_harness.c
start line: 21
end line: 67
size: 31 LOC
McCabe index: 1
number of parameters: 0

id: 81
unit: void aws_cryptosdk_cmm_decrypt_materials_harness()
file: verification/cbmc/proofs/aws_cryptosdk_cmm_decrypt_materials/aws_cryptosdk_cmm_decrypt_materials_harness.c
start line: 87
end line: 135
size: 31 LOC
McCabe index: 3
number of parameters: 0

id: 82
unit: static int aws_cryptosdk_private_derive_key_v1()
file: source/cipher.c
start line: 319
end line: 350
size: 30 LOC
McCabe index: 3
number of parameters: 4

id: 83
unit: int aws_cryptosdk_hdr_size()
file: source/header.c
start line: 436
end line: 472
size: 30 LOC
McCabe index: 7
number of parameters: 1

id: 84
unit: int aws_cryptosdk_enc_ctx_size()
file: source/enc_ctx.c
start line: 43
end line: 80
size: 30 LOC
McCabe index: 6
number of parameters: 2

id: 85
unit: void aws_cryptosdk_hdr_write_harness()
file: verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c
start line: 45
end line: 88
size: 30 LOC
McCabe index: 1
number of parameters: 0

id: 86
unit: void aws_cryptosdk_priv_hdr_parse_edks_harness()
file: verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c
start line: 55
end line: 96
size: 30 LOC
McCabe index: 2
number of parameters: 0

id: 87
unit: void aws_cryptosdk_priv_hdr_parse_message_type_harness()
file: verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/aws_cryptosdk_priv_hdr_parse_message_type_harness.c
start line: 23
end line: 64
size: 30 LOC
McCabe index: 2
number of parameters: 0

id: 88
unit: void aws_cryptosdk_priv_hdr_parse_reserved_harness()
file: verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/aws_cryptosdk_priv_hdr_parse_reserved_harness.c
start line: 23
end line: 64
size: 30 LOC
McCabe index: 2
number of parameters: 0

id: 89
unit: int aws_cryptosdk_priv_write_trailer()
file: source/session_encrypt.c
start line: 400
end line: 448
size: 29 LOC
McCabe index: 7
number of parameters: 2

id: 90
unit: int aws_cryptosdk_md_init()
file: source/cipher_openssl.c
start line: 116
end line: 150
size: 29 LOC
McCabe index: 5
number of parameters: 3

id: 91
unit: void aws_cryptosdk_cmm_generate_enc_materials_harness()
file: verification/cbmc/proofs/aws_cryptosdk_cmm_generate_enc_materials/aws_cryptosdk_cmm_generate_enc_materials_harness.c
start line: 101
end line: 135
size: 29 LOC
McCabe index: 3
number of parameters: 0

id: 92
unit: void aws_cryptosdk_multi_keyring_add_child_harness()
file: verification/cbmc/proofs/aws_cryptosdk_multi_keyring_add_child/aws_cryptosdk_multi_keyring_add_child_harness.c
start line: 23
end line: 67
size: 29 LOC
McCabe index: 2
number of parameters: 0

id: 93
unit: void aws_cryptosdk_priv_hdr_parse_alg_suite_data_harness()
file: verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_suite_data/aws_cryptosdk_priv_hdr_parse_alg_suite_data_harness.c
start line: 23
end line: 63
size: 29 LOC
McCabe index: 2
number of parameters: 0

id: 94
unit: int decrypt_materials()
file: verification/cbmc/proofs/aws_cryptosdk_cmm_decrypt_materials/aws_cryptosdk_cmm_decrypt_materials_harness.c
start line: 47
end line: 85
size: 29 LOC
McCabe index: 2
number of parameters: 3

id: 95
unit: int on_encrypt()
file: verification/cbmc/stubs/on_encrypt_stub.c
start line: 32
end line: 71
size: 29 LOC
McCabe index: 6
number of parameters: 7

id: 96
unit: void aws_cryptosdk_keyring_trace_add_record_buf_harness()
file: verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record_buf/aws_cryptosdk_keyring_trace_add_record_buf_harness.c
start line: 24
end line: 61
size: 28 LOC
McCabe index: 2
number of parameters: 0

id: 97
unit: void aws_cryptosdk_priv_hdr_parse_message_id_harness()
file: verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_id/aws_cryptosdk_priv_hdr_parse_message_id_harness.c
start line: 23
end line: 61
size: 28 LOC
McCabe index: 2
number of parameters: 0

id: 98
unit: void sign_header_harness()
file: verification/cbmc/proofs/sign_header/sign_header_harness.c
start line: 48
end line: 86
size: 28 LOC
McCabe index: 2
number of parameters: 0

id: 99
unit: int on_decrypt()
file: verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c
start line: 40
end line: 74
size: 28 LOC
McCabe index: 5
number of parameters: 7

id: 100
unit: Aws::String parse_region_from_kms_key_arn()
file: aws-encryption-sdk-cpp/source/cpputils.cpp
start line: 123
end line: 156
size: 27 LOC
McCabe index: 6
number of parameters: 1

id: 101
unit: Aws::Vector find_duplicate_kms_mrk_ids()
file: aws-encryption-sdk-cpp/source/cpputils.cpp
start line: 327
end line: 368
size: 27 LOC
McCabe index: 8
number of parameters: 1

id: 102
unit: static int get_dec_materials()
file: source/local_cache.c
start line: 603
end line: 636
size: 27 LOC
McCabe index: 7
number of parameters: 4

id: 103
unit: static void release_entry()
file: source/local_cache.c
start line: 818
end line: 866
size: 27 LOC
McCabe index: 7
number of parameters: 3

id: 104
unit: int aws_cryptosdk_session_process_full()
file: source/session.c
start line: 331
end line: 364
size: 27 LOC
McCabe index: 8
number of parameters: 6

id: 105
unit: static int multi_keyring_on_decrypt()
file: source/multi_keyring.c
start line: 92
end line: 127
size: 27 LOC
McCabe index: 8
number of parameters: 7

id: 106
unit: void aws_cryptosdk_priv_hdr_parse_auth_tag_harness()
file: verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_auth_tag/aws_cryptosdk_priv_hdr_parse_auth_tag_harness.c
start line: 23
end line: 63
size: 27 LOC
McCabe index: 2
number of parameters: 0

id: 107
unit: void aws_cryptosdk_priv_hdr_parse_aad_harness()
file: verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_aad/aws_cryptosdk_priv_hdr_parse_aad_harness.c
start line: 40
end line: 77
size: 27 LOC
McCabe index: 2
number of parameters: 0

id: 108
unit: void aws_cryptosdk_priv_hdr_parse_iv_harness()
file: verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv/aws_cryptosdk_priv_hdr_parse_iv_harness.c
start line: 23
end line: 60
size: 27 LOC
McCabe index: 2
number of parameters: 0

id: 109
unit: void aws_cryptosdk_keyring_trace_copy_all_harness()
file: verification/cbmc/proofs/aws_cryptosdk_keyring_trace_copy_all/aws_cryptosdk_keyring_trace_copy_all_harness.c
start line: 115
end line: 150
size: 27 LOC
McCabe index: 2
number of parameters: 0

id: 110
unit: int aws_cryptosdk_priv_check_trailer()
file: source/session_decrypt.c
start line: 307
end line: 345
size: 26 LOC
McCabe index: 5
number of parameters: 2

id: 111
unit: void aws_cryptosdk_keyring_trace_add_record_harness()
file: verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record/aws_cryptosdk_keyring_trace_add_record_harness.c
start line: 25
end line: 59
size: 26 LOC
McCabe index: 2
number of parameters: 0

id: 112
unit: static int fill_request()
file: source/session_decrypt.c
start line: 33
end line: 65
size: 25 LOC
McCabe index: 5
number of parameters: 2

id: 113
unit: static int derive_data_key()
file: source/session_decrypt.c
start line: 67
end line: 100
size: 25 LOC
McCabe index: 5
number of parameters: 2

id: 114
unit: def check_result()
file: verification/cbmc/check_result.py
start line: 0
end line: 0
size: 25 LOC
McCabe index: 6
number of parameters: 0

id: 115
unit: void aws_cryptosdk_rsa_encrypt_harness()
file: verification/cbmc/proofs/aws_cryptosdk_rsa_encrypt/aws_cryptosdk_rsa_encrypt_harness.c
start line: 23
end line: 60
size: 25 LOC
McCabe index: 3
number of parameters: 0

id: 116
unit: void aws_cryptosdk_private_commitment_eq_harness()
file: verification/cbmc/proofs/aws_cryptosdk_private_commitment_eq/aws_cryptosdk_private_commitment_eq_harness.c
start line: 20
end line: 55
size: 25 LOC
McCabe index: 3
number of parameters: 0

id: 117
unit: void aws_cryptosdk_rsa_decrypt_harness()
file: verification/cbmc/proofs/aws_cryptosdk_rsa_decrypt/aws_cryptosdk_rsa_decrypt_harness.c
start line: 23
end line: 60
size: 25 LOC
McCabe index: 3
number of parameters: 0

id: 118
unit: void aws_cryptosdk_keyring_trace_add_record_c_str_harness()
file: verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record_c_str/aws_cryptosdk_keyring_trace_add_record_c_str_harness.c
start line: 29
end line: 62
size: 25 LOC
McCabe index: 2
number of parameters: 0

id: 119
unit: void list_copy_all_harness()
file: verification/cbmc/proofs/list_copy_all/list_copy_all_harness.c
start line: 88
end line: 115
size: 25 LOC
McCabe index: 2
number of parameters: 0

id: 120
unit: void aws_cryptosdk_enc_ctx_clean_up_harness()
file: verification/cbmc/proofs/aws_cryptosdk_enc_ctx_clean_up/aws_cryptosdk_enc_ctx_clean_up_harness.c
start line: 27
end line: 59
size: 25 LOC
McCabe index: 5
number of parameters: 0

id: 121
unit: void aws_cryptosdk_edk_list_copy_all_harness()
file: verification/cbmc/proofs/aws_cryptosdk_edk_list_copy_all/aws_cryptosdk_edk_list_copy_all_harness.c
start line: 112
end line: 145
size: 25 LOC
McCabe index: 2
number of parameters: 0

id: 122
unit: def print_proof_results()
file: verification/cbmc/proofs/lib/summarize.py
start line: 0
end line: 0
size: 25 LOC
McCabe index: 4
number of parameters: 1

id: 123
unit: int aws_cryptosdk_private_derive_key()
file: source/cipher.c
start line: 408
end line: 433
size: 24 LOC
McCabe index: 5
number of parameters: 5

id: 124
unit: static int aws_cryptosdk_hkdf_extract()
file: source/hkdf.c
start line: 48
end line: 74
size: 24 LOC
McCabe index: 5
number of parameters: 5

id: 125
unit: int aws_cryptosdk_header_version_static_fields_len()
file: source/header.c
start line: 70
end line: 93
size: 24 LOC
McCabe index: 3
number of parameters: 1

id: 126
unit: static int encrypt_data_key()
file: source/raw_rsa_keyring.c
start line: 33
end line: 65
size: 24 LOC
McCabe index: 7
number of parameters: 4

id: 127
unit: int aws_cryptosdk_keyring_trace_record_init_clone()
file: source/keyring_trace.c
start line: 185
end line: 210
size: 24 LOC
McCabe index: 2
number of parameters: 3

id: 128
unit: int aws_cryptosdk_keyring_on_decrypt()
file: source/materials.c
start line: 138
end line: 168
size: 24 LOC
McCabe index: 7
number of parameters: 7

id: 129
unit: static int serde_last_frame()
file: source/framefmt.c
start line: 129
end line: 177
size: 24 LOC
McCabe index: 5
number of parameters: 2

id: 130
unit: void aws_cryptosdk_serialize_frame_harness()
file: verification/cbmc/proofs/aws_cryptosdk_serialize_frame/aws_cryptosdk_serialize_frame_harness.c
start line: 21
end line: 51
size: 24 LOC
McCabe index: 2
number of parameters: 0

id: 131
unit: std::shared_ptr Aws::Cryptosdk::Private::BuildClientSupplier()
file: aws-encryption-sdk-cpp/source/kms_keyring.cpp
start line: 366
end line: 395
size: 23 LOC
McCabe index: 5
number of parameters: 3

id: 132
unit: static int update_frame_aad()
file: source/cipher.c
start line: 615
end line: 644
size: 23 LOC
McCabe index: 7
number of parameters: 5

id: 133
unit: static void locked_invalidate_entry()
file: source/local_cache.c
start line: 139
end line: 175
size: 23 LOC
McCabe index: 2
number of parameters: 3

id: 134
unit: static int find_entry()
file: source/local_cache.c
start line: 511
end line: 538
size: 23 LOC
McCabe index: 5
number of parameters: 4

id: 135
unit: void aws_cryptosdk_enc_materials_destroy_harness()
file: verification/cbmc/proofs/aws_cryptosdk_enc_materials_destroy/aws_cryptosdk_enc_materials_destroy_harness.c
start line: 37
end line: 79
size: 23 LOC
McCabe index: 2
number of parameters: 0

id: 136
unit: int EVP_PKEY_sign()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 188
end line: 215
size: 23 LOC
McCabe index: 5
number of parameters: 5

id: 137
unit: int EVP_DecryptUpdate()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 623
end line: 652
size: 23 LOC
McCabe index: 5
number of parameters: 5

id: 138
unit: static inline void hdr_zeroize_verify()
file: verification/cbmc/hdr_zeroize.c
start line: 19
end line: 47
size: 22 LOC
McCabe index: 1
number of parameters: 1

id: 139
unit: int EVP_CipherInit_ex()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 472
end line: 493
size: 22 LOC
McCabe index: 7
number of parameters: 6

id: 140
unit: static int locked_insert_entry()
file: source/local_cache.c
start line: 295
end line: 325
size: 21 LOC
McCabe index: 4
number of parameters: 2

id: 141
unit: static inline int parse_edk()
file: source/header.c
start line: 160
end line: 187
size: 21 LOC
McCabe index: 10
number of parameters: 3

id: 142
unit: bool aws_cryptosdk_parse_provider_info()
file: source/raw_aes_keyring.c
start line: 61
end line: 88
size: 21 LOC
McCabe index: 8
number of parameters: 3

id: 143
unit: void aws_cryptosdk_verify_header_harness()
file: verification/cbmc/proofs/aws_cryptosdk_verify_header/aws_cryptosdk_verify_header_harness.c
start line: 20
end line: 52
size: 21 LOC
McCabe index: 1
number of parameters: 0

id: 144
unit: void aws_cryptosdk_md_finish_harness()
file: verification/cbmc/proofs/aws_cryptosdk_md_finish/aws_cryptosdk_md_finish_harness.c
start line: 25
end line: 53
size: 21 LOC
McCabe index: 2
number of parameters: 0

id: 145
unit: void aws_cryptosdk_sign_header_harness()
file: verification/cbmc/proofs/aws_cryptosdk_sign_header/aws_cryptosdk_sign_header_harness.c
start line: 20
end line: 52
size: 21 LOC
McCabe index: 1
number of parameters: 0

id: 146
unit: void aws_cryptosdk_md_update_harness()
file: verification/cbmc/proofs/aws_cryptosdk_md_update/aws_cryptosdk_md_update_harness.c
start line: 25
end line: 55
size: 21 LOC
McCabe index: 3
number of parameters: 0

id: 147
unit: void aws_cryptosdk_compare_hash_elems_by_key_string_harness()
file: verification/cbmc/proofs/aws_cryptosdk_compare_hash_elems_by_key_string/aws_cryptosdk_compare_hash_elems_by_key_string_harness.c
start line: 36
end line: 63
size: 21 LOC
McCabe index: 8
number of parameters: 0

id: 148
unit: def _get_tool_versions()
file: verification/cbmc/proofs/lib/print_tool_versions.py
start line: 0
end line: 0
size: 21 LOC
McCabe index: 5
number of parameters: 0

id: 149
unit: void aws_cryptosdk_sig_abort_harness()
file: verification/cbmc/proofs/aws_cryptosdk_sig_abort/aws_cryptosdk_sig_abort_harness.c
start line: 26
end line: 59
size: 21 LOC
McCabe index: 7
number of parameters: 0

id: 150
unit: int EVP_EncryptUpdate()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 587
end line: 614
size: 21 LOC
McCabe index: 4
number of parameters: 5

id: 151
unit: int aws_cryptosdk_hkdf()
file: source/hkdf.c
start line: 162
end line: 181
size: 20 LOC
McCabe index: 4
number of parameters: 5

id: 152
unit: static void locked_invalidate_entry()
file: source/local_cache.c
start line: 222
end line: 251
size: 20 LOC
McCabe index: 4
number of parameters: 3

id: 153
unit: def get_proof_dirs()
file: verification/cbmc/proofs/run-cbmc-proofs.py
start line: 0
end line: 0
size: 20 LOC
McCabe index: 11
number of parameters: 3

id: 154
unit: def run_build()
file: verification/cbmc/proofs/run-cbmc-proofs.py
start line: 0
end line: 0
size: 20 LOC
McCabe index: 8
number of parameters: 4

id: 155
unit: void aws_cryptosdk_dec_materials_destroy_harness()
file: verification/cbmc/proofs/aws_cryptosdk_dec_materials_destroy/aws_cryptosdk_dec_materials_destroy_harness.c
start line: 29
end line: 58
size: 20 LOC
McCabe index: 2
number of parameters: 0

id: 156
unit: void aws_cryptosdk_keyring_trace_record_init_clone_harness()
file: verification/cbmc/proofs/aws_cryptosdk_keyring_trace_record_init_clone/aws_cryptosdk_keyring_trace_record_init_clone_harness.c
start line: 20
end line: 45
size: 20 LOC
McCabe index: 2
number of parameters: 0

id: 157
unit: void aws_cryptosdk_transfer_list_harness()
file: verification/cbmc/proofs/aws_cryptosdk_transfer_list/aws_cryptosdk_transfer_list_harness.c
start line: 59
end line: 81
size: 20 LOC
McCabe index: 2
number of parameters: 0

id: 158
unit: void aws_cryptosdk_sig_sign_finish_harness()
file: verification/cbmc/proofs/aws_cryptosdk_sig_sign_finish/aws_cryptosdk_sig_sign_finish_harness.c
start line: 26
end line: 56
size: 20 LOC
McCabe index: 2
number of parameters: 0

id: 159
unit: int EVP_PKEY_derive()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 241
end line: 265
size: 20 LOC
McCabe index: 3
number of parameters: 3

id: 160
unit: int aws_base64_encode()
file: verification/cbmc/stubs/aws_base64_encode.c
start line: 23
end line: 55
size: 20 LOC
McCabe index: 4
number of parameters: 2

id: 161
unit: int aws_cryptosdk_materials_cache_get_enc_materials()
file: include/aws/cryptosdk/cache.h
start line: 327
end line: 347
size: 19 LOC
McCabe index: 2
number of parameters: 5

id: 162
unit: void aws_cryptosdk_materials_cache_put_entry_for_encrypt()
file: include/aws/cryptosdk/cache.h
start line: 371
end line: 390
size: 19 LOC
McCabe index: 2
number of parameters: 6

id: 163
unit: int append_aws_byte_buf_key_dup_to_edks()
file: aws-encryption-sdk-cpp/source/cpputils.cpp
start line: 66
end line: 86
size: 19 LOC
McCabe index: 5
number of parameters: 5

id: 164
unit: int aws_cryptosdk_keyring_trace_add_record_buf()
file: source/keyring_trace.c
start line: 148
end line: 167
size: 19 LOC
McCabe index: 2
number of parameters: 5

id: 165
unit: static int build_header()
file: source/session_encrypt.c
start line: 152
end line: 181
size: 19 LOC
McCabe index: 4
number of parameters: 2

id: 166
unit: def get_project_name()
file: verification/cbmc/proofs/run-cbmc-proofs.py
start line: 0
end line: 0
size: 19 LOC
McCabe index: 3
number of parameters: 0

id: 167
unit: def check_uid_uniqueness()
file: verification/cbmc/proofs/run-cbmc-proofs.py
start line: 0
end line: 0
size: 19 LOC
McCabe index: 4
number of parameters: 2

id: 168
unit: void aws_cryptosdk_sig_sign_start_harness()
file: verification/cbmc/proofs/aws_cryptosdk_sig_sign_start/aws_cryptosdk_sig_sign_start_harness.c
start line: 25
end line: 52
size: 19 LOC
McCabe index: 9
number of parameters: 0

id: 169
unit: int aws_cryptosdk_hash_elems_array_init()
file: verification/cbmc/stubs/aws_cryptosdk_hash_elems_array_init_stub.c
start line: 40
end line: 62
size: 19 LOC
McCabe index: 1
number of parameters: 3

id: 170
unit: std::shared_ptr KmsKeyring::DiscoveryFilterBuilder::Build()
file: aws-encryption-sdk-cpp/source/kms_keyring.cpp
start line: 499
end line: 518
size: 18 LOC
McCabe index: 4
number of parameters: 0

id: 171
unit: int aws_cryptosdk_priv_hdr_parse_edks()
file: source/header.c
start line: 301
end line: 320
size: 18 LOC
McCabe index: 7
number of parameters: 3

id: 172
unit: int aws_cryptosdk_hash_elems_array_init()
file: source/utils.c
start line: 28
end line: 48
size: 18 LOC
McCabe index: 4
number of parameters: 3

id: 173
unit: bool aws_cryptosdk_frame_is_valid()
file: source/framefmt.c
start line: 224
end line: 247
size: 18 LOC
McCabe index: 11
number of parameters: 1

id: 174
unit: static int call_on_encrypt_on_list()
file: source/multi_keyring.c
start line: 20
end line: 37
size: 18 LOC
McCabe index: 4
number of parameters: 7

id: 175
unit: void aws_cryptosdk_keyring_trace_clear_harness()
file: verification/cbmc/proofs/aws_cryptosdk_keyring_trace_clear/aws_cryptosdk_keyring_trace_clear_harness.c
start line: 25
end line: 50
size: 18 LOC
McCabe index: 1
number of parameters: 0

id: 176
unit: void aws_cryptosdk_sig_get_pubkey_harness()
file: verification/cbmc/proofs/aws_cryptosdk_sig_get_pubkey/aws_cryptosdk_sig_get_pubkey_harness.c
start line: 25
end line: 51
size: 18 LOC
McCabe index: 2
number of parameters: 0

id: 177
unit: int EVP_PKEY_encrypt()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 351
end line: 372
size: 18 LOC
McCabe index: 3
number of parameters: 5

id: 178
unit: int EVP_PKEY_decrypt()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 380
end line: 401
size: 18 LOC
McCabe index: 3
number of parameters: 5

id: 179
unit: void aws_hash_iter_next()
file: verification/cbmc/stubs/aws_hash_iter_overrides.c
start line: 79
end line: 99
size: 18 LOC
McCabe index: 4
number of parameters: 1

id: 180
unit: int aws_cryptosdk_hdr_write()
file: verification/cbmc/stubs/hdr_write_stub.c
start line: 27
end line: 45
size: 18 LOC
McCabe index: 4
number of parameters: 4

id: 181
unit: int aws_cryptosdk_materials_cache_get_dec_materials()
file: include/aws/cryptosdk/cache.h
start line: 350
end line: 368
size: 17 LOC
McCabe index: 2
number of parameters: 4

id: 182
unit: static int evp_gcm_decrypt_final()
file: source/cipher.c
start line: 478
end line: 502
size: 17 LOC
McCabe index: 4
number of parameters: 3

id: 183
unit: static inline int ttl_heap_cmp()
file: source/local_cache.c
start line: 184
end line: 202
size: 17 LOC
McCabe index: 5
number of parameters: 2

id: 184
unit: int aws_cryptosdk_priv_hdr_parse_alg_id()
file: source/header.c
start line: 251
end line: 268
size: 17 LOC
McCabe index: 4
number of parameters: 4

id: 185
unit: int aws_cryptosdk_keyring_trace_add_record()
file: source/keyring_trace.c
start line: 111
end line: 127
size: 17 LOC
McCabe index: 2
number of parameters: 5

id: 186
unit: int aws_cryptosdk_keyring_trace_add_record_c_str()
file: source/keyring_trace.c
start line: 129
end line: 146
size: 17 LOC
McCabe index: 2
number of parameters: 5

id: 187
unit: int aws_cryptosdk_session_set_message_size()
file: source/session.c
start line: 163
end line: 185
size: 17 LOC
McCabe index: 5
number of parameters: 2

id: 188
unit: void aws_cryptosdk_keyring_retain_harness()
file: verification/cbmc/proofs/aws_cryptosdk_keyring_retain/aws_cryptosdk_keyring_retain_harness.c
start line: 19
end line: 44
size: 17 LOC
McCabe index: 1
number of parameters: 0

id: 189
unit: void aws_cryptosdk_sig_update_harness()
file: verification/cbmc/proofs/aws_cryptosdk_sig_update/aws_cryptosdk_sig_update_harness.c
start line: 26
end line: 52
size: 17 LOC
McCabe index: 2
number of parameters: 0

id: 190
unit: void aws_cryptosdk_derive_key_verify()
file: verification/cbmc/cipher_proofs.c
start line: 30
end line: 50
size: 17 LOC
McCabe index: 3
number of parameters: 1

id: 191
unit: int aws_cryptosdk_materials_cache_find_entry()
file: include/aws/cryptosdk/cache.h
start line: 289
end line: 306
size: 16 LOC
McCabe index: 2
number of parameters: 4

id: 192
unit: std::shared_ptr KmsKeyring::CachingClientSupplier::GetClient()
file: aws-encryption-sdk-cpp/source/kms_keyring.cpp
start line: 349
end line: 364
size: 16 LOC
McCabe index: 2
number of parameters: 2

id: 193
unit: static bool check_ttl()
file: source/caching_cmm.c
start line: 223
end line: 248
size: 16 LOC
McCabe index: 5
number of parameters: 2

id: 194
unit: static enum aws_cryptosdk_sha_version aws_cryptosdk_which_sha()
file: source/cipher.c
start line: 239
end line: 254
size: 16 LOC
McCabe index: 12
number of parameters: 1

id: 195
unit: bool aws_cryptosdk_private_commitment_eq()
file: source/cipher.c
start line: 282
end line: 317
size: 16 LOC
McCabe index: 5
number of parameters: 2

id: 196
unit: bool aws_cryptosdk_algorithm_is_known()
file: source/header.c
start line: 27
end line: 42
size: 16 LOC
McCabe index: 12
number of parameters: 1

id: 197
unit: bool aws_cryptosdk_keyring_trace_is_valid()
file: source/keyring_trace.c
start line: 18
end line: 34
size: 16 LOC
McCabe index: 5
number of parameters: 1

id: 198
unit: int aws_cryptosdk_enc_ctx_init()
file: source/enc_ctx.c
start line: 25
end line: 41
size: 16 LOC
McCabe index: 2
number of parameters: 2

id: 199
unit: bool aws_cryptosdk_edk_list_is_valid()
file: source/edk.c
start line: 84
end line: 100
size: 16 LOC
McCabe index: 4
number of parameters: 1

id: 200
unit: bool aws_cryptosdk_frame_serialized()
file: source/framefmt.c
start line: 249
end line: 271
size: 16 LOC
McCabe index: 11
number of parameters: 3

id: 201
unit: void aws_cryptosdk_enc_ctx_deserialize_harness()
file: verification/cbmc/proofs/aws_cryptosdk_enc_ctx_deserialize/aws_cryptosdk_enc_ctx_deserialize_harness.c
start line: 45
end line: 70
size: 16 LOC
McCabe index: 2
number of parameters: 0

id: 202
unit: def _get_status_and_proof_summaries()
file: verification/cbmc/proofs/lib/summarize.py
start line: 0
end line: 0
size: 16 LOC
McCabe index: 5
number of parameters: 1

id: 203
unit: def _format_versions()
file: verification/cbmc/proofs/lib/print_tool_versions.py
start line: 0
end line: 0
size: 16 LOC
McCabe index: 3
number of parameters: 1

id: 204
unit: bool aws_cryptosdk_keyring_trace_is_valid()
file: verification/cbmc/proofs/aws_cryptosdk_keyring_trace_copy_all/aws_cryptosdk_keyring_trace_copy_all_harness.c
start line: 27
end line: 44
size: 16 LOC
McCabe index: 4
number of parameters: 1

id: 205
unit: enum aws_cryptosdk_sha_version aws_cryptosdk_which_sha()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 240
end line: 255
size: 16 LOC
McCabe index: 12
number of parameters: 1

id: 206
unit: int i2d_ECDSA_SIG()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 360
end line: 380
size: 16 LOC
McCabe index: 3
number of parameters: 2

id: 207
unit: AWS_CRYPTOSDK_STATIC_INLINE bool aws_cryptosdk_session_is_valid()
file: include/aws/cryptosdk/private/session.h
start line: 101
end line: 115
size: 15 LOC
McCabe index: 11
number of parameters: 1

id: 208
unit: void aws_cryptosdk_materials_cache_put_entry_for_decrypt()
file: include/aws/cryptosdk/cache.h
start line: 393
end line: 408
size: 15 LOC
McCabe index: 2
number of parameters: 4

id: 209
unit: bool is_valid_kms_key_arn()
file: aws-encryption-sdk-cpp/source/cpputils.cpp
start line: 179
end line: 211
size: 15 LOC
McCabe index: 10
number of parameters: 1

id: 210
unit: bool is_kms_mrk_identifier()
file: aws-encryption-sdk-cpp/source/cpputils.cpp
start line: 264
end line: 297
size: 15 LOC
McCabe index: 4
number of parameters: 1

id: 211
unit: int hash_edk_for_decrypt()
file: source/caching_cmm.c
start line: 352
end line: 369
size: 15 LOC
McCabe index: 5
number of parameters: 3

id: 212
unit: int aws_cryptosdk_genrandom()
file: source/cipher.c
start line: 812
end line: 829
size: 15 LOC
McCabe index: 4
number of parameters: 2

id: 213
unit: static int locked_process_ttls()
file: source/local_cache.c
start line: 258
end line: 276
size: 15 LOC
McCabe index: 6
number of parameters: 1

id: 214
unit: static void clear_cache()
file: source/local_cache.c
start line: 868
end line: 892
size: 15 LOC
McCabe index: 4
number of parameters: 1

id: 215
unit: bool aws_cryptosdk_keyring_trace_eq()
file: source/keyring_trace.c
start line: 218
end line: 233
size: 15 LOC
McCabe index: 6
number of parameters: 2

id: 216
unit: int aws_cryptosdk_md_finish()
file: source/cipher_openssl.c
start line: 172
end line: 192
size: 15 LOC
McCabe index: 2
number of parameters: 3

id: 217
unit: int aws_cryptosdk_sig_update()
file: source/cipher_openssl.c
start line: 805
end line: 823
size: 15 LOC
McCabe index: 3
number of parameters: 2

id: 218
unit: int aws_cryptosdk_edk_init_clone()
file: source/edk.c
start line: 49
end line: 67
size: 15 LOC
McCabe index: 4
number of parameters: 3

id: 219
unit: void aws_cryptosdk_default_cmm_set_alg_id_harness()
file: verification/cbmc/proofs/aws_cryptosdk_default_cmm_set_alg_id/aws_cryptosdk_default_cmm_set_alg_id_harness.c
start line: 23
end line: 48
size: 15 LOC
McCabe index: 1
number of parameters: 0

id: 220
unit: void aws_cryptosdk_edk_init_clone_harness()
file: verification/cbmc/proofs/aws_cryptosdk_edk_init_clone/aws_cryptosdk_edk_init_clone_harness.c
start line: 25
end line: 43
size: 15 LOC
McCabe index: 2
number of parameters: 0

id: 221
unit: int i2o_ECPublicKey()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 260
end line: 280
size: 15 LOC
McCabe index: 3
number of parameters: 2

id: 222
unit: int EVP_CIPHER_CTX_ctrl()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 498
end line: 520
size: 15 LOC
McCabe index: 4
number of parameters: 4

id: 223
unit: int aws_cryptosdk_hkdf()
file: verification/cbmc/stubs/hkdf_stub.c
start line: 24
end line: 38
size: 15 LOC
McCabe index: 2
number of parameters: 5

id: 224
unit: int aws_cryptosdk_materials_cache_update_usage_stats()
file: include/aws/cryptosdk/cache.h
start line: 309
end line: 324
size: 14 LOC
McCabe index: 2
number of parameters: 3

id: 225
unit: static void locked_release_entry()
file: source/local_cache.c
start line: 327
end line: 375
size: 14 LOC
McCabe index: 4
number of parameters: 3

id: 226
unit: static int update_usage_stats()
file: source/local_cache.c
start line: 540
end line: 557
size: 14 LOC
McCabe index: 3
number of parameters: 3

id: 227
unit: int aws_cryptosdk_keyring_trace_init()
file: source/keyring_trace.c
start line: 169
end line: 183
size: 14 LOC
McCabe index: 2
number of parameters: 2

id: 228
unit: int aws_cryptosdk_transfer_list()
file: source/list_utils.c
start line: 17
end line: 37
size: 14 LOC
McCabe index: 4
number of parameters: 2

id: 229
unit: static int validate_header()
file: source/session_decrypt.c
start line: 102
end line: 123
size: 14 LOC
McCabe index: 3
number of parameters: 1

id: 230
unit: int aws_cryptosdk_serialize_provider_info_init()
file: source/raw_aes_keyring.c
start line: 45
end line: 59
size: 14 LOC
McCabe index: 6
number of parameters: 4

id: 231
unit: def get_litani_path()
file: verification/cbmc/proofs/run-cbmc-proofs.py
start line: 0
end line: 0
size: 14 LOC
McCabe index: 2
number of parameters: 1

id: 232
unit: void array_list_item_generator()
file: verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c
start line: 27
end line: 43
size: 14 LOC
McCabe index: 2
number of parameters: 1

id: 233
unit: void aws_cryptosdk_md_init_harness()
file: verification/cbmc/proofs/aws_cryptosdk_md_init/aws_cryptosdk_md_init_harness.c
start line: 24
end line: 45
size: 14 LOC
McCabe index: 3
number of parameters: 0

id: 234
unit: int __CPROVER_file_local_list_utils_c_list_copy_all()
file: verification/cbmc/proofs/list_copy_all/list_copy_all_harness.c
start line: 62
end line: 81
size: 14 LOC
McCabe index: 1
number of parameters: 5

id: 235
unit: void aws_cryptosdk_sig_get_privkey_harness()
file: verification/cbmc/proofs/aws_cryptosdk_sig_get_privkey/aws_cryptosdk_sig_get_privkey_harness.c
start line: 25
end line: 45
size: 14 LOC
McCabe index: 2
number of parameters: 0

id: 236
unit: void array_list_item_generator()
file: verification/cbmc/proofs/sign_header/sign_header_harness.c
start line: 30
end line: 46
size: 14 LOC
McCabe index: 2
number of parameters: 1

id: 237
unit: int aws_array_list_push_back()
file: verification/cbmc/proofs/aws_cryptosdk_edk_list_copy_all/aws_cryptosdk_edk_list_copy_all_harness.c
start line: 87
end line: 100
size: 14 LOC
McCabe index: 4
number of parameters: 2

id: 238
unit: void aws_cryptosdk_cmm_release_harness()
file: verification/cbmc/proofs/aws_cryptosdk_cmm_release/aws_cryptosdk_cmm_release_harness.c
start line: 31
end line: 46
size: 14 LOC
McCabe index: 3
number of parameters: 0

id: 239
unit: void array_list_item_generator()
file: verification/cbmc/proofs/aws_cryptosdk_enc_ctx_serialize/aws_cryptosdk_enc_ctx_serialize_harness.c
start line: 26
end line: 40
size: 14 LOC
McCabe index: 2
number of parameters: 1

id: 240
unit: void aws_cryptosdk_hash_elems_array_init_harness()
file: verification/cbmc/proofs/aws_cryptosdk_hash_elems_array_init/aws_cryptosdk_hash_elems_array_init_harness.c
start line: 28
end line: 47
size: 14 LOC
McCabe index: 3
number of parameters: 0

id: 241
unit: void aws_cryptosdk_keyring_release_harness()
file: verification/cbmc/proofs/aws_cryptosdk_keyring_release/aws_cryptosdk_keyring_release_harness.c
start line: 24
end line: 42
size: 14 LOC
McCabe index: 3
number of parameters: 0

id: 242
unit: bool aws_cryptosdk_session_members_are_bounded()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 312
end line: 325
size: 14 LOC
McCabe index: 5
number of parameters: 4

id: 243
unit: int i2d_ASN1_INTEGER()
file: verification/cbmc/sources/openssl/asn1_override.c
start line: 108
end line: 126
size: 14 LOC
McCabe index: 2
number of parameters: 2

id: 244
unit: int EVP_DigestFinal_ex()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 823
end line: 842
size: 14 LOC
McCabe index: 4
number of parameters: 3

id: 245
unit: int EVP_DigestVerifyInit()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 867
end line: 883
size: 14 LOC
McCabe index: 2
number of parameters: 5

id: 246
unit: int aws_base64_decode()
file: verification/cbmc/stubs/aws_base64_decode.c
start line: 23
end line: 40
size: 14 LOC
McCabe index: 4
number of parameters: 2

id: 247
unit: void array_list_item_generator()
file: verification/cbmc/stubs/aws_array_list_item_generator_u8_stub.c
start line: 33
end line: 48
size: 14 LOC
McCabe index: 2
number of parameters: 1

id: 248
unit: AWS_CRYPTOSDK_STATIC_INLINE bool aws_cryptosdk_enc_materials_is_valid()
file: include/aws/cryptosdk/materials.h
start line: 238
end line: 250
size: 13 LOC
McCabe index: 7
number of parameters: 1

id: 249
unit: AWS_CRYPTOSDK_STATIC_INLINE int aws_cryptosdk_cmm_generate_enc_materials()
file: include/aws/cryptosdk/materials.h
start line: 503
end line: 515
size: 13 LOC
McCabe index: 4
number of parameters: 3

id: 250
unit: AWS_CRYPTOSDK_STATIC_INLINE int aws_cryptosdk_cmm_decrypt_materials()
file: include/aws/cryptosdk/materials.h
start line: 526
end line: 539
size: 13 LOC
McCabe index: 4
number of parameters: 3

id: 251
unit: Aws::Map aws_map_from_c_aws_hash_table()
file: aws-encryption-sdk-cpp/source/cpputils.cpp
start line: 49
end line: 64
size: 13 LOC
McCabe index: 3
number of parameters: 1

id: 252
unit: int append_key_dup_to_edks()
file: aws-encryption-sdk-cpp/source/cpputils.cpp
start line: 88
end line: 103
size: 13 LOC
McCabe index: 1
number of parameters: 5

id: 253
unit: bool is_valid_kms_identifier()
file: aws-encryption-sdk-cpp/source/cpputils.cpp
start line: 213
end line: 232
size: 13 LOC
McCabe index: 4
number of parameters: 1

id: 254
unit: bool is_kms_mrk_arn()
file: aws-encryption-sdk-cpp/source/cpputils.cpp
start line: 236
end line: 260
size: 13 LOC
McCabe index: 4
number of parameters: 1

id: 255
unit: static int generate_enc_materials()
file: source/caching_cmm.c
start line: 38
end line: 50
size: 13 LOC
McCabe index: 1
number of parameters: 3

id: 256
unit: static int copy_enc_materials()
file: source/local_cache.c
start line: 442
end line: 457
size: 13 LOC
McCabe index: 4
number of parameters: 3

id: 257
unit: int aws_cryptosdk_priv_hdr_parse_aad()
file: source/header.c
start line: 282
end line: 299
size: 13 LOC
McCabe index: 6
number of parameters: 2

id: 258
unit: int aws_cryptosdk_keyring_trace_copy_all()
file: source/list_utils.c
start line: 118
end line: 130
size: 13 LOC
McCabe index: 1
number of parameters: 3

id: 259
unit: static inline int serde_last_frame()
file: source/framefmt.c
start line: 179
end line: 201
size: 13 LOC
McCabe index: 2
number of parameters: 2

id: 260
unit: static inline int serde_nonframed()
file: source/framefmt.c
start line: 203
end line: 222
size: 13 LOC
McCabe index: 2
number of parameters: 2

id: 261
unit: static void multi_keyring_destroy()
file: source/multi_keyring.c
start line: 129
end line: 144
size: 13 LOC
McCabe index: 3
number of parameters: 1

id: 262
unit: void aws_cryptosdk_enc_ctx_size_harness()
file: verification/cbmc/proofs/aws_cryptosdk_enc_ctx_size/aws_cryptosdk_enc_ctx_size_harness.c
start line: 42
end line: 61
size: 13 LOC
McCabe index: 1
number of parameters: 0

id: 263
unit: void aws_cryptosdk_sig_verify_start_harness()
file: verification/cbmc/proofs/aws_cryptosdk_sig_verify_start/aws_cryptosdk_sig_verify_start_harness.c
start line: 25
end line: 45
size: 13 LOC
McCabe index: 5
number of parameters: 0

id: 264
unit: void aws_cryptosdk_cmm_retain_harness()
file: verification/cbmc/proofs/aws_cryptosdk_cmm_retain/aws_cryptosdk_cmm_retain_harness.c
start line: 25
end line: 38
size: 13 LOC
McCabe index: 1
number of parameters: 0

id: 265
unit: void aws_cryptosdk_alg_props_harness()
file: verification/cbmc/proofs/aws_cryptosdk_alg_props/aws_cryptosdk_alg_props_harness.c
start line: 19
end line: 36
size: 13 LOC
McCabe index: 8
number of parameters: 0

id: 266
unit: void aws_cryptosdk_enc_ctx_clone_harness()
file: verification/cbmc/proofs/aws_cryptosdk_enc_ctx_clone/aws_cryptosdk_enc_ctx_clone_harness.c
start line: 23
end line: 41
size: 13 LOC
McCabe index: 1
number of parameters: 0

id: 267
unit: void aws_cryptosdk_sig_sign_start_keygen_harness()
file: verification/cbmc/proofs/aws_cryptosdk_sig_sign_start_keygen/aws_cryptosdk_sig_sign_start_keygen_harness.c
start line: 25
end line: 46
size: 13 LOC
McCabe index: 8
number of parameters: 0

id: 268
unit: bool aws_cryptosdk_hdr_members_are_bounded()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 211
end line: 224
size: 13 LOC
McCabe index: 8
number of parameters: 3

id: 269
unit: static std::shared_ptr CreateDefaultKmsClient()
file: aws-encryption-sdk-cpp/source/kms_keyring.cpp
start line: 320
end line: 332
size: 12 LOC
McCabe index: 2
number of parameters: 2

id: 270
unit: static int hash_edk_field()
file: source/caching_cmm.c
start line: 335
end line: 349
size: 12 LOC
McCabe index: 4
number of parameters: 2

id: 271
unit: bool aws_cryptosdk_alg_properties_is_valid()
file: source/cipher.c
start line: 269
end line: 280
size: 12 LOC
McCabe index: 7
number of parameters: 1

id: 272
unit: static int evp_gcm_encrypt_final()
file: source/cipher.c
start line: 456
end line: 471
size: 12 LOC
McCabe index: 3
number of parameters: 3

id: 273
unit: static int copy_dec_materials()
file: source/local_cache.c
start line: 459
end line: 473
size: 12 LOC
McCabe index: 3
number of parameters: 3

id: 274
unit: int aws_cryptosdk_hdr_init()
file: source/header.c
start line: 111
end line: 126
size: 12 LOC
McCabe index: 3
number of parameters: 2

id: 275
unit: void aws_cryptosdk_hdr_clean_up()
file: source/header.c
start line: 144
end line: 158
size: 12 LOC
McCabe index: 6
number of parameters: 1

id: 276
unit: int aws_cryptosdk_priv_hdr_parse_frame_len()
file: source/header.c
start line: 351
end line: 362
size: 12 LOC
McCabe index: 6
number of parameters: 3

id: 277
unit: int aws_cryptosdk_priv_hdr_parse_alg_suite_data()
file: source/header.c
start line: 364
end line: 375
size: 12 LOC
McCabe index: 4
number of parameters: 3

id: 278
unit: void aws_cryptosdk_keyring_trace_clear()
file: source/keyring_trace.c
start line: 235
end line: 246
size: 12 LOC
McCabe index: 3
number of parameters: 1

id: 279
unit: int aws_cryptosdk_session_set_message_bound()
file: source/session.c
start line: 187
end line: 201
size: 12 LOC
McCabe index: 5
number of parameters: 2

id: 280
unit: int aws_cryptosdk_session_set_commitment_policy()
file: source/session.c
start line: 203
end line: 225
size: 12 LOC
McCabe index: 3
number of parameters: 2

id: 281
unit: int aws_cryptosdk_session_set_max_encrypted_data_keys()
file: source/session.c
start line: 227
end line: 242
size: 12 LOC
McCabe index: 3
number of parameters: 2

id: 282
unit: void aws_cryptosdk_hdr_write_verify()
file: verification/cbmc/header_proofs.c
start line: 125
end line: 139
size: 12 LOC
McCabe index: 1
number of parameters: 1

id: 283
unit: void aws_cryptosdk_keyring_trace_clean_up_harness()
file: verification/cbmc/proofs/aws_cryptosdk_keyring_trace_clean_up/aws_cryptosdk_keyring_trace_clean_up_harness.c
start line: 25
end line: 42
size: 12 LOC
McCabe index: 1
number of parameters: 0

id: 284
unit: bool aws_array_list_is_valid_deep()
file: verification/cbmc/proofs/list_copy_all/list_copy_all_harness.c
start line: 45
end line: 56
size: 12 LOC
McCabe index: 7
number of parameters: 1

id: 285
unit: void aws_cryptosdk_enc_ctx_clear_harness()
file: verification/cbmc/proofs/aws_cryptosdk_enc_ctx_clear/aws_cryptosdk_enc_ctx_clear_harness.c
start line: 23
end line: 35
size: 12 LOC
McCabe index: 1
number of parameters: 0

id: 286
unit: bool aws_array_list_is_valid_deep()
file: verification/cbmc/proofs/aws_cryptosdk_edk_list_copy_all/aws_cryptosdk_edk_list_copy_all_harness.c
start line: 46
end line: 57
size: 12 LOC
McCabe index: 7
number of parameters: 1

id: 287
unit: void aws_cryptosdk_enc_ctx_serialize_harness()
file: verification/cbmc/proofs/aws_cryptosdk_enc_ctx_serialize/aws_cryptosdk_enc_ctx_serialize_harness.c
start line: 42
end line: 58
size: 12 LOC
McCabe index: 1
number of parameters: 0

id: 288
unit: bool aws_array_list_is_valid_deep()
file: verification/cbmc/proofs/aws_cryptosdk_transfer_list/aws_cryptosdk_transfer_list_harness.c
start line: 46
end line: 57
size: 12 LOC
McCabe index: 7
number of parameters: 1

id: 289
unit: bool aws_array_list_is_valid_deep()
file: verification/cbmc/proofs/aws_cryptosdk_keyring_trace_copy_all/aws_cryptosdk_keyring_trace_copy_all_harness.c
start line: 76
end line: 87
size: 12 LOC
McCabe index: 7
number of parameters: 1

id: 290
unit: void aws_cryptosdk_session_set_commitment_policy_harness()
file: verification/cbmc/proofs/aws_cryptosdk_session_set_commitment_policy/aws_cryptosdk_session_set_commitment_policy_harness.c
start line: 20
end line: 40
size: 12 LOC
McCabe index: 3
number of parameters: 0

id: 291
unit: void ensure_cryptosdk_edk_list_has_allocated_list()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 163
end line: 174
size: 12 LOC
McCabe index: 4
number of parameters: 1

id: 292
unit: int EC_KEY_set_group()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 124
end line: 140
size: 12 LOC
McCabe index: 4
number of parameters: 2

id: 293
unit: int OBJ_txt2nid()
file: verification/cbmc/sources/openssl/objects_override.c
start line: 25
end line: 37
size: 12 LOC
McCabe index: 4
number of parameters: 1

id: 294
unit: struct aws_hash_iter aws_hash_iter_begin()
file: verification/cbmc/stubs/aws_hash_iter_overrides.c
start line: 54
end line: 68
size: 12 LOC
McCabe index: 2
number of parameters: 1

id: 295
unit: AWS_CRYPTOSDK_STATIC_INLINE bool aws_cryptosdk_dec_materials_is_valid()
file: include/aws/cryptosdk/materials.h
start line: 252
end line: 262
size: 11 LOC
McCabe index: 6
number of parameters: 1

id: 296
unit: uint64_t aws_cryptosdk_materials_cache_entry_get_creation_time()
file: include/aws/cryptosdk/cache.h
start line: 424
end line: 435
size: 11 LOC
McCabe index: 2
number of parameters: 2

id: 297
unit: AWS_CRYPTOSDK_STATIC_INLINE void aws_cryptosdk_materials_cache_release()
file: include/aws/cryptosdk/cache.h
start line: 501
end line: 513
size: 11 LOC
McCabe index: 4
number of parameters: 1

id: 298
unit: int aws_cryptosdk_caching_cmm_set_limit_bytes()
file: source/caching_cmm.c
start line: 108
end line: 120
size: 11 LOC
McCabe index: 3
number of parameters: 2

id: 299
unit: int aws_cryptosdk_caching_cmm_set_limit_messages()
file: source/caching_cmm.c
start line: 122
end line: 134
size: 11 LOC
McCabe index: 4
number of parameters: 2

id: 300
unit: int aws_cryptosdk_caching_cmm_set_ttl()
file: source/caching_cmm.c
start line: 148
end line: 160
size: 11 LOC
McCabe index: 3
number of parameters: 3

id: 301
unit: int aws_cryptosdk_default_cmm_set_alg_id()
file: source/default_cmm.c
start line: 180
end line: 192
size: 11 LOC
McCabe index: 2
number of parameters: 2

id: 302
unit: static bool locked_find_entry()
file: source/local_cache.c
start line: 278
end line: 293
size: 11 LOC
McCabe index: 3
number of parameters: 3

id: 303
unit: static size_t entry_count()
file: source/local_cache.c
start line: 494
end line: 509
size: 11 LOC
McCabe index: 3
number of parameters: 1

id: 304
unit: void aws_cryptosdk_hdr_clear()
file: source/header.c
start line: 128
end line: 142
size: 11 LOC
McCabe index: 1
number of parameters: 1

id: 305
unit: int aws_cryptosdk_priv_hdr_parse_message_id()
file: source/header.c
start line: 270
end line: 280
size: 11 LOC
McCabe index: 3
number of parameters: 3

id: 306
unit: static int record_init_from_c_strs()
file: source/keyring_trace.c
start line: 67
end line: 77
size: 11 LOC
McCabe index: 1
number of parameters: 5

id: 307
unit: static int record_init_from_strings()
file: source/keyring_trace.c
start line: 79
end line: 89
size: 11 LOC
McCabe index: 1
number of parameters: 5

id: 308
unit: static int record_init_from_bufs()
file: source/keyring_trace.c
start line: 91
end line: 101
size: 11 LOC
McCabe index: 1
number of parameters: 5

id: 309
unit: bool aws_cryptosdk_priv_algorithm_allowed_for_encrypt()
file: source/session.c
start line: 576
end line: 586
size: 11 LOC
McCabe index: 4
number of parameters: 2

id: 310
unit: bool aws_cryptosdk_priv_algorithm_allowed_for_decrypt()
file: source/session.c
start line: 588
end line: 598
size: 11 LOC
McCabe index: 4
number of parameters: 2

id: 311
unit: static int serialize_aad_init()
file: source/raw_aes_keyring.c
start line: 29
end line: 43
size: 11 LOC
McCabe index: 4
number of parameters: 3

id: 312
unit: void aws_cryptosdk_edk_list_clear()
file: source/edk.c
start line: 31
end line: 42
size: 11 LOC
McCabe index: 3
number of parameters: 1

id: 313
unit: def get_litani_capabilities()
file: verification/cbmc/proofs/run-cbmc-proofs.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 3
number of parameters: 1

id: 314
unit: void aws_cryptosdk_priv_algorithm_allowed_for_decrypt_harness()
file: verification/cbmc/proofs/aws_cryptosdk_priv_algorithm_allowed_for_decrypt/aws_cryptosdk_priv_algorithm_allowed_for_decrypt_harness.c
start line: 20
end line: 37
size: 11 LOC
McCabe index: 3
number of parameters: 0

id: 315
unit: void aws_cryptosdk_edk_list_clean_up_harness()
file: verification/cbmc/proofs/aws_cryptosdk_edk_list_clean_up/aws_cryptosdk_edk_list_clean_up_harness.c
start line: 25
end line: 39
size: 11 LOC
McCabe index: 1
number of parameters: 0

id: 316
unit: void aws_cryptosdk_sig_verify_finish_harness()
file: verification/cbmc/proofs/aws_cryptosdk_sig_verify_finish/aws_cryptosdk_sig_verify_finish_harness.c
start line: 25
end line: 41
size: 11 LOC
McCabe index: 1
number of parameters: 0

id: 317
unit: void aws_cryptosdk_edk_list_clear_harness()
file: verification/cbmc/proofs/aws_cryptosdk_edk_list_clear/aws_cryptosdk_edk_list_clear_harness.c
start line: 25
end line: 39
size: 11 LOC
McCabe index: 1
number of parameters: 0

id: 318
unit: def _get_entries()
file: verification/cbmc/proofs/lib/summarize.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 3
number of parameters: 2

id: 319
unit: def _get_rendered_table()
file: verification/cbmc/proofs/lib/summarize.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 3
number of parameters: 1

id: 320
unit: void aws_cryptosdk_edk_eq_harness()
file: verification/cbmc/proofs/aws_cryptosdk_edk_eq/aws_cryptosdk_edk_eq_harness.c
start line: 25
end line: 37
size: 11 LOC
McCabe index: 1
number of parameters: 0

id: 321
unit: void ensure_record_has_allocated_members()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 79
end line: 89
size: 11 LOC
McCabe index: 3
number of parameters: 2

id: 322
unit: void ensure_nondet_hdr_has_allocated_members_ref()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 185
end line: 195
size: 11 LOC
McCabe index: 3
number of parameters: 2

id: 323
unit: int EVP_PKEY_sign_init()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 164
end line: 176
size: 11 LOC
McCabe index: 2
number of parameters: 1

id: 324
unit: int EVP_PKEY_encrypt_init()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 272
end line: 282
size: 11 LOC
McCabe index: 2
number of parameters: 1

id: 325
unit: int EVP_PKEY_decrypt_init()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 289
end line: 299
size: 11 LOC
McCabe index: 2
number of parameters: 1

id: 326
unit: int EVP_PKEY_CTX_set_rsa_padding()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 308
end line: 318
size: 11 LOC
McCabe index: 7
number of parameters: 2

id: 327
unit: int EVP_EncryptFinal_ex()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 661
end line: 671
size: 11 LOC
McCabe index: 3
number of parameters: 3

id: 328
unit: int EVP_DecryptFinal_ex()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 679
end line: 689
size: 11 LOC
McCabe index: 3
number of parameters: 3

id: 329
unit: int HMAC_Init_ex()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 962
end line: 972
size: 11 LOC
McCabe index: 4
number of parameters: 5

id: 330
unit: int HMAC_Final()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 988
end line: 998
size: 11 LOC
McCabe index: 2
number of parameters: 3

id: 331
unit: void aws_cryptosdk_materials_cache_entry_release()
file: include/aws/cryptosdk/cache.h
start line: 411
end line: 421
size: 10 LOC
McCabe index: 2
number of parameters: 3

id: 332
unit: void aws_cryptosdk_materials_cache_entry_ttl_hint()
file: include/aws/cryptosdk/cache.h
start line: 438
end line: 448
size: 10 LOC
McCabe index: 2
number of parameters: 3

id: 333
unit: bool kms_mrk_match_for_decrypt()
file: aws-encryption-sdk-cpp/source/cpputils.cpp
start line: 301
end line: 323
size: 10 LOC
McCabe index: 9
number of parameters: 2

id: 334
unit: static void destroy_cache_entry()
file: source/local_cache.c
start line: 413
end line: 426
size: 10 LOC
McCabe index: 1
number of parameters: 1

id: 335
unit: int aws_cryptosdk_priv_hdr_parse_header_version()
file: source/header.c
start line: 230
end line: 239
size: 10 LOC
McCabe index: 3
number of parameters: 3

id: 336
unit: int aws_cryptosdk_priv_hdr_parse_auth_tag()
file: source/header.c
start line: 385
end line: 394
size: 10 LOC
McCabe index: 3
number of parameters: 2

id: 337
unit: void aws_cryptosdk_keyring_trace_record_clean_up()
file: source/keyring_trace.c
start line: 46
end line: 57
size: 10 LOC
McCabe index: 1
number of parameters: 1

id: 338
unit: void aws_cryptosdk_session_destroy()
file: source/session.c
start line: 139
end line: 151
size: 10 LOC
McCabe index: 1
number of parameters: 1

id: 339
unit: void aws_cryptosdk_enc_materials_destroy()
file: source/materials.c
start line: 44
end line: 54
size: 10 LOC
McCabe index: 3
number of parameters: 1

id: 340
unit: int aws_cryptosdk_md_update()
file: source/cipher_openssl.c
start line: 159
end line: 170
size: 10 LOC
McCabe index: 2
number of parameters: 3

id: 341
unit: void aws_cryptosdk_sig_abort()
file: source/cipher_openssl.c
start line: 526
end line: 538
size: 10 LOC
McCabe index: 3
number of parameters: 1

id: 342
unit: uint16_t aws_byte_cursor_read_be16_generator_for_enc_ctx_deserialize()
file: verification/cbmc/proofs/aws_cryptosdk_enc_ctx_deserialize/aws_cryptosdk_enc_ctx_deserialize_harness.c
start line: 31
end line: 40
size: 10 LOC
McCabe index: 2
number of parameters: 1

id: 343
unit: def get_args()
file: verification/cbmc/proofs/lib/summarize.py
start line: 0
end line: 0
size: 10 LOC
McCabe index: 2
number of parameters: 0

id: 344
unit: void aws_cryptosdk_keyring_trace_init_harness()
file: verification/cbmc/proofs/aws_cryptosdk_keyring_trace_init/aws_cryptosdk_keyring_trace_init_harness.c
start line: 21
end line: 33
size: 10 LOC
McCabe index: 2
number of parameters: 0

id: 345
unit: void aws_cryptosdk_keyring_base_init_harness()
file: verification/cbmc/proofs/aws_cryptosdk_keyring_base_init/aws_cryptosdk_keyring_base_init_harness.c
start line: 19
end line: 35
size: 10 LOC
McCabe index: 1
number of parameters: 0

id: 346
unit: bool aws_cryptosdk_edk_list_is_bounded()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 141
end line: 151
size: 10 LOC
McCabe index: 3
number of parameters: 2

id: 347
unit: bool aws_cryptosdk_dec_materials_members_are_bounded()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 349
end line: 358
size: 10 LOC
McCabe index: 4
number of parameters: 3

id: 348
unit: bool aws_byte_buf_contents_match()
file: verification/cbmc/sources/utils.c
start line: 25
end line: 35
size: 10 LOC
McCabe index: 7
number of parameters: 2

id: 349
unit: int EC_KEY_set_private_key()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 156
end line: 167
size: 10 LOC
McCabe index: 4
number of parameters: 2

id: 350
unit: void EC_KEY_free()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 212
end line: 221
size: 10 LOC
McCabe index: 3
number of parameters: 1

id: 351
unit: int ECDSA_SIG_set0()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 309
end line: 319
size: 10 LOC
McCabe index: 1
number of parameters: 3

id: 352
unit: int EVP_PKEY_derive_init()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 146
end line: 156
size: 10 LOC
McCabe index: 2
number of parameters: 1

id: 353
unit: int EVP_PKEY_CTX_ctrl()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 224
end line: 233
size: 10 LOC
McCabe index: 2
number of parameters: 6

id: 354
unit: int EVP_DigestInit_ex()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 777
end line: 789
size: 10 LOC
McCabe index: 2
number of parameters: 3

id: 355
unit: int EVP_DigestUpdate()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 803
end line: 814
size: 10 LOC
McCabe index: 2
number of parameters: 3

id: 356
unit: int aws_cryptosdk_transfer_list()
file: verification/cbmc/stubs/transfer_list_stub.c
start line: 25
end line: 35
size: 10 LOC
McCabe index: 2
number of parameters: 2

id: 357
unit: AWS_CRYPTOSDK_STATIC_INLINE bool aws_cryptosdk_commitment_policy_encrypt_must_include_commitment()
file: include/aws/cryptosdk/materials.h
start line: 750
end line: 758
size: 9 LOC
McCabe index: 4
number of parameters: 1

id: 358
unit: AWS_CRYPTOSDK_STATIC_INLINE void aws_cryptosdk_enc_ctx_clean_up()
file: include/aws/cryptosdk/enc_ctx.h
start line: 74
end line: 82
size: 9 LOC
McCabe index: 2
number of parameters: 1

id: 359
unit: inline static bool aws_byte_buf_eq_char_array()
file: aws-encryption-sdk-cpp/source/cpputils.cpp
start line: 112
end line: 121
size: 9 LOC
McCabe index: 4
number of parameters: 4

id: 360
unit: bool KmsKeyring::DiscoveryFilter::IsAuthorized()
file: aws-encryption-sdk-cpp/source/kms_keyring.cpp
start line: 466
end line: 475
size: 9 LOC
McCabe index: 3
number of parameters: 1

id: 361
unit: static void set_ttl_on_miss()
file: source/caching_cmm.c
start line: 477
end line: 486
size: 9 LOC
McCabe index: 4
number of parameters: 2

id: 362
unit: int aws_cryptosdk_priv_hdr_parse_message_type()
file: source/header.c
start line: 241
end line: 249
size: 9 LOC
McCabe index: 3
number of parameters: 2

id: 363
unit: int aws_cryptosdk_priv_hdr_parse_content_type()
file: source/header.c
start line: 322
end line: 330
size: 9 LOC
McCabe index: 3
number of parameters: 3

id: 364
unit: int aws_cryptosdk_priv_hdr_parse_iv_len()
file: source/header.c
start line: 341
end line: 349
size: 9 LOC
McCabe index: 3
number of parameters: 3

id: 365
unit: bool aws_cryptosdk_keyring_trace_record_is_valid()
file: source/keyring_trace.c
start line: 36
end line: 44
size: 9 LOC
McCabe index: 4
number of parameters: 1

id: 366
unit: int aws_cryptosdk_edk_list_copy_all()
file: source/list_utils.c
start line: 108
end line: 116
size: 9 LOC
McCabe index: 1
number of parameters: 3

id: 367
unit: void aws_cryptosdk_dec_materials_destroy()
file: source/materials.c
start line: 78
end line: 86
size: 9 LOC
McCabe index: 3
number of parameters: 1

id: 368
unit: int aws_cryptosdk_sig_get_pubkey()
file: source/cipher_openssl.c
start line: 327
end line: 335
size: 9 LOC
McCabe index: 2
number of parameters: 3

id: 369
unit: bool aws_cryptosdk_edk_list_elements_are_valid()
file: source/edk.c
start line: 74
end line: 82
size: 9 LOC
McCabe index: 3
number of parameters: 1

id: 370
unit: bool aws_array_list_is_valid()
file: verification/cbmc/proofs/list_copy_all/list_copy_all_harness.c
start line: 30
end line: 39
size: 9 LOC
McCabe index: 5
number of parameters: 1

id: 371
unit: void hash_iterator_generator2()
file: verification/cbmc/proofs/aws_cryptosdk_enc_ctx_size/aws_cryptosdk_enc_ctx_size_harness.c
start line: 32
end line: 40
size: 9 LOC
McCabe index: 2
number of parameters: 2

id: 372
unit: uint16_t aws_byte_cursor_read_be16_generator_for_parse_aads()
file: verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_aad/aws_cryptosdk_priv_hdr_parse_aad_harness.c
start line: 30
end line: 38
size: 9 LOC
McCabe index: 2
number of parameters: 1

id: 373
unit: bool aws_array_list_is_valid()
file: verification/cbmc/proofs/aws_cryptosdk_edk_list_copy_all/aws_cryptosdk_edk_list_copy_all_harness.c
start line: 31
end line: 40
size: 9 LOC
McCabe index: 5
number of parameters: 1

id: 374
unit: int aws_array_list_pop_back()
file: verification/cbmc/proofs/aws_cryptosdk_edk_list_copy_all/aws_cryptosdk_edk_list_copy_all_harness.c
start line: 102
end line: 110
size: 9 LOC
McCabe index: 2
number of parameters: 1

id: 375
unit: void aws_cryptosdk_enc_materials_new_harness()
file: verification/cbmc/proofs/aws_cryptosdk_enc_materials_new/aws_cryptosdk_enc_materials_new_harness.c
start line: 26
end line: 41
size: 9 LOC
McCabe index: 3
number of parameters: 0

id: 376
unit: void aws_cryptosdk_md_abort_harness()
file: verification/cbmc/proofs/aws_cryptosdk_md_abort/aws_cryptosdk_md_abort_harness.c
start line: 24
end line: 38
size: 9 LOC
McCabe index: 2
number of parameters: 0

id: 377
unit: void aws_cryptosdk_md_size_harness()
file: verification/cbmc/proofs/aws_cryptosdk_md_size/aws_cryptosdk_md_size_harness.c
start line: 18
end line: 31
size: 9 LOC
McCabe index: 2
number of parameters: 0

id: 378
unit: bool aws_array_list_is_valid()
file: verification/cbmc/proofs/aws_cryptosdk_transfer_list/aws_cryptosdk_transfer_list_harness.c
start line: 31
end line: 40
size: 9 LOC
McCabe index: 5
number of parameters: 1

id: 379
unit: uint16_t aws_byte_cursor_read_be16_generator_for_parse_edks()
file: verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c
start line: 30
end line: 38
size: 9 LOC
McCabe index: 2
number of parameters: 1

id: 380
unit: int aws_array_list_push_back()
file: verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c
start line: 45
end line: 53
size: 9 LOC
McCabe index: 3
number of parameters: 2

id: 381
unit: void aws_cryptosdk_keyring_trace_record_clean_up_harness()
file: verification/cbmc/proofs/aws_cryptosdk_keyring_trace_record_clean_up/aws_cryptosdk_keyring_trace_record_clean_up_harness.c
start line: 22
end line: 33
size: 9 LOC
McCabe index: 1
number of parameters: 0

id: 382
unit: bool aws_cryptosdk_keyring_trace_record_is_valid()
file: verification/cbmc/proofs/aws_cryptosdk_keyring_trace_copy_all/aws_cryptosdk_keyring_trace_copy_all_harness.c
start line: 46
end line: 54
size: 9 LOC
McCabe index: 4
number of parameters: 1

id: 383
unit: bool aws_array_list_is_valid()
file: verification/cbmc/proofs/aws_cryptosdk_keyring_trace_copy_all/aws_cryptosdk_keyring_trace_copy_all_harness.c
start line: 61
end line: 70
size: 9 LOC
McCabe index: 5
number of parameters: 1

id: 384
unit: int aws_cryptosdk_keyring_trace_record_init_clone()
file: verification/cbmc/proofs/aws_cryptosdk_keyring_trace_copy_all/aws_cryptosdk_keyring_trace_copy_all_harness.c
start line: 100
end line: 108
size: 9 LOC
McCabe index: 1
number of parameters: 3

id: 385
unit: bool aws_cryptosdk_edk_list_elements_are_bounded()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 153
end line: 161
size: 9 LOC
McCabe index: 3
number of parameters: 2

id: 386
unit: void assert_byte_buf_contents_match()
file: verification/cbmc/sources/utils.c
start line: 14
end line: 23
size: 9 LOC
McCabe index: 4
number of parameters: 2

id: 387
unit: void write_unconstrained_data()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 490
end line: 502
size: 9 LOC
McCabe index: 2
number of parameters: 2

id: 388
unit: void EVP_PKEY_free()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 74
end line: 82
size: 9 LOC
McCabe index: 3
number of parameters: 1

id: 389
unit: int EVP_EncryptInit_ex()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 541
end line: 549
size: 9 LOC
McCabe index: 2
number of parameters: 5

id: 390
unit: int EVP_DecryptInit_ex()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 554
end line: 562
size: 9 LOC
McCabe index: 2
number of parameters: 5

id: 391
unit: int EVP_MD_size()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 720
end line: 728
size: 9 LOC
McCabe index: 3
number of parameters: 1

id: 392
unit: void EVP_PKEY_free()
file: verification/cbmc/stubs/EVP_PKEY_free_no_ec_key_stub.c
start line: 25
end line: 33
size: 9 LOC
McCabe index: 3
number of parameters: 1

id: 393
unit: AWS_CRYPTOSDK_STATIC_INLINE void aws_cryptosdk_cmm_base_init()
file: include/aws/cryptosdk/materials.h
start line: 461
end line: 468
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 394
unit: AWS_CRYPTOSDK_STATIC_INLINE void aws_cryptosdk_keyring_base_init()
file: include/aws/cryptosdk/materials.h
start line: 614
end line: 621
size: 8 LOC
McCabe index: 3
number of parameters: 2

id: 395
unit: AWS_CRYPTOSDK_STATIC_INLINE bool aws_cryptosdk_commitment_policy_is_valid()
file: include/aws/cryptosdk/materials.h
start line: 737
end line: 744
size: 8 LOC
McCabe index: 4
number of parameters: 1

id: 396
unit: size_t aws_cryptosdk_materials_cache_entry_count()
file: include/aws/cryptosdk/cache.h
start line: 465
end line: 474
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 397
unit: size_t aws_cryptosdk_private_algorithm_message_id_len()
file: source/cipher.c
start line: 226
end line: 234
size: 8 LOC
McCabe index: 3
number of parameters: 1

id: 398
unit: static int get_openssl_rsa_padding_mode()
file: source/cipher.c
start line: 950
end line: 957
size: 8 LOC
McCabe index: 4
number of parameters: 1

id: 399
unit: static uint64_t get_creation_time()
file: source/local_cache.c
start line: 756
end line: 765
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 400
unit: int aws_cryptosdk_priv_hdr_parse_reserved()
file: source/header.c
start line: 332
end line: 339
size: 8 LOC
McCabe index: 3
number of parameters: 2

id: 401
unit: static void raw_rsa_keyring_destroy()
file: source/raw_rsa_keyring.c
start line: 155
end line: 162
size: 8 LOC
McCabe index: 1
number of parameters: 1

id: 402
unit: bool aws_cryptosdk_priv_is_valid_mode()
file: source/session.c
start line: 600
end line: 607
size: 8 LOC
McCabe index: 4
number of parameters: 1

id: 403
unit: void aws_cryptosdk_priv_encrypt_compute_body_estimate()
file: source/session_encrypt.c
start line: 34
end line: 48
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 404
unit: int aws_cryptosdk_compare_hash_elems_by_key_string()
file: source/utils.c
start line: 19
end line: 26
size: 8 LOC
McCabe index: 2
number of parameters: 2

id: 405
unit: bool aws_cryptosdk_sig_ctx_is_valid()
file: source/cipher_openssl.c
start line: 98
end line: 105
size: 8 LOC
McCabe index: 8
number of parameters: 1

id: 406
unit: void aws_cryptosdk_md_abort()
file: source/cipher_openssl.c
start line: 194
end line: 202
size: 8 LOC
McCabe index: 3
number of parameters: 1

id: 407
unit: bool aws_cryptosdk_frame_has_valid_type()
file: source/framefmt.c
start line: 273
end line: 282
size: 8 LOC
McCabe index: 4
number of parameters: 1

id: 408
unit: bool aws_cryptosdk_multi_keyring_is_valid()
file: source/multi_keyring.c
start line: 172
end line: 179
size: 8 LOC
McCabe index: 6
number of parameters: 1

id: 409
unit: void aws_cryptosdk_edk_clean_up_harness()
file: verification/cbmc/proofs/aws_cryptosdk_edk_clean_up/aws_cryptosdk_edk_clean_up_harness.c
start line: 25
end line: 34
size: 8 LOC
McCabe index: 1
number of parameters: 0

id: 410
unit: void aws_cryptosdk_private_algorithm_message_id_len_harness()
file: verification/cbmc/proofs/aws_cryptosdk_private_algorithm_message_id_len/aws_cryptosdk_private_algorithm_message_id_len_harness.c
start line: 19
end line: 33
size: 8 LOC
McCabe index: 1
number of parameters: 0

id: 411
unit: void aws_cryptosdk_string_dup_harness()
file: verification/cbmc/proofs/aws_cryptosdk_string_dup/aws_cryptosdk_string_dup_harness.c
start line: 23
end line: 34
size: 8 LOC
McCabe index: 1
number of parameters: 0

id: 412
unit: void aws_cryptosdk_cmm_base_init_harness()
file: verification/cbmc/proofs/aws_cryptosdk_cmm_base_init/aws_cryptosdk_cmm_base_init_harness.c
start line: 25
end line: 39
size: 8 LOC
McCabe index: 1
number of parameters: 0

id: 413
unit: void aws_cryptosdk_dec_materials_new_harness()
file: verification/cbmc/proofs/aws_cryptosdk_dec_materials_new/aws_cryptosdk_dec_materials_new_harness.c
start line: 26
end line: 34
size: 8 LOC
McCabe index: 2
number of parameters: 0

id: 414
unit: void ensure_cryptosdk_edk_list_has_allocated_list_elements()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 176
end line: 183
size: 8 LOC
McCabe index: 3
number of parameters: 1

id: 415
unit: bool key_contents_match()
file: verification/cbmc/sources/utils.c
start line: 37
end line: 45
size: 8 LOC
McCabe index: 7
number of parameters: 3

id: 416
unit: int EC_KEY_generate_key()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 185
end line: 195
size: 8 LOC
McCabe index: 3
number of parameters: 1

id: 417
unit: int EVP_PKEY_set1_EC_KEY()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 59
end line: 68
size: 8 LOC
McCabe index: 4
number of parameters: 2

id: 418
unit: bool aws_hash_iter_done()
file: verification/cbmc/stubs/aws_hash_iter_overrides.c
start line: 70
end line: 77
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 419
unit: void aws_hash_iter_delete()
file: verification/cbmc/stubs/aws_hash_iter_overrides.c
start line: 102
end line: 110
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 420
unit: static inline size_t aws_cryptosdk_private_authtag_len()
file: include/aws/cryptosdk/private/cipher.h
start line: 53
end line: 59
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 421
unit: static Aws::Vector split_arn_resource()
file: aws-encryption-sdk-cpp/source/cpputils.cpp
start line: 163
end line: 169
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 422
unit: static void destroy_caching_cmm()
file: source/caching_cmm.c
start line: 52
end line: 59
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 423
unit: uint64_t convert_ttl_to_nanos()
file: source/caching_cmm.c
start line: 140
end line: 146
size: 7 LOC
McCabe index: 6
number of parameters: 2

id: 424
unit: static bool aws_cryptosdk_alg_properties_equal()
file: source/cipher.c
start line: 256
end line: 267
size: 7 LOC
McCabe index: 6
number of parameters: 2

id: 425
unit: static void destroy_cache()
file: source/local_cache.c
start line: 477
end line: 492
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 426
unit: static int aws_cryptosdk_header_version_is_known()
file: source/header.c
start line: 44
end line: 50
size: 7 LOC
McCabe index: 3
number of parameters: 1

id: 427
unit: static int is_known_type()
file: source/header.c
start line: 95
end line: 101
size: 7 LOC
McCabe index: 3
number of parameters: 1

id: 428
unit: bool aws_cryptosdk_algorithm_is_committing()
file: source/header.c
start line: 103
end line: 109
size: 7 LOC
McCabe index: 3
number of parameters: 1

id: 429
unit: int aws_cryptosdk_priv_hdr_parse_iv()
file: source/header.c
start line: 377
end line: 383
size: 7 LOC
McCabe index: 3
number of parameters: 3

id: 430
unit: static size_t saturating_add()
file: source/header.c
start line: 428
end line: 434
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 431
unit: static inline int record_init_check()
file: source/keyring_trace.c
start line: 59
end line: 65
size: 7 LOC
McCabe index: 3
number of parameters: 1

id: 432
unit: int aws_cryptosdk_session_set_frame_size()
file: source/session.c
start line: 153
end line: 161
size: 7 LOC
McCabe index: 3
number of parameters: 2

id: 433
unit: int aws_cryptosdk_session_get_alg_id()
file: source/session.c
start line: 370
end line: 378
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 434
unit: void aws_cryptosdk_session_estimate_buf()
file: source/session.c
start line: 380
end line: 386
size: 7 LOC
McCabe index: 3
number of parameters: 3

id: 435
unit: int aws_cryptosdk_priv_fail_session()
file: source/session.c
start line: 540
end line: 547
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 436
unit: bool aws_cryptosdk_priv_is_decrypt_mode()
file: source/session.c
start line: 609
end line: 615
size: 7 LOC
McCabe index: 3
number of parameters: 1

id: 437
unit: static void raw_aes_keyring_destroy()
file: source/raw_aes_keyring.c
start line: 260
end line: 266
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 438
unit: int aws_cryptosdk_priv_try_write_header()
file: source/session_encrypt.c
start line: 271
end line: 285
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 439
unit: static void aws_cryptosdk_free()
file: source/cipher_openssl.c
start line: 78
end line: 87
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 440
unit: int aws_cryptosdk_sig_verify_finish()
file: source/cipher_openssl.c
start line: 825
end line: 833
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 441
unit: void aws_cryptosdk_edk_clean_up()
file: source/edk.c
start line: 22
end line: 29
size: 7 LOC
McCabe index: 4
number of parameters: 1

id: 442
unit: int aws_cryptosdk_multi_keyring_add_child()
file: source/multi_keyring.c
start line: 181
end line: 189
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 443
unit: void aws_cryptosdk_hdr_clean_up_verify()
file: verification/cbmc/header_proofs.c
start line: 116
end line: 123
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 444
unit: def set_up_logging()
file: verification/cbmc/proofs/run-cbmc-proofs.py
start line: 0
end line: 0
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 445
unit: void aws_cryptosdk_priv_algorithm_allowed_for_encrypt_harness()
file: verification/cbmc/proofs/aws_cryptosdk_priv_algorithm_allowed_for_encrypt/aws_cryptosdk_priv_algorithm_allowed_for_encrypt_harness.c
start line: 20
end line: 33
size: 7 LOC
McCabe index: 1
number of parameters: 0

id: 446
unit: void hash_iterator_generator()
file: verification/cbmc/proofs/aws_cryptosdk_enc_ctx_size/aws_cryptosdk_enc_ctx_size_harness.c
start line: 24
end line: 30
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 447
unit: int aws_cryptosdk_edk_init_clone()
file: verification/cbmc/proofs/aws_cryptosdk_edk_list_copy_all/aws_cryptosdk_edk_list_copy_all_harness.c
start line: 69
end line: 75
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 448
unit: void aws_cryptosdk_edk_list_init_harness()
file: verification/cbmc/proofs/aws_cryptosdk_edk_list_init/aws_cryptosdk_edk_list_init_harness.c
start line: 21
end line: 28
size: 7 LOC
McCabe index: 2
number of parameters: 0

id: 449
unit: bool aws_cryptosdk_sig_ctx_is_valid_cbmc()
file: verification/cbmc/sources/cbmc_invariants.c
start line: 27
end line: 35
size: 7 LOC
McCabe index: 9
number of parameters: 1

id: 450
unit: void ensure_trace_has_allocated_records()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 91
end line: 98
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 451
unit: void ensure_cryptosdk_keyring_has_allocated_members()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 257
end line: 263
size: 7 LOC
McCabe index: 3
number of parameters: 2

id: 452
unit: int RAND_bytes()
file: verification/cbmc/sources/openssl/rand_override.c
start line: 24
end line: 31
size: 7 LOC
McCabe index: 3
number of parameters: 2

id: 453
unit: void ECDSA_SIG_get0()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 294
end line: 301
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 454
unit: void ECDSA_SIG_free()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 324
end line: 330
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 455
unit: int EVP_PKEY_CTX_set_rsa_oaep_md()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 323
end line: 329
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 456
unit: int EVP_PKEY_CTX_set_rsa_mgf1_md()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 336
end line: 342
size: 7 LOC
McCabe index: 3
number of parameters: 2

id: 457
unit: int EVP_CipherUpdate()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 572
end line: 578
size: 7 LOC
McCabe index: 2
number of parameters: 5

id: 458
unit: void HMAC_CTX_init()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 907
end line: 913
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 459
unit: int BN_sub()
file: verification/cbmc/sources/openssl/bn_override.c
start line: 63
end line: 71
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 460
unit: int aws_atomic_priv_xlate_order()
file: verification/cbmc/stubs/aws_atomic_priv_xlate_order.c
start line: 24
end line: 30
size: 7 LOC
McCabe index: 5
number of parameters: 1

id: 461
unit: AWS_CRYPTOSDK_STATIC_INLINE void aws_cryptosdk_cmm_release()
file: include/aws/cryptosdk/materials.h
start line: 474
end line: 479
size: 6 LOC
McCabe index: 4
number of parameters: 1

id: 462
unit: AWS_CRYPTOSDK_STATIC_INLINE void aws_cryptosdk_keyring_release()
file: include/aws/cryptosdk/materials.h
start line: 627
end line: 632
size: 6 LOC
McCabe index: 5
number of parameters: 1

id: 463
unit: void aws_cryptosdk_materials_cache_clear()
file: include/aws/cryptosdk/cache.h
start line: 481
end line: 487
size: 6 LOC
McCabe index: 2
number of parameters: 1

id: 464
unit: static Aws::String replace_arn_region()
file: aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp
start line: 67
end line: 72
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 465
unit: bool aws_cryptosdk_default_cmm_is_valid()
file: source/default_cmm.c
start line: 194
end line: 200
size: 6 LOC
McCabe index: 4
number of parameters: 1

id: 466
unit: void aws_cryptosdk_local_cache_set_clock()
file: source/local_cache.c
start line: 910
end line: 916
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 467
unit: int aws_cryptosdk_private_algorithm_taglen()
file: source/header.c
start line: 52
end line: 59
size: 6 LOC
McCabe index: 2
number of parameters: 1

id: 468
unit: int aws_cryptosdk_private_algorithm_ivlen()
file: source/header.c
start line: 61
end line: 68
size: 6 LOC
McCabe index: 2
number of parameters: 1

id: 469
unit: static void init_aws_byte_buf_raw()
file: source/header.c
start line: 473
end line: 478
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 470
unit: bool aws_cryptosdk_hdr_is_valid()
file: source/header.c
start line: 577
end line: 583
size: 6 LOC
McCabe index: 9
number of parameters: 1

id: 471
unit: static inline int push_record_onto_trace()
file: source/keyring_trace.c
start line: 103
end line: 109
size: 6 LOC
McCabe index: 2
number of parameters: 2

id: 472
unit: void aws_cryptosdk_keyring_trace_clean_up()
file: source/keyring_trace.c
start line: 248
end line: 253
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 473
unit: static void ECDSA_SIG_set0()
file: source/cipher_openssl.c
start line: 68
end line: 74
size: 6 LOC
McCabe index: 3
number of parameters: 3

id: 474
unit: size_t aws_cryptosdk_md_size()
file: source/cipher_openssl.c
start line: 152
end line: 157
size: 6 LOC
McCabe index: 2
number of parameters: 1

id: 475
unit: void aws_cryptosdk_hdr_size_verify()
file: verification/cbmc/header_proofs.c
start line: 141
end line: 148
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 476
unit: void MultiKeyringNew_harness()
file: verification/cbmc/proofs/aws_cryptosdk_multi_keyring_new/MultiKeyringNew_harness.c
start line: 22
end line: 27
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 477
unit: void aws_cryptosdk_genrandom_harness()
file: verification/cbmc/proofs/aws_cryptosdk_genrandom/aws_cryptosdk_genrandom_harness.c
start line: 20
end line: 25
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 478
unit: def _get_max_length_per_column_list()
file: verification/cbmc/proofs/lib/summarize.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 4
number of parameters: 1

id: 479
unit: def _get_table_header_separator()
file: verification/cbmc/proofs/lib/summarize.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 2
number of parameters: 1

id: 480
unit: def main()
file: verification/cbmc/proofs/lib/print_tool_versions.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 481
unit: void EC_GROUP_free()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 75
end line: 80
size: 6 LOC
McCabe index: 2
number of parameters: 1

id: 482
unit: void EVP_MD_CTX_free()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 763
end line: 768
size: 6 LOC
McCabe index: 2
number of parameters: 1

id: 483
unit: int EVP_DigestVerifyFinal()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 892
end line: 900
size: 6 LOC
McCabe index: 1
number of parameters: 3

id: 484
unit: int HMAC_Update()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 978
end line: 983
size: 6 LOC
McCabe index: 2
number of parameters: 3

id: 485
unit: void EVP_MD_CTX_free()
file: verification/cbmc/stubs/EVP_MD_CTX_free_no_pkey_stub.c
start line: 24
end line: 29
size: 6 LOC
McCabe index: 2
number of parameters: 1

id: 486
unit: AWS_CRYPTOSDK_STATIC_INLINE bool aws_cryptosdk_private_refcount_down()
file: include/aws/cryptosdk/materials.h
start line: 326
end line: 356
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 487
unit: AWS_CRYPTOSDK_STATIC_INLINE void aws_cryptosdk_private_refcount_up()
file: include/aws/cryptosdk/materials.h
start line: 361
end line: 387
size: 5 LOC
McCabe index: 2
number of parameters: 1

id: 488
unit: AWS_CRYPTOSDK_STATIC_INLINE bool aws_cryptosdk_cmm_base_is_valid()
file: include/aws/cryptosdk/materials.h
start line: 451
end line: 455
size: 5 LOC
McCabe index: 5
number of parameters: 1

id: 489
unit: AWS_CRYPTOSDK_STATIC_INLINE bool aws_cryptosdk_keyring_is_valid()
file: include/aws/cryptosdk/materials.h
start line: 604
end line: 608
size: 5 LOC
McCabe index: 6
number of parameters: 1

id: 490
unit: AWS_CRYPTOSDK_STATIC_INLINE void aws_cryptosdk_enc_ctx_clear()
file: include/aws/cryptosdk/enc_ctx.h
start line: 64
end line: 68
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 491
unit: void aws_cryptosdk_materials_cache_base_init()
file: include/aws/cryptosdk/cache.h
start line: 93
end line: 97
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 492
unit: AWS_CRYPTOSDK_STATIC_INLINE bool aws_cryptosdk_edk_eq()
file: include/aws/cryptosdk/edk.h
start line: 112
end line: 116
size: 5 LOC
McCabe index: 3
number of parameters: 2

id: 493
unit: int aws_byte_buf_dup_from_aws_utils()
file: aws-encryption-sdk-cpp/source/cpputils.cpp
start line: 43
end line: 47
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 494
unit: int ListRaii::Create()
file: aws-encryption-sdk-cpp/source/cpputils.cpp
start line: 374
end line: 378
size: 5 LOC
McCabe index: 2
number of parameters: 1

id: 495
unit: std::shared_ptr KmsKeyring::SingleClientSupplier::GetClient()
file: aws-encryption-sdk-cpp/source/kms_keyring.cpp
start line: 339
end line: 343
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 496
unit: int main()
file: cmake/header-tester/stub.c
start line: 21
end line: 26
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 497
unit: static void default_cmm_destroy()
file: source/default_cmm.c
start line: 152
end line: 156
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 498
unit: static bool eq_cache_id()
file: source/local_cache.c
start line: 177
end line: 182
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 499
unit: static bool aws_cryptosdk_keyring_trace_record_eq()
file: source/keyring_trace.c
start line: 212
end line: 216
size: 5 LOC
McCabe index: 3
number of parameters: 2

id: 500
unit: bool aws_cryptosdk_empty_edk_list_is_valid()
file: source/edk.c
start line: 102
end line: 106
size: 5 LOC
McCabe index: 2
number of parameters: 1

id: 501
unit: def task_pool_size()
file: verification/cbmc/proofs/run-cbmc-proofs.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 3
number of parameters: 0

id: 502
unit: void aws_cryptosdk_enc_ctx_init_harness()
file: verification/cbmc/proofs/aws_cryptosdk_enc_ctx_init/aws_cryptosdk_enc_ctx_init_harness.c
start line: 20
end line: 25
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 503
unit: void destroy()
file: verification/cbmc/proofs/aws_cryptosdk_cmm_release/aws_cryptosdk_cmm_release_harness.c
start line: 25
end line: 29
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 504
unit: bool aws_cryptosdk_edk_is_bounded()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 129
end line: 133
size: 5 LOC
McCabe index: 3
number of parameters: 2

id: 505
unit: void ensure_cryptosdk_edk_has_allocated_members()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 135
end line: 139
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 506
unit: void ensure_nondet_allocate_keyring_vtable_members()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 265
end line: 269
size: 5 LOC
McCabe index: 2
number of parameters: 2

id: 507
unit: void ensure_nondet_allocate_cmm_vtable_members()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 271
end line: 275
size: 5 LOC
McCabe index: 2
number of parameters: 2

id: 508
unit: void EC_KEY_set_conv_form()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 146
end line: 150
size: 5 LOC
McCabe index: 2
number of parameters: 2

id: 509
unit: int EC_KEY_up_ref()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 201
end line: 206
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 510
unit: void ec_key_unconditional_free()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 423
end line: 427
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 511
unit: void initialize_max_signature_size()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 436
end line: 441
size: 5 LOC
McCabe index: 2
number of parameters: 0

id: 512
unit: void initialize_max_derivation_size()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 452
end line: 457
size: 5 LOC
McCabe index: 2
number of parameters: 0

id: 513
unit: void initialize_max_encryption_size()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 465
end line: 470
size: 5 LOC
McCabe index: 2
number of parameters: 0

id: 514
unit: void initialize_max_decryption_size()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 478
end line: 483
size: 5 LOC
McCabe index: 2
number of parameters: 0

id: 515
unit: int BIO_free()
file: verification/cbmc/sources/openssl/bio_override.c
start line: 64
end line: 68
size: 5 LOC
McCabe index: 2
number of parameters: 1

id: 516
unit: void EVP_PKEY_CTX_free()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 406
end line: 410
size: 5 LOC
McCabe index: 2
number of parameters: 1

id: 517
unit: void EVP_CIPHER_CTX_free()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 527
end line: 531
size: 5 LOC
McCabe index: 2
number of parameters: 1

id: 518
unit: int EVP_DigestFinal()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 848
end line: 854
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 519
unit: size_t aws_atomic_fetch_add_explicit()
file: verification/cbmc/stubs/aws_atomic_fetch_add_explicit.c
start line: 22
end line: 26
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 520
unit: size_t aws_atomic_fetch_sub_explicit()
file: verification/cbmc/stubs/aws_atomic_fetch_sub_explicit.c
start line: 22
end line: 26
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 521
unit: int aws_add_size_checked()
file: verification/cbmc/stubs/aws_add_size_checked.c
start line: 24
end line: 28
size: 5 LOC
McCabe index: 3
number of parameters: 3

id: 522
unit: int aws_cryptosdk_enc_ctx_size()
file: verification/cbmc/stubs/aws_cryptosdk_enc_ctx_size_stub.c
start line: 32
end line: 36
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 523
unit: void aws_cryptosdk_keyring_trace_clear()
file: verification/cbmc/stubs/keyring_trace_clear_stub.c
start line: 23
end line: 27
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 524
unit: AWS_CRYPTOSDK_STATIC_INLINE bool aws_cryptosdk_dec_request_is_valid()
file: include/aws/cryptosdk/materials.h
start line: 220
end line: 223
size: 4 LOC
McCabe index: 4
number of parameters: 1

id: 525
unit: AWS_CRYPTOSDK_STATIC_INLINE bool aws_cryptosdk_cmm_vtable_is_valid()
file: include/aws/cryptosdk/materials.h
start line: 442
end line: 445
size: 4 LOC
McCabe index: 3
number of parameters: 1

id: 526
unit: AWS_CRYPTOSDK_STATIC_INLINE bool aws_cryptosdk_keyring_vt_is_valid()
file: include/aws/cryptosdk/materials.h
start line: 595
end line: 599
size: 4 LOC
McCabe index: 3
number of parameters: 1

id: 527
unit: static void DestroyKeyring()
file: aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp
start line: 54
end line: 57
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 528
unit: static void DestroyKeyring()
file: aws-encryption-sdk-cpp/source/kms_keyring.cpp
start line: 44
end line: 47
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 529
unit: std::shared_ptr KmsKeyring::SingleClientSupplier::Create()
file: aws-encryption-sdk-cpp/source/kms_keyring.cpp
start line: 334
end line: 337
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 530
unit: KmsKeyring::DiscoveryFilterBuilder KmsKeyring::DiscoveryFilter::Builder()
file: aws-encryption-sdk-cpp/source/kms_keyring.cpp
start line: 477
end line: 480
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 531
unit: static bool can_cache_algorithm()
file: source/caching_cmm.c
start line: 61
end line: 66
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 532
unit: void caching_cmm_set_clock()
file: source/caching_cmm.c
start line: 102
end line: 106
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 533
unit: static int edk_hash_entry_cmp()
file: source/caching_cmm.c
start line: 329
end line: 333
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 534
unit: static inline void flush_openssl_errors()
file: source/cipher.c
start line: 473
end line: 476
size: 4 LOC
McCabe index: 2
number of parameters: 1

id: 535
unit: static inline void locked_lru_move_to_head()
file: source/local_cache.c
start line: 253
end line: 256
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 536
unit: static void destroy_cache_entry_vp()
file: source/local_cache.c
start line: 428
end line: 440
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 537
unit: int aws_cryptosdk_priv_hdr_parse_err_short_buf()
file: source/header.c
start line: 396
end line: 399
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 538
unit: int aws_cryptosdk_priv_hdr_parse_err_generic()
file: source/header.c
start line: 401
end line: 404
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 539
unit: int aws_cryptosdk_priv_hdr_parse_err_mem()
file: source/header.c
start line: 406
end line: 409
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 540
unit: int aws_cryptosdk_priv_hdr_parse_err_rethrow()
file: source/header.c
start line: 411
end line: 414
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 541
unit: static void ECDSA_SIG_get0()
file: source/cipher_openssl.c
start line: 63
end line: 66
size: 4 LOC
McCabe index: 1
number of parameters: 3

id: 542
unit: int aws_cryptosdk_edk_list_init()
file: source/edk.c
start line: 17
end line: 20
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 543
unit: void aws_cryptosdk_edk_list_clean_up()
file: source/edk.c
start line: 44
end line: 47
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 544
unit: bool aws_cryptosdk_edk_is_valid()
file: source/edk.c
start line: 69
end line: 72
size: 4 LOC
McCabe index: 4
number of parameters: 1

id: 545
unit: def should_enable_memory_profiling()
file: verification/cbmc/proofs/run-cbmc-proofs.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 546
unit: def should_enable_pools()
file: verification/cbmc/proofs/run-cbmc-proofs.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 547
unit: void cleanup()
file: verification/cbmc/proofs/list_copy_all/list_copy_all_harness.c
start line: 83
end line: 86
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 548
unit: void aws_cryptosdk_edk_clean_up()
file: verification/cbmc/proofs/aws_cryptosdk_edk_list_copy_all/aws_cryptosdk_edk_list_copy_all_harness.c
start line: 77
end line: 80
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 549
unit: void aws_cryptosdk_edk_list_clean_up()
file: verification/cbmc/proofs/aws_cryptosdk_cmm_generate_enc_materials/aws_cryptosdk_cmm_generate_enc_materials_harness.c
start line: 32
end line: 35
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 550
unit: void aws_cryptosdk_edk_list_clean_up()
file: verification/cbmc/proofs/aws_cryptosdk_enc_materials_destroy/aws_cryptosdk_enc_materials_destroy_harness.c
start line: 32
end line: 35
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 551
unit: void aws_cryptosdk_edk_list_clean_up()
file: verification/cbmc/proofs/aws_cryptosdk_cmm_decrypt_materials/aws_cryptosdk_cmm_decrypt_materials_harness.c
start line: 32
end line: 35
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 552
unit: void aws_cryptosdk_keyring_trace_record_clean_up()
file: verification/cbmc/proofs/aws_cryptosdk_keyring_trace_copy_all/aws_cryptosdk_keyring_trace_copy_all_harness.c
start line: 110
end line: 113
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 553
unit: void destroy()
file: verification/cbmc/proofs/aws_cryptosdk_keyring_release/aws_cryptosdk_keyring_release_harness.c
start line: 19
end line: 22
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 554
unit: void ensure_md_context_has_allocated_members()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 100
end line: 103
size: 4 LOC
McCabe index: 2
number of parameters: 1

id: 555
unit: unsigned long ERR_peek_last_error()
file: verification/cbmc/sources/openssl/err_override.c
start line: 27
end line: 30
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 556
unit: void EC_GROUP_set_point_conversion_form()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 57
end line: 60
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 557
unit: bool ec_group_is_valid()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 385
end line: 388
size: 4 LOC
McCabe index: 4
number of parameters: 1

id: 558
unit: bool ec_key_is_valid()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 400
end line: 403
size: 4 LOC
McCabe index: 7
number of parameters: 1

id: 559
unit: bool evp_md_ctx_is_valid()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 731
end line: 734
size: 4 LOC
McCabe index: 5
number of parameters: 1

id: 560
unit: int EVP_MD_CTX_size()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 755
end line: 758
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 561
unit: bool evp_cipher_is_valid()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 1038
end line: 1041
size: 4 LOC
McCabe index: 4
number of parameters: 1

id: 562
unit: bool evp_md_is_valid()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 1043
end line: 1046
size: 4 LOC
McCabe index: 7
number of parameters: 1

id: 563
unit: void aws_array_list_sort()
file: verification/cbmc/stubs/aws_array_list_sort_noop_stub.c
start line: 23
end line: 26
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 564
unit: void aws_cryptosdk_edk_list_clean_up()
file: verification/cbmc/stubs/keyring_trace_clean_up_stub.c
start line: 23
end line: 26
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 565
unit: bool evp_md_ctx_is_valid()
file: verification/cbmc/stubs/evp_md_ctx_is_valid_no_pkey_stub.c
start line: 25
end line: 28
size: 4 LOC
McCabe index: 3
number of parameters: 1

id: 566
unit: AWS_CRYPTOSDK_STATIC_INLINE bool aws_cryptosdk_enc_request_is_valid()
file: include/aws/cryptosdk/materials.h
start line: 176
end line: 178
size: 3 LOC
McCabe index: 3
number of parameters: 1

id: 567
unit: AWS_CRYPTOSDK_STATIC_INLINE bool aws_atomic_var_is_valid_int()
file: include/aws/cryptosdk/materials.h
start line: 428
end line: 430
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 568
unit: AWS_CRYPTOSDK_STATIC_INLINE bool aws_atomic_var_is_valid_ptr()
file: include/aws/cryptosdk/materials.h
start line: 435
end line: 437
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 569
unit: Aws::String aws_string_from_c_aws_byte_buf()
file: aws-encryption-sdk-cpp/source/cpputils.cpp
start line: 31
end line: 33
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 570
unit: Aws::Utils::ByteBuffer aws_utils_byte_buffer_from_c_aws_byte_buf()
file: aws-encryption-sdk-cpp/source/cpputils.cpp
start line: 35
end line: 37
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 571
unit: Aws::String aws_string_from_c_aws_string()
file: aws-encryption-sdk-cpp/source/cpputils.cpp
start line: 39
end line: 41
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 572
unit: bool starts_with()
file: aws-encryption-sdk-cpp/source/cpputils.cpp
start line: 175
end line: 177
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 573
unit: static bool is_discovery()
file: aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp
start line: 59
end line: 61
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 574
unit: std::shared_ptr KmsKeyring::CachingClientSupplier::Create()
file: aws-encryption-sdk-cpp/source/kms_keyring.cpp
start line: 345
end line: 347
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 575
unit: bool aws_cryptosdk_data_key_is_valid()
file: source/cipher.c
start line: 1063
end line: 1065
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 576
unit: bool aws_cryptosdk_content_key_is_valid()
file: source/cipher.c
start line: 1067
end line: 1069
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 577
unit: bool aws_cryptosdk_session_is_done()
file: source/session.c
start line: 366
end line: 368
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 578
unit: void aws_cryptosdk_load_error_strings()
file: source/error.c
start line: 42
end line: 44
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 579
unit: bool aws_cryptosdk_md_context_is_valid()
file: source/cipher_openssl.c
start line: 112
end line: 114
size: 3 LOC
McCabe index: 3
number of parameters: 1

id: 580
unit: def print_counter()
file: verification/cbmc/proofs/run-cbmc-proofs.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 581
unit: bool aws_cryptosdk_md_context_is_valid_cbmc()
file: verification/cbmc/sources/cbmc_invariants.c
start line: 23
end line: 25
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 582
unit: void ERR_print_errors_fp()
file: verification/cbmc/sources/openssl/err_override.c
start line: 19
end line: 21
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 583
unit: signed int ERR_get_error()
file: verification/cbmc/sources/openssl/err_override.c
start line: 23
end line: 25
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 584
unit: int ec_key_get_reference_count()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 418
end line: 420
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 585
unit: bool ecdsa_sig_is_valid()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 430
end line: 432
size: 3 LOC
McCabe index: 3
number of parameters: 1

id: 586
unit: size_t max_signature_size()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 446
end line: 448
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 587
unit: size_t max_derivation_size()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 459
end line: 461
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 588
unit: size_t max_encryption_size()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 472
end line: 474
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 589
unit: size_t max_decryption_size()
file: verification/cbmc/sources/openssl/ec_override.c
start line: 485
end line: 487
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 590
unit: void ASN1_STRING_clear_free()
file: verification/cbmc/sources/openssl/asn1_override.c
start line: 31
end line: 33
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 591
unit: bool asn1_integer_is_valid()
file: verification/cbmc/sources/openssl/asn1_override.c
start line: 130
end line: 132
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 592
unit: int EVP_DigestInit()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 795
end line: 797
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 593
unit: bool hmac_ctx_is_valid()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 1003
end line: 1005
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 594
unit: bool evp_pkey_is_valid()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 1008
end line: 1010
size: 3 LOC
McCabe index: 4
number of parameters: 1

id: 595
unit: int evp_pkey_get_reference_count()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 1019
end line: 1021
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 596
unit: void evp_pkey_set0_ec_key()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 1024
end line: 1026
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 597
unit: void evp_pkey_unconditional_free()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 1029
end line: 1032
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 598
unit: bool evp_pkey_ctx_is_valid()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 1034
end line: 1036
size: 3 LOC
McCabe index: 3
number of parameters: 1

id: 599
unit: bool evp_md_ctx_is_initialized()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 1054
end line: 1056
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 600
unit: size_t evp_md_ctx_get_digest_size()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 1059
end line: 1061
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 601
unit: void evp_md_ctx_set0_evp_pkey()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 1069
end line: 1071
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 602
unit: void evp_md_ctx_shallow_free()
file: verification/cbmc/sources/openssl/evp_override.c
start line: 1074
end line: 1077
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 603
unit: void BN_free()
file: verification/cbmc/sources/openssl/bn_override.c
start line: 77
end line: 79
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 604
unit: void BN_clear_free()
file: verification/cbmc/sources/openssl/bn_override.c
start line: 85
end line: 88
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 605
unit: bool bignum_is_valid()
file: verification/cbmc/sources/openssl/bn_override.c
start line: 92
end line: 94
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 606
unit: size_t aws_atomic_load_int()
file: verification/cbmc/stubs/aws_atomic_load_int.c
start line: 22
end line: 24
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 607
unit: bool evp_pkey_is_valid()
file: verification/cbmc/stubs/evp_pkey_is_valid_no_ec_key_stub.c
start line: 22
end line: 24
size: 3 LOC
McCabe index: 3
number of parameters: 1

id: 608
unit: virtual ~ClientSupplier()
file: aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_keyring.h
start line: 183
end line: 183
size: 1 LOC
McCabe index: 1
number of parameters: 0