Path	Lines of Code
test/cbmc/include/core_pkcs11_config.h	31
test/cbmc/include/mbedtls_config.h	68
test/cbmc/include/pkcs11_interface_stubs.h	5
test/cbmc/proofs/C_CloseSession/C_CloseSession_harness.c	25
test/cbmc/proofs/C_CreateObject/C_CreateObject_harness.c	55
test/cbmc/proofs/C_DestroyObject/C_DestroyObject_harness.c	60
test/cbmc/proofs/C_DigestFinal/C_DigestFinal_harness.c	57
test/cbmc/proofs/C_DigestInit/C_DigestInit_harness.c	43
test/cbmc/proofs/C_DigestUpdate/C_DigestUpdate_harness.c	48
test/cbmc/proofs/C_Finalize/C_Finalize_harness.c	10
test/cbmc/proofs/C_FindObjects/C_FindObjects_harness.c	61
test/cbmc/proofs/C_FindObjectsFinal/C_FindObjectsFinal_harness.c	53
test/cbmc/proofs/C_FindObjectsInit/C_FindObjectsInit_harness.c	56
test/cbmc/proofs/C_GenerateKeyPair/C_GenerateKeyPair_harness.c	67
test/cbmc/proofs/C_GenerateRandom/C_GenerateRandom_harness.c	40
test/cbmc/proofs/C_GetAttributeValue/C_GetAttributeValue_harness.c	63
test/cbmc/proofs/C_GetFunctionList/C_GetFunctionList_harness.c	7
test/cbmc/proofs/C_GetMechanismInfo/C_GetMechanismInfo_harness.c	9
test/cbmc/proofs/C_GetSlotList/C_GetSlotList_harness.c	18
test/cbmc/proofs/C_Initialize/C_Initialize_harness.c	6
test/cbmc/proofs/C_OpenSession/C_OpenSession_harness.c	15
test/cbmc/proofs/C_Sign/C_Sign_harness.c	69
test/cbmc/proofs/C_SignInit/C_SignInit_harness.c	59
test/cbmc/proofs/C_Verify/C_Verify_harness.c	67
test/cbmc/proofs/C_VerifyInit/C_VerifyInit_harness.c	59
test/cbmc/proofs/PKI_mbedTLSSignatureToPkcs11Signature/PKI_mbedTLSSignatureToPkcs11Signature_harness.c	14
test/cbmc/proofs/PKI_pkcs11SignatureTombedTLSSignature/PKI_pkcs11SignatureTombedTLSSignature_harness.c	16
test/cbmc/proofs/vAppendSHA256AlgorithmIdentifierSequence/vAppendSHA256AlgorithmIdentifierSequence_harness.c	13
test/cbmc/proofs/xFindObjectWithLabelAndClass/xFindObjectWithLabelAndClass_harness.c	12
test/cbmc/proofs/xGetSlotList/xGetSlotList_harness.c	8
test/cbmc/proofs/xInitializePKCS11/xInitializePKCS11_harness.c	5
test/cbmc/proofs/xInitializePkcs11Session/xInitializePkcs11Session_harness.c	6
test/cbmc/proofs/xInitializePkcs11Token/xInitializePkcs11Token_harness.c	5
test/cbmc/stubs/core_pkcs11_pal_stubs.c	29
test/cbmc/stubs/core_pki_utils_stubs.c	8
test/cbmc/stubs/mbedtls_stubs.c	127
test/cbmc/stubs/pkcs11_interface_stubs.c	100
test/shared-config/logging_levels.h	8
test/shared-config/logging_stack.h	50
test/system-test/system-tests/pkcs11_system_test.c	1777
test/system-test/test-config/core_pkcs11_config.h	31
test/system-test/test-config/system_test_mbedtls_config.h	69
test/system-test/test-config/system_test_pkcs11_config.h	14
test/unit-test/cmock_build.cmake	49
test/unit-test/config/core_pkcs11_config.h	35
test/unit-test/config/mock_osal.h	13
test/unit-test/config/threading_alt.h	11
test/unit-test/config/unit_test_mbedtls_config.h	148
test/unit-test/core_pkcs11_mbedtls_utest.c	4900
test/unit-test/core_pkcs11_utest.c	537
test/unit-test/core_pki_utils_utest.c	298
tools/cmock/create_test.cmake	161