Ecosyste.ms: Issues

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

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

#89 - Fix broken link

Pull Request - State: closed - Opened by AniruddhaKanhere 15 days ago

#88 - Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows

Pull Request - State: closed - Opened by dependabot[bot] about 1 month ago
Labels: dependencies

#87 - Adjust proof tooling to support CBMC v6

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

#86 - Update LTS 202406 information

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

#85 - Use CBMC version 5.95.1

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

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

Pull Request - State: closed - Opened by tony-josi-aws 4 months ago

#83 - Update manifest with latest version info

Pull Request - State: closed - Opened by tony-josi-aws 5 months ago

#81 - [Do not merge] Test PR

Pull Request - State: closed - Opened by tony-josi-aws 5 months ago

#80 - Fix MISRA violation

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

#79 - Update word list

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

#78 - Apply formatting bot fix

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

#77 - Make formatting issues

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

#76 - CI-CD Updates

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

#75 - Clang-Format and CI-CD Update

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

#73 - .

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

#73 - .

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

#72 - Test CBMC GitHub Action performance

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

#71 - Test CBMC GitHub Action performance

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

#70 - Add CBMC proof-running GitHub Action

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

#69 - Defender SDK State Access Audit

Issue - State: open - Opened by kstribrnAmzn over 1 year ago
Labels: help wanted

#68 - Update Doxygen to 1.9.6

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

#67 - Downgrading Doxygen to 1.9.4

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

#66 - Updates Doxygen to 1.9.5 and its dependencies

Pull Request - State: closed - Opened by rawalexe almost 2 years ago - 1 comment

#65 - LTS 2.0 Launch

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

#64 - Version Number Fix

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

#63 - Added a README.md to tools/coverity/

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

#62 - LTS Version Change

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

#61 - Add SBOM Generation in release.yml

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

#60 - MISRA Compliance Update

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

#59 - Update CBMC starter kit

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

#58 - Add old doxygen bundles to gh-pages

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

#57 - Add automated doxygen deployment

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

#56 - Loop invariant update

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

#55 - Loop invariant update

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

#54 - Release bump

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

#53 - Enable logging macros in CI checks for Device Defender

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

#52 - Advance litani and starter kit submodules for cbmc

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

#51 - Advance litani and template submodules for cbmc proofs

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

#50 - Update Doxygen version to 1.9.2

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

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

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

#48 - Release cleanup

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

#47 - Update broken MISRA link

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

#46 - Upgrade proof tool submodules

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

#45 - Removed parentheses for DEFENDER_REPORT_SELECT_KEY macro

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

#44 - Dummy PR to test new CBMC Proof CI

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

#43 - Update litani and starter kit submodules

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

#42 - Improvements in README and CHANGELOG

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

#41 - Add LTS release text to README

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

#40 - Fix file versioning to v1.1.0 for upcoming release

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

#39 - Update versioning of files to v1.1.1

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

#38 - Update CHANGELOG for March release

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

#37 - Use python 3.7.10 for memory estimator check.

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

#36 - Add custom metrics macros

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

#35 - Add workflow to generate doxygen size tables

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

#34 - Update litani submodule

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

#33 - Update memory estimates table

Pull Request - State: closed - Opened by archigup almost 4 years ago - 1 comment

#32 - Add Doxygen words to lexicon.txt and fix a misspelled word.

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

#31 - Update v1.0.0 to v1.0.1 and 202011.00 to 202012.00

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

#30 - Release automation for Defender

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

#29 - Add CONTRIBUTING.md

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

#28 - Cast variable type based on format identifier

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

#27 - Add CODE_OF_CONDUCT.md

Pull Request - State: closed - Opened by aggarw13 almost 4 years ago - 1 comment

#26 - Change all references to master, to main.

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

#25 - Add git-secrets check to the GHAs

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

#24 - Make run script return zero on proof failure

Pull Request - State: closed - Opened by karkhaz almost 4 years ago - 1 comment

#23 - Add CRLF check to formatting check

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

#22 - Renamed to uppercase SECURITY.md.

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

#21 - Add README.md link to memory estimates doxygen page

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

#20 - Update doxygen memory estimates and GCC toolchain link

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

#19 - Disable cloning of submodule cloning by default

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

#18 - Update README and add CHANGELOG

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

#17 - Add security.md file

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

#16 - Add manifest.yml

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

#15 - Add version v1.0.0 to all source files.

Pull Request - State: closed - Opened by sarenameas almost 4 years ago - 1 comment

#14 - Update GA to check branch instead of line coverage

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

#13 - Add documentation for the device defender library

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

#12 - Document MISRA violations and their justifications

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

#11 - Update CBMC starter kit.

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

#10 - Ci actions

Pull Request - State: closed - Opened by aggarg almost 4 years ago - 1 comment

#9 - Misra

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

#8 - Update CBMC proofs to use the latest starter kit.

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

#7 - Change file permissions on run-cbmc-proofs.py

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

#6 - Test PR for CI

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

#5 - Remove CMock dependency

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

#4 - Ci/add actions

Pull Request - State: closed - Opened by nateglims almost 4 years ago - 1 comment

#3 - CBMC proofs for Device Defender Client library.

Pull Request - State: closed - Opened by aggarg almost 4 years ago - 1 comment

#2 - Cbmc proofs

Pull Request - State: closed - Opened by aggarg about 4 years ago

#1 - Initial commit of Device Defender client library

Pull Request - State: closed - Opened by aggarg about 4 years ago