Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / aws/SigV4-for-AWS-IoT-embedded-sdk issues and pull requests

#104 - Adjust proof tooling to support CBMC v6

Pull Request - State: closed - Opened by tautschnig about 1 month ago

#103 - Update LTS 202406 information

Pull Request - State: closed - Opened by chinglee-iot 3 months ago

#102 - Remove symlink in gh-pages and update with folder

Pull Request - State: closed - Opened by kar-rahul-aws 4 months ago

#101 - Use CBMC version 5.95.1

Pull Request - State: closed - Opened by tautschnig 4 months ago - 1 comment

#100 - Update SigV4_EncodeURI in doxygen

Pull Request - State: closed - Opened by kar-rahul-aws 5 months ago

#99 - Update release.yml for latest version release v1.3.0

Pull Request - State: closed - Opened by kar-rahul-aws 5 months ago

#98 - Create CODEOWNERS file to make PRBR review compulsory

Pull Request - State: closed - Opened by kar-rahul-aws 5 months ago

#97 - Replace private API encodeURI with public API SigV4_EncodeURI

Pull Request - State: closed - Opened by kar-rahul-aws 5 months ago - 2 comments

#95 - Update pull_request_template.md

Pull Request - State: closed - Opened by kar-rahul-aws 5 months ago

#94 - Update submodule pointer

Pull Request - State: closed - Opened by kar-rahul-aws 5 months ago

#93 - Refactor pBufCur usage

Pull Request - State: closed - Opened by chinglee-iot 6 months ago

#92 - Fix MISRA C 2012 deviations

Pull Request - State: closed - Opened by chinglee-iot 7 months ago

#91 - Update word list

Pull Request - State: closed - Opened by Skptak 9 months ago

#90 - Create CMakeLists.txt

Pull Request - State: closed - Opened by murillo128 11 months ago - 4 comments

#89 - Support presigned URL signature "UNSIGNED-PAYLOAD" and expose EncodeURI

Pull Request - State: closed - Opened by giuspen 12 months ago - 23 comments

#88 - Apply formatting bot fix

Pull Request - State: closed - Opened by Skptak about 1 year ago

#87 - CI-CD Updates

Pull Request - State: closed - Opened by Skptak about 1 year ago

#86 - Clang-Format and CI-CD Update

Pull Request - State: closed - Opened by Skptak about 1 year ago

#85 - fix array index off-by-one error in canonical parameter value generation

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

#84 - sig v4 workaround for IoT Core device

Issue - State: open - Opened by schoeler over 1 year ago - 7 comments
Labels: question

#83 - Change proof_ci runner to 64-core

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

#82 - .

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

#81 - Test CBMC GitHub Action performance

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

#80 - Test CBMC GitHub Action performance

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

#79 - Test CBMC GitHub Action performance

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

#78 - Add CBMC proof-running GitHub Action

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

#77 - Update doxygen to 1.9.6

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

#76 - upgrade doxygen to v1.9.4

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

#75 - Update release workflow to include SBOM generation

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

#74 - LTS 2.0 Launch

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

#73 - Version Number Fix

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

#72 - LTS Version Change

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

#71 - MISRA Compliance Updates

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

#70 - Update CBMC starter kit

Pull Request - State: closed - Opened by angelonakos about 2 years ago - 1 comment

#69 - Add old doxygen bundles to gh-pages

Pull Request - State: closed - Opened by archigup almost 3 years ago

#68 - Add automated doxygen deployment

Pull Request - State: closed - Opened by archigup almost 3 years ago

#67 - Release bump

Pull Request - State: closed - Opened by yourslab almost 3 years ago

#66 - Make updates for release

Pull Request - State: closed - Opened by yourslab almost 3 years ago

#65 - Loop invariant update

Pull Request - State: closed - Opened by markrtuttle almost 3 years ago

#64 - Loop invariant update

Pull Request - State: closed - Opened by markrtuttle almost 3 years ago

#63 - Remove extraneous parentheses in isAllowedChar()

Pull Request - State: closed - Opened by yiting16 almost 3 years ago

#62 - Enable logging macros in CI checks for SigV4

Pull Request - State: closed - Opened by johnrhen almost 3 years ago

#61 - Update litani and template submodules used by cbmc proofs

Pull Request - State: closed - Opened by markrtuttle almost 3 years ago

#60 - Update litani and template submodules for cbmc proofs

Pull Request - State: closed - Opened by markrtuttle almost 3 years ago

#59 - Remove superfluous memmove

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

#58 - Utility word removal from Sigv4 Library

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

#57 - SigV4 Porting Guide

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

#56 - Update Doxygen version to 1.9.2

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

#55 - CBMC Proof Failure Fixes

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

#54 - cbmc-testing

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

#53 - test-cbmc

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

#52 - Bug fixes in library and hygiene improvements in test cases

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

#51 - [SigV4]Payload optimization

Pull Request - State: closed - Opened by gshvang about 3 years ago - 2 comments

#50 - Update config.doxyfile

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

#49 - Remove Utility word from Doxygen docs

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

#48 - Add code examples

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

#47 - Add quicksort source file to memory statistics

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

#46 - Name change from AWS IoT to AWS

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

#45 - Add C++ guards to SigV4 headers

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

#44 - Remove outdated README information

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

#43 - Update misra information

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

#42 - CBMC proof for SigV4_GenerateHTTPAuthorization

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

#41 - Query NULL check changes

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

#40 - File updates

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

#39 - Add misra and changelog file

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

#38 - Doxygen updates

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

#37 - Remove use of isalnum and isspace

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

#36 - Library Main Page README Updates

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

#35 - Add CBMC proofs

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

#34 - Implement iterative quicksort

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

#33 - Add more MISRA fixes

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

#32 - Add some MISRA fixes

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

#31 - Fix library build warnings and logging errors

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

#30 - Updated aws-templates-for-cbmc-proofs submodule

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

#29 - SigV4_GenerateHTTPAuthorization unit tests

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

#28 - Add Canonical and signed headers functions

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

#27 - SigV4_GenerateHTTPAuthorization

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

#26 - [Do Not Merge] Test PR for CI

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

#25 - [SigV4] Documenation Changes in Sigv4

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

#24 - Test PR

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

#23 - CBMC proof for SigV4_GenerateHTTPAuthorization()

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

#22 - [Sigv4] Doxygen content updates

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

#21 - Change permissions of run_cbmc_proofs.py file

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

#20 - Update proof tools (+disable submodule cloning by default)

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

#19 - [SigV4] CBMC proof for Sigv4_awsIotdatetoISO8601 API

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

#18 - Add release workflow

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

#17 - CBMC proof for SigV4_GenerateHTTPAuthorization()

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

#16 - SigV4_GenerateHTTPAuthorization() API Functionality

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

#15 - Add remaining doxygen + link verification checks

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

#14 - Update README.md and LICENSE files

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

#13 - SigV4_GenerateHTTPAuthorization() + Unit Tests

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

#11 - SigV4_GenerateHTTPAuthorization() Encoding Functions

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

#10 - Test PR (do not merge)

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

#9 - Add docs/doxygen configurations

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

#8 - Add unit tests for SigV4_AwsIotDateToIso8601()

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

#7 - Setup proof infrastructure for CBMC

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

#6 - GA: Add CI check for link verification

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

#5 - Canonicalize and Generate A String to Sign

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