corePKCS11
corePKCS11 copied to clipboard
FreeRTOS
Software implementation of the PKCS #11 standard.
The attribute length is only set when the pointer is NULL. It should also be set in cases where the buffer is too large or too small. From [PKCS11-base-v2.40](http://docs.oasis-open.org/pkcs11/pkcs11-base/v2.40/os/pkcs11-base-v2.40-os.doc): For...
### Description CorePKCS11 may rely upon state - state which may be accessible across FreeRTOS tasks. We want to verify the SDK is task/thread safe by ensuring that state access...
Description ----------- This will make proofs use the latest stable release of CBMC (and cbmc-viewer). Test Steps ----------- Tested in CI Checklist: ---------- - [ ] I have tested my...
Description ----------- With CBMC v6, unwinding assertions are enabled by default, and object bits no longer need to be set at compile time. Update various build rules to use the...