Dengke Tang
Dengke Tang
All stack allocations in proofs should be replaced with dynamic allocation to avoid implicit assumptions about object nullness Referring to https://github.com/awslabs/aws-c-common/pull/802#discussion_r635538624
The pragmas are dangerous in the CBMC proof, please review all of them.
The only return code we check is the one from CONACK. All the others will be ignored, and treated as a valid ACK package. We will fix it someday, but...
*Issue #, if available:* *Description of changes:* - Rebase https://github.com/awslabs/aws-c-mqtt/pull/152 to the [retry of requests](https://github.com/awslabs/aws-c-mqtt/pull/154) - Depercated original connect function and introduce two different connect functions, try connect and persistant...
### Package name awscrt ### Package version 0.19.18 ### PyPI URL https://pypi.org/project/awscrt/ ### piwheels URL https://www.piwheels.org/project/awscrt/ ### Python version - [ ] Python 3.7 - [ ] Python 3.9 -...
*Issue #, if available:* *Description of changes:* By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.
### Describe the issue The order of DefaultCredentialsProvider, in [here](https://sdk.amazonaws.com/java/api/latest/software/amazon/awssdk/auth/credentials/DefaultCredentialsProvider.html) makes me confused. >1. Java System Properties - aws.accessKeyId and aws.secretAccessKey 2. Environment Variables - AWS_ACCESS_KEY_ID and AWS_SECRET_ACCESS_KEY 3. Web...
*Issue #, if available:* - Add `aws_customized_aligned_allocator` to support customized aligned instead of the default one. *Description of changes:* By submitting this pull request, I confirm that my contribution is...
*Issue #, if available:* - The current copy object doesn't support s3 express, because for CopyObject and UploadPartCopy, the request has to be signed with regular SigV4 for directory buckets....
*Issue #, if available:* - Adding support for providing checksum in the header instead of trailer. - CRT will read the body into memory and calculate the checksum directly from...