awslabs/aws-c-common issues and pull requests

#1033 - Disable MSVC warning triggered by aws_future macros

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

#1032 - Remove dangling symlink in CMBC proofs

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

#1031 - Remove dangling symlink in CMBC proofs

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

#1030 - Let cursor equals assert print string on failure

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

#1029 - update time to ancient

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

#1028 - Merge header checker with cpp header checker

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

#1027 - WIP | Just testing CI

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

#1026 - Move CBMC back to latest

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

#1025 - delete tag 08.14

Issue - State: closed - Opened by thomas-roos over 1 year ago - 1 comment
Labels: bug, needs-triage

#1024 - Remove unimplemented prototype from ring_buffer.h

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

#1023 - Fix race condition in promise.c

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

#1022 - Pin CBMC version to 5.81.0

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

#1021 - Tolerate uninitialized list in array_list_clear

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

#1020 - Faulty tag `08.14`?

Issue - State: closed - Opened by xhochy over 1 year ago - 1 comment
Labels: bug, needs-triage

#1019 - Tolerate unintialized list in aws_array_list_length

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

#1018 - Reduce spam when configuring multiple projects at once

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

#1017 - update builder version to fix aws-lc build on manylinux1

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

#1016 - Improved sanitizer support

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

#1015 - add github templates and bots

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

#1014 - add github templates and bots

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

#1013 - define AWS_SUPPRESS_ASAN for MSVC

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

#1012 - Add a way to skip a test

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

#1011 - v08.14 tag name wrong?

Issue - State: closed - Opened by thomas-roos over 1 year ago - 1 comment

#1010 - Adds aws_normalize_directory_separator

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

#1009 - remove debugging printf

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

#1008 - issue-1006: fix cv signal outside of lock

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

#1007 - helgrind identified modification of a global variable shared by threads without a lock

Issue - State: closed - Opened by jeking3 over 1 year ago - 2 comments

#1006 - helgrind identified condition variable signal outside of mutex

Issue - State: closed - Opened by jeking3 over 1 year ago - 6 comments

#1005 - Add function for writing N bytes of randomness

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

#1004 - MSVC broke our builds, this fixes it. it is not to debate what it sho…

Pull Request - State: closed - Opened by JonathanHenson over 1 year ago - 3 comments

#1003 - CMake feature detection with gcc 9.5.0 misses backtrace

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

#1002 - CMake feature detection with gcc 7.3.1 misses backtrace

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

#1001 - Many stubs for CBMC proofs are no longer necessary

Issue - State: open - Opened by feliperodri over 1 year ago
Labels: cbmc, p3, needs-review

#1000 - Add CBMC proof for `aws_byte_buf_append_and_update`

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

#999 - Buffer ub

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

#998 - Fix warnings in public headers

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

#997 - Undefined Behaviour in aws_byte_buf_init_cache_and_update_cursors?

Issue - State: closed - Opened by gitusel over 1 year ago - 1 comment

#996 - Remove unused system: aws_bus

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

#995 - Improved output from test harness

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

#994 - Test CBMC GitHub Action performance

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

#993 - Test CBMC GitHub Action performance

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

#992 - Test CBMC GitHub Action performance

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

#991 - CI job for OpenBSD

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

#990 - Replace old ARM images with raspbian-bullseye image

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

#989 - Fix C++ compiler warning

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

#988 - Add scripts/latest_submodules.py

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

#987 - change '#if _MSC_VER' to '#ifdef _MSC_VER'

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

#986 - Fix comment in uri.h

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

#985 - Add CBMC proof-running GitHub Action

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

#984 - Add CBMC proof-running GitHub Action

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

#983 - Add aws_min_non_0_64()

Pull Request - State: open - Opened by sbSteveK almost 2 years ago - 1 comment

#982 - remove old docker images

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

#981 - Rename aws_utf8_validator -> aws_utf8_decoder

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

#980 - Added Utf8 validation callback to allow extra validation

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

#979 - fix: NETBSD -> NetBSD

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

#978 - Assert that each error-info-list starts with correct value

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

#977 - Added extern_c_begin and extern_c_end to JSON

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

#976 - fix: build and tests on OpenBSD

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

#975 - Shutdown channel tasks

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

#974 - use BMI2 cpuid instead for `_mulx_u32`

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

#973 - useless cast [`-Wuseless-cast`] warnings with gcc 9.5.0

Issue - State: open - Opened by jeking3 almost 2 years ago
Labels: bug, p3, needs-review

#972 - Fix race condition in cJSON_Parse.* calls

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

#971 - Always pull out value of errno right after sys call

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

#970 - aws_fopen_safe() raises aws-error on failure

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

#969 - Add getter for thread name

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

#968 - Invalid _mulx_u32 CMake check

Issue - State: closed - Opened by fweimer-rh almost 2 years ago - 1 comment

#967 - Devtool

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

#966 - aws_get_home_directory() calls getpwuid_r() if $HOME isn't set

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

#965 - [aws_json_module] keep module_allocator alive for aws-sdk-cpp use

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

#964 - [aws_json_module] AWS C++ SDK needs module_allocator to be alive even after cleanup

Issue - State: closed - Opened by grrtrr almost 2 years ago - 1 comment

#963 - Common lint

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

#962 - delete empty .gitmodules file

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

#961 - delete empty .gitmodules file

Issue - State: closed - Opened by thomas-roos almost 2 years ago - 2 comments

#960 - Add libc detection function to common's cmake resources

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

#959 - UTF-8 validator

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

#958 - Fix Appverifier always running the first test

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

#957 - CBMC proofs: add and fix declarations

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

#956 - CBMC proofs: add and fix declarations

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

#955 - add codecov action

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

#954 - Fix race condition in cJSON_Parse.* calls

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

#953 - aws_json_value_new_from_string is not thread-safe

Issue - State: closed - Opened by grrtrr almost 2 years ago

#952 - aws_secure_zero() checks NULL before calling memset()

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

#951 - aws_secure_zero: handle NULL pointer argument

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

#950 - aws_secure_zero: undefined behaviour when zeroing a NULL buffer

Issue - State: closed - Opened by grrtrr almost 2 years ago - 1 comment

#948 - Add CodeQL workflow

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

#947 - Test a GitHub Action that runs CBMC

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

#946 - sprintf() -> snprintf()

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

#945 - New guideline: callbacks are always async, or always sync

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