Skip to content

Commit

Permalink
Move PKCS aws#11 submodule forward.
Browse files Browse the repository at this point in the history
  • Loading branch information
@lundinc2
lundinc2 committed Nov 17, 2020
1 parent eca124f commit 86fcfbf
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion libraries/standard/corePKCS11
Submodule corePKCS11 updated 81 files
+40 −0 .github/CODEOWNERS
+1 −1 .github/workflows/ci.yml
+5 −4 .gitmodules
+2 −0 MISRA.md
+2 −1 docs/doxygen/config.doxyfile
+1 −0 docs/doxygen/pages.doxy
+38 −7 source/core_pkcs11.c
+11 −1 source/core_pki_utils.c
+1 −1 source/portable/mbedtls/core_pkcs11_mbedtls.c
+96 −0 test/CMakeLists.txt
+35 −0 test/cbmc/include/pkcs11_interface_stubs.h
+50 −0 test/cbmc/proofs/C_CloseSession/C_CloseSession_harness.c
+23 −0 test/cbmc/proofs/C_CloseSession/Makefile
+20 −0 test/cbmc/proofs/C_CloseSession/README.md
+1 −0 test/cbmc/proofs/C_CloseSession/cbmc-proof.txt
+7 −0 test/cbmc/proofs/C_CloseSession/cbmc-viewer.json
+42 −0 test/cbmc/proofs/C_Finalize/C_Finalize_harness.c
+23 −0 test/cbmc/proofs/C_Finalize/Makefile
+20 −0 test/cbmc/proofs/C_Finalize/README.md
+1 −0 test/cbmc/proofs/C_Finalize/cbmc-proof.txt
+7 −0 test/cbmc/proofs/C_Finalize/cbmc-viewer.json
+55 −0 test/cbmc/proofs/C_GenerateRandom/C_GenerateRandom_harness.c
+24 −0 test/cbmc/proofs/C_GenerateRandom/Makefile
+20 −0 test/cbmc/proofs/C_GenerateRandom/README.md
+1 −0 test/cbmc/proofs/C_GenerateRandom/cbmc-proof.txt
+7 −0 test/cbmc/proofs/C_GenerateRandom/cbmc-viewer.json
+37 −0 test/cbmc/proofs/C_Initialize/C_Initialize_harness.c
+23 −0 test/cbmc/proofs/C_Initialize/Makefile
+20 −0 test/cbmc/proofs/C_Initialize/README.md
+1 −0 test/cbmc/proofs/C_Initialize/cbmc-proof.txt
+7 −0 test/cbmc/proofs/C_Initialize/cbmc-viewer.json
+46 −0 test/cbmc/proofs/C_OpenSession/C_OpenSession_harness.c
+23 −0 test/cbmc/proofs/C_OpenSession/Makefile
+20 −0 test/cbmc/proofs/C_OpenSession/README.md
+1 −0 test/cbmc/proofs/C_OpenSession/cbmc-proof.txt
+7 −0 test/cbmc/proofs/C_OpenSession/cbmc-viewer.json
+4 −0 test/cbmc/proofs/Makefile-project-defines
+20 −0 test/cbmc/proofs/PKI_pkcs11SignatureTombedTLSSignature/Makefile
+51 −0 test/cbmc/proofs/PKI_pkcs11SignatureTombedTLSSignature/PKI_pkcs11SignatureTombedTLSSignature_harness.c
+20 −0 test/cbmc/proofs/PKI_pkcs11SignatureTombedTLSSignature/README.md
+1 −0 test/cbmc/proofs/PKI_pkcs11SignatureTombedTLSSignature/cbmc-proof.txt
+7 −0 test/cbmc/proofs/PKI_pkcs11SignatureTombedTLSSignature/cbmc-viewer.json
+164 −0 test/cbmc/proofs/config/core_pkcs11_config.h
+3,363 −0 test/cbmc/proofs/config/mbedtls_config.h
+20 −0 test/cbmc/proofs/vAppendSHA256AlgorithmIdentifierSequence/Makefile
+20 −0 test/cbmc/proofs/vAppendSHA256AlgorithmIdentifierSequence/README.md
+1 −0 test/cbmc/proofs/vAppendSHA256AlgorithmIdentifierSequence/cbmc-proof.txt
+7 −0 test/cbmc/proofs/vAppendSHA256AlgorithmIdentifierSequence/cbmc-viewer.json
+49 −0 test/cbmc/proofs/vAppendSHA256AlgorithmIdentifierSequence/vAppendSHA256AlgorithmIdentifierSequence_harness.c
+21 −0 test/cbmc/proofs/xFindObjectWithLabelAndClass/Makefile
+20 −0 test/cbmc/proofs/xFindObjectWithLabelAndClass/README.md
+1 −0 test/cbmc/proofs/xFindObjectWithLabelAndClass/cbmc-proof.txt
+7 −0 test/cbmc/proofs/xFindObjectWithLabelAndClass/cbmc-viewer.json
+46 −0 test/cbmc/proofs/xFindObjectWithLabelAndClass/xFindObjectWithLabelAndClass_harness.c
+21 −0 test/cbmc/proofs/xGetSlotList/Makefile
+20 −0 test/cbmc/proofs/xGetSlotList/README.md
+1 −0 test/cbmc/proofs/xGetSlotList/cbmc-proof.txt
+7 −0 test/cbmc/proofs/xGetSlotList/cbmc-viewer.json
+45 −0 test/cbmc/proofs/xGetSlotList/xGetSlotList_harness.c
+21 −0 test/cbmc/proofs/xInitializePKCS11/Makefile
+20 −0 test/cbmc/proofs/xInitializePKCS11/README.md
+1 −0 test/cbmc/proofs/xInitializePKCS11/cbmc-proof.txt
+7 −0 test/cbmc/proofs/xInitializePKCS11/cbmc-viewer.json
+38 −0 test/cbmc/proofs/xInitializePKCS11/xInitializePKCS11_harness.c
+21 −0 test/cbmc/proofs/xInitializePkcs11Session/Makefile
+20 −0 test/cbmc/proofs/xInitializePkcs11Session/README.md
+1 −0 test/cbmc/proofs/xInitializePkcs11Session/cbmc-proof.txt
+7 −0 test/cbmc/proofs/xInitializePkcs11Session/cbmc-viewer.json
+43 −0 test/cbmc/proofs/xInitializePkcs11Session/xInitializePkcs11Session_harness.c
+21 −0 test/cbmc/proofs/xInitializePkcs11Token/Makefile
+20 −0 test/cbmc/proofs/xInitializePkcs11Token/README.md
+1 −0 test/cbmc/proofs/xInitializePkcs11Token/cbmc-proof.txt
+7 −0 test/cbmc/proofs/xInitializePkcs11Token/cbmc-viewer.json
+37 −0 test/cbmc/proofs/xInitializePkcs11Token/xInitializePkcs11Token_harness.c
+34 −0 test/cbmc/stubs/core_pkcs11_pal_stubs.c
+103 −0 test/cbmc/stubs/mbedtls_stubs.c
+177 −0 test/cbmc/stubs/pkcs11_interface_stubs.c
+331 −73 test/unit-test/CMakeLists.txt
+10 −10 test/unit-test/core_pkcs11_utest.c
+0 −333 test/unit-test/unit_test_build.cmake
+16 −0 tools/coverity/misra.config

0 comments on commit 86fcfbf

Please sign in to comment.