* Correct GCC warnings
Corrects warnings with current GCC flags
for GCC 7.5.0. The only suppressed warning pertains
to function to object pointer conversion which is
required and common for socket callbacks.
* PR feedback
---------
Co-authored-by: Ubuntu <ubuntu@ip-10-0-137-67.ec2.internal>
Co-authored-by: Nikhil Kamath <110539926+amazonKamath@users.noreply.github.com>
* Make sure that a TCP socket is closed only once
* Fix failing test cases for FreeRTOS_TCP_IP unit test modules post PR#705 changes
* Uncrustify: triggered by comment.
* Fix failing test cases for FreeRTOS_TCP_IP unit test modules post PR - 705 changes
---------
Co-authored-by: Hein Tibosch <hein_tibosch@yahoo.es>
Co-authored-by: GitHub Action <action@github.com>
* IPv4/single: Let connect() return as soon as socket gets closed
* Let both connect() and accept() return after a 'eSOCKET_CLOSED' event
* Included hang protection of orphaned socket from PR #545
* Lexicon.txt change
* Remove a variable that was not used
* Update source/FreeRTOS_Sockets.c
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
* Update source/FreeRTOS_TCP_IP.c
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
* moved declaration to beginning of block
* Update source/FreeRTOS_TCP_IP.c
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
* Uncrustify: triggered by comment.
* Fix unit test expectations
* Avoid a recursive call to vTCPStateChange()
* Uncrustify: triggered by comment.
* Fix CBMC proof assumptions
* Get unit-test coverage up
* Fix timers unit-tests
* Socket unit-test for closed socket
* Fix a unit-test expectations
* Fix spell check
* Uncrustify: triggered by comment.
* Using debug_printf in stead of printf for logging.
* Use debug printf instead of printf in 2 locations
Co-authored-by: Hein Tibosch <hein@htibosch.net>
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
Co-authored-by: GitHub Action <action@github.com>
* Update source location for coverity
* Add coverage checker
* Add build check with default configuration
* Fix build combination and DNS error
* uncrustified and fixed cmakelists
* This commit updates version number in all files to Development-Branch
* Update version number macros
* This commit fixes a typo in version number macro
* Added a 'critical section' to prevent a race condition in stream buffers
* Uncrustify: triggered by comment.
* Fixed unit-tests by adding mocked functions
* Initial commit of file README.md
* Update README.md
* Fix the title of README file in coverity
* Addressed issue comments
* Update command
* Add details about remaining exception
* Move file to original location
* Remove use of sudo in commands
* Fix links; added coverity version note
* Update README.md
* Remove CMake installation instructions
* Update manifest/history and copyright year
* Update kernel version to 10.4.5
* Update remaining copyright year instances
* Update the version number macros
* Update license header titles
* Remove kernel license header and add TCP header
Co-authored-by: GitHub Action <action@github.com>
Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>
* Update source location for coverity
* Add coverage checker
* Add build check with default configuration
* Fix build combination and DNS error
* uncrustified and fixed cmakelists
* This commit updates version number in all files to Development-Branch
* Update version number macros
* This commit fixes a typo in version number macro
This commit brings in the refactoring and restructuring changes
from IntegrationTesting1 branch to the main branch.
It also includes additional unit tests for 100% coverage.
The rationale behind not creating a PR is that the conflicts were too
huge to be resolved correctly. Thus, a force push to the main branch is
being done.