awslabs/aws-verification-model-for-libcrypto issues and pull requests

#43 - Match documented signature of X509_STORE_CTX_get1_chain

Pull Request - State: closed - Opened by lrstewart 8 months ago - 2 comments

#42 - Update model with asn1_string_st definition

Pull Request - State: closed - Opened by feliperodri over 1 year ago
Labels: enhancement

#41 - Add definition for ASN1_GENERALIZEDTIME

Pull Request - State: closed - Opened by feliperodri over 1 year ago

#40 - Add missing macros to EVP model

Pull Request - State: closed - Opened by feliperodri over 1 year ago
Labels: enhancement

#39 - Add missing forward declarations

Pull Request - State: closed - Opened by tautschnig almost 2 years ago

#38 - Add X509_CRL openssl stub

Pull Request - State: closed - Opened by goatgoose almost 2 years ago

#37 - Ensure all code typechecks

Pull Request - State: closed - Opened by tautschnig about 2 years ago

#36 - Update havoc_object to havoc_slice

Pull Request - State: closed - Opened by nwetzler over 2 years ago

#35 - Fix problem introduced with clang-format

Pull Request - State: closed - Opened by nwetzler over 2 years ago

#34 - Added support for EVP_CIPHER_CTX

Pull Request - State: closed - Opened by nwetzler over 2 years ago
Labels: enhancement

#33 - Upgrade EVP model

Pull Request - State: closed - Opened by feliperodri over 2 years ago
Labels: enhancement

#32 - Adds missing includes to `hmac.h` file

Pull Request - State: closed - Opened by feliperodri almost 3 years ago
Labels: bug fix

#31 - Additions for s2n generate new client session

Pull Request - State: closed - Opened by jimgrundy about 3 years ago

#30 - Additions required to write proof for s2n_generate_new_client_session_id

Pull Request - State: closed - Opened by jimgrundy about 3 years ago - 1 comment

#29 - Keep models for boringssl separate from the ones for openssl

Issue - State: open - Opened by feliperodri over 3 years ago
Labels: enhancement

#28 - Adds definition for EVP_AEAD_CTX

Pull Request - State: closed - Opened by feliperodri over 3 years ago - 1 comment

#27 - Add new openssl models

Pull Request - State: closed - Opened by feliperodri over 3 years ago

#26 - Fix incorrect initialization in d2i_DHparams

Pull Request - State: closed - Opened by SaswatPadhi over 3 years ago
Labels: bug fix

#25 - Document a reference implementation for each stubbed function

Issue - State: open - Opened by SaswatPadhi over 3 years ago
Labels: documentation

#24 - Fixed some memory leaks

Pull Request - State: closed - Opened by SaswatPadhi over 3 years ago
Labels: bug fix

#23 - Use of CPROVER memory primitives in assumptions

Issue - State: closed - Opened by feliperodri over 3 years ago - 1 comment
Labels: bug

#22 - Removes CPROVER primitives from assumptions

Pull Request - State: closed - Opened by feliperodri over 3 years ago
Labels: bug

#21 - Create separate `cbmc_utils.h` and `cbmc_utils.c` for helper functions

Issue - State: open - Opened by feliperodri over 3 years ago
Labels: enhancement

#20 - Avoid __CPROVER_havoc_object in EVP model

Pull Request - State: closed - Opened by feliperodri over 3 years ago
Labels: enhancement

#19 - Adds missing stdlib.h include in MD5 model

Pull Request - State: closed - Opened by feliperodri almost 4 years ago
Labels: bug, enhancement

#18 - Avoid usage of __CPROVER_havoc_object

Issue - State: open - Opened by adpaco-aws almost 4 years ago
Labels: bug

#17 - Re-evaluate all validity functions

Issue - State: open - Opened by feliperodri almost 4 years ago - 1 comment
Labels: question

#16 - Updates BIGNUM and DH models

Pull Request - State: closed - Opened by feliperodri almost 4 years ago

#15 - Preconditions must consider when length is zero

Pull Request - State: closed - Opened by feliperodri almost 4 years ago

#14 - Adds EVP_MD_CTX_md to the EVP model

Pull Request - State: closed - Opened by feliperodri almost 4 years ago

#13 - Adds MD5 and SHA models with general improvements

Pull Request - State: closed - Opened by feliperodri almost 4 years ago

#12 - Minor fixes to the EVP model

Pull Request - State: closed - Opened by feliperodri almost 4 years ago

#11 - Improvements on DH and BN models

Pull Request - State: closed - Opened by feliperodri almost 4 years ago

#10 - Includes models for DH, SHA, FFC, and MD5

Pull Request - State: closed - Opened by feliperodri almost 4 years ago
Labels: enhancement