1
0
mirror of https://github.com/FreeRTOS/FreeRTOS-Plus-TCP synced 2025-10-23 10:07:43 +08:00
Commit Graph

320 Commits

Author SHA1 Message Date
ActoryOu
efef1221e7 Add NXP RT1060 network interface (#961)
* Original driver

* Support multiple endpoints & interfaces

* check if endpoint not found

---------

Co-authored-by: Monika Singh <moninom@amazon.com>
2023-07-21 11:07:20 +08:00
Soren Ptak
ecd1307f1e Uncrustify PR Check Update (#969)
* Update uncrustify to use version other repos use, clean up the way it runs, formatting changes to needed files
* Moving the lexicon.txt to where it lives in all other repos
* Removing executable permissions from .c files
---------
2023-07-20 16:21:57 -07:00
Tony Josi
ea6072ea7c Merge branch 'main' into atmel_same54_port_dbg 2023-07-20 16:12:57 +05:30
Hein Tibosch
929a658fbd IPv4/single: some minor comments after the MISRA changes (#531)
* IPv4/single: some minor comments after the MISRA changes

* Added the "V" in the version macro

* Corrected the call to memset()

* Update source/FreeRTOS_DNS_Networking.c

Aniruddha suggestion to clear uxPayloadXXX when recv() failed

Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>

* Undo the change to the macro ipFR_TCP_VERSION_NUMBER

* Remove redundant variablein DNS_Networking.c.

---------

Co-authored-by: Hein Tibosch <hein@htibosch.net>
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
Co-authored-by: ActoryOu <jay2002824@gmail.com>
Co-authored-by: ActoryOu <ousc@amazon.com>
2023-07-20 17:31:16 +08:00
Tony Josi
5721783ebd Merge branch 'main' into atmel_same54_port_dbg 2023-07-20 14:15:37 +05:30
ActoryOu
822363267f Add ipconfigPORT_SUPPRESS_WARNING to suppress warning messages in portable layer. (#971)
* Fix always warning in Zynq port

* Add ipconfigPORT_SUPPRESS_WARNING to suppress warning messages in portable layer.
2023-07-20 16:13:16 +08:00
Hein Tibosch
758fc0d917 IPv4/single: resubmit ARP cache changes found in PR #366 (#483)
* IPv4/single: resubmit ARP cache changes found in PR #366

---------

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>
Co-authored-by: ActoryOu <ousc@amazon.com>
Co-authored-by: ActoryOu <jay2002824@gmail.com>
2023-07-20 15:49:25 +08:00
Tony Josi
7f7b5a6475 Merge branch 'main' into fix_buffers_getting_lost 2023-07-19 16:01:26 +05:30
tony-josi-aws
67e5fa31be fix formattting 2023-07-19 15:02:04 +05:30
Tony Josi
e847ee5835 free old buffer once duplicate has been made 2023-07-19 14:59:31 +05:30
Tony Josi
615da6f3c3 Merge branch 'main' into fix_stm32f_port_build 2023-07-19 11:03:51 +05:30
Xiaodong Li
8197dde3f7 Update poll event in libslirp backend for winSim demo (#972)
* update poll event for winSim demo

---------

Co-authored-by: Xiaodong Li <xiaodonn@amazon.com>
2023-07-18 17:03:19 -07:00
Tony Josi
6b0ce1351b Merge branch 'main' into fix_stm32f_port_build 2023-07-18 16:57:37 +05:30
Xiaodong Li
a7b8a27020 Update Libslirp Network Interface (#966)
* Modified libslirp backend file to cover different libslirp library versions
* Update libslirp network interface
* Add check to avoid memory leak and configASSERT() Null checks for malloc calls

---------

Co-authored-by: Xiaodong Li <xiaodonn@amazon.com>
Co-authored-by: Soren Ptak <ptaksoren@gmail.com>
Co-authored-by: Soren Ptak <skptak@amazon.com>
2023-07-17 17:35:20 -07:00
Tony Josi
05695d6636 Fix for STM32H port - IPv6 MAC filter and build (#965)
* fix

* MAC filter updated for DAD and IPv6 all nodes multicast

* add more comments

* fix formatting

* fix comments

* fix review comments

* fix formatting

* update review comments
2023-07-14 18:10:09 +05:30
Tony Josi
8cd4240c29 Merge branch 'main' into atmel_same54_port_dbg 2023-07-14 17:09:09 +05:30
Aniruddha Kanhere
086a9b41aa Fix RX network interface to create task only once (#968) 2023-07-14 14:17:32 +05:30
Tony Josi
b61158f638 Merge branch 'main' into fix_stm32f_port_build 2023-07-13 14:55:11 +05:30
Tony Josi
07e99855c7 Linux port update to have port specific version of pxFillInterfaceDescriptor (#963)
* add port specific pxFillInterfaceDescriptor

* add port specific pxFillInterfaceDescriptor

* adding declaration

* build fix

* fix review comments
2023-07-12 14:34:50 +05:30
Tony Josi
d43fd06268 Merge branch 'main' into atmel_same54_port_dbg 2023-07-12 14:10:09 +05:30
Tony Josi
878c78f6be update with review comments 2023-07-12 14:08:32 +05:30
tony-josi-aws
d981db59a9 fix formatting 2023-07-12 11:53:50 +05:30
Tony Josi
e499fbc00b update debug logs, fix stm32f build when ipconfigSUPPORT_NETWORK_DOWN_EVENT is enabled 2023-07-12 11:49:45 +05:30
ActoryOu
dd9a203249 [IPv6] Fix checksum calculation of IPv6 with extension headers. (#952)
* Fix IPv6 checksum calculation

* Use HW support option to see if we need to calculate TX checksum on NS/NA/RS packets.
2023-07-11 10:52:03 +08:00
tony-josi-aws
835aafb489 comment fix 2023-07-09 12:22:13 +05:30
Tony Josi
5d0b3f8e20 Merge branch 'dev/IPv6_integration' into atmel_same54_port_dbg 2023-07-06 09:41:03 +05:30
Monika Singh
6a9e73fa11 Update IPv6 branch according to main (#954)
* Update mainline to reflect changes after the release. (#563)

* Update README.md

* Update History.txt

* Update version number macros

* Update manifest.yml

* IPv4/single SAME70 emac race condition (#567)

* Implemented Maty's solution

* Added a new statistic 'tx_write_fail'

* Uncrustify: triggered by comment.

Co-authored-by: Hein Tibosch <hein@htibosch.net>
Co-authored-by: GitHub Action <action@github.com>

* IPv4/Single: Add a SocketID to a socket (#546)

* IPv4/Single: Add a SocketID to a socket

* Change in comment

* Applied uncrustify to format the source code

* Added a few entries to lexicon.txt

* Removed the 'ipconfigUSE_SetSocketID' option

* Change to lexicon.txt

* Add unit tests for the newly added API

Co-authored-by: Hein Tibosch <hein@htibosch.net>
Co-authored-by: alfred gedeon <28123637+alfred2g@users.noreply.github.com>
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>

* IPv4/single: SAME70 EMAC buffer sizes (#568)

* Implemented Maty's solution

* Added a new statistic 'tx_write_fail'

* Uncrustify: triggered by comment.

* Increase NETWORK_BUFFER_SIZE in order to include the 'ipBUFFER_PADDING' bytes

* ICMP checksum calculated manually

* Uncrustify: triggered by comment.

* Update gmac_SAM.c

Co-authored-by: Hein Tibosch <hein@htibosch.net>
Co-authored-by: GitHub Action <action@github.com>
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>

* Eliminate some warnings (#578)

* Eliminate some warnings related to print statements

Authored-by:  Pete Bone  <pete-pjb@users.noreply.github.com >

* Add MISRA justification for use of dynamic memory (#581)

* Update deprecated macros in network driver files (#579)

* Update deprecated macros in network driver files

* Fix typo in RX driver.

* Replace #warning with #error on test for deprecated macro.

* Fix doxygen check

Co-authored-by: PeterB <PeterB@PETE-LT.otg.local>
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>

* Fix Network-interface of the Xilinx UltraScale port (#588)

The underlying issue was when the port would be used with Jumbo frames.
During receives of Jumbo packets the data length was always set
incorrectly, which then would cause buffer allocation issues and
subsequently corrupted data would be sent to the IP-task.

After some inspection in the Xilinx UltraScale port, I found out
that when the data length would be set, the wrong mask from the
Xilinx Ethernet MAC driver would be used. By using the right mask
(XEMACPS_RXBUF_LEN_JUMBO_MASK) when Jumbo Frame support is enabled
the issue was resolved

* Fix Windows thread calling vTaskSuspendAll / xTaskResumeAll. (#592)

Co-authored-by: Jason Carroll <czjaso@amazon.com>

* Updated comments for FreeRTOS_select return value (#596)

* Updated comments for FreeRTOS_select return value

* Updated the function brief for FreeRTOS_select

* Uncrustify: triggered by comment.

* Updating FreeRTOS_select function @brief

* Updated function brief for FreeRTOS_SignalSocket

* Uncrustify: triggered by comment.

* Update source/FreeRTOS_Sockets.c

Co-authored-by: Ubuntu <ubuntu@ip-172-31-22-210.ec2.internal>
Co-authored-by: GitHub Action <action@github.com>
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>

* Fixed readme script to build and run unit tests (#644)

* Minor warning fixes (#589)

* Eliminate compiler unused parameter warning

* Eliminate compiler unused variable warnings

* Eliminate compiler unused function warning

The function pcGetPHIName(...) would be called only in the
FreeRTOS_printf message, however FreeRTOS_printf maybe be defined
to nothing e.g. release builds, which then the warning would come up

* Rework callback setups in the EMAC-driver of the Xilinx UltraScale port

The calls to the function XEmacPs_SetHandler would trigger the
pedantic warning:

"ISO C forbids conversion of object pointer to function pointer type"

The reason for this, is that the second parameter of the function
XEmacPS_SetHandler is declared as pointer to a void type, but the
function "expects" a function pointer, which in setup_isr rightly
happens.

However IMHO, this is just bad code from the side of Xilinx, as not
on all architectures the size of a data pointer is identical to the
size of a function pointer, which also is correctly recognised by
the compiler.

Instead of using the "bad" function XEmacPs_SetHandler, we can set the
handlers manually to the EmacPS-instance.

* Uncrustify: triggered by comment.

* Update source/portable/NetworkInterface/xilinx_ultrascale/x_emacpsif_hw.c

Co-authored-by: Paul Bartell <paul.bartell@gmail.com>

* Apply suggestions from code review

Co-authored-by: Paul Bartell <paul.bartell@gmail.com>

* Address comments from reviews

Co-authored-by: GitHub Action <action@github.com>
Co-authored-by: Paul Bartell <paul.bartell@gmail.com>

* Use CBMC XML output to enable VSCode debugger (#673)

Prior to this commit, CBMC would emit logging information in plain text
format, which does not contain information required for the CBMC VSCode
debugger. This commit makes CBMC use XML instead of plain text.

Co-authored-by: Mark Tuttle <tuttle@acm.org>

* Remove need of token

* Use vTaskDelay for sleep in the network-interface of xilinx_ultrascale (#698)

The issue here is that, the FreeRTOS IP-task would block all other
tasks during PHY-link speed negotiations, as it was using busy
waiting. However this is not really ideal. A much more suitable
function for such a task would be `vTaskDelay`.

* Make sure that a TCP socket is closed only once (#707)

* 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>

* Remove Dup function HAL_ETH_SetMDIOClockRange. (#711)

* Update PR template to include checkbox for ut change (#734)

* Main/TCP4 : ACK number in TCP RESET reply to SYN packet (#724)

* Main/TCP4 : ACK number in TCP RESET reply to SYN packet

* Typo fix

* Add unit-test for coverage; Fix ntohl to htonl

* Fix unit-test

---------

Co-authored-by: Nikhil Kamath <110539926+amazonKamath@users.noreply.github.com>
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>

* #556 Initial Cmake Module definition. (#557)

* #556 Initial Cmake Module definition.

* Fixing CI builds, rely on pcap. (#556)

* Updating tested configurations and minor clean-up of missing network interfaces (#555)

* Further clean-up based on testing with build environment. (#555)

* Using single definition for libraries everywhere. (#555)

* Fixing A_CUSTOM_NETWORK_IF compile option.

* Identifying and fixing compile issues.

* Adding in additional warnings for GNU to ignore for now.

* Fixing formatting issues with uncrustify.

* More warnings for GNU used by CI/CD pipeline.

* Assuming custom for build tests and using latest freertos-kernel code.  Updated readme for how to consume at project level.

* Fixing up issues identified in the PR. Making the build_test EXCLUDE_FROM_ALL so only compiled if requested.

* Changing to support C89 instead of C99. Renaming tcp_tools to tcp_utilities to mimic the directory.

* Using C90 ISO.  Fixing compiler warnings.

* Fixing non C90 compliant declaration after statement

* Separating out CMakeLists so each port is independent.

* Updating warning list in code.

* Fixed formatting with uncrustify.

* Fix failing tests

* Fix failing unit-test

* Fix a typo.

---------

Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>

* CMake: Fix GIT_REPOSITORY and GIT_TAG (#742)

* Allow use of loopback addresses in IP stack (127.0.0.0/8) (#754)

Authored-by: Adam St. Amand <astamand@amazon.com>

* Add release candidate automation (#761)

This is a minimal subset of release automation which only creates a tag
and verifies it.

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>

* Add CBMC-running GitHub Action;

This commit adds a GitHub Action that runs the CBMC proofs in this
repository upon pushes and pull requests

* Copy CBMC output directory to CI location

This commit ensures that the output directory for CBMC proofs is in the
correct location expected by the FreeRTOS CI-CD repository.

* rx: Read mac address using FreeRTOS_GetMACAddress() rather than using the defines (#765)

* Read mac address using FreeRTOS_GetMACAddress() rather than using the defines
---------
Co-authored-by: GitHub Action <action@github.com>

* cmake: Remove add_subdirectory( cbmc ) call

CBMC proofs cannot currently be run using CMake.

fixes #753

* FreeRTOS_IP.h: Fix build error introduced by 55658e1 in FreeRTOS-Kernel

* Add Nxp1060 network interface (#774)

* Update PR template to include checkbox for ut change

* Create NetworkInterface.c

* Uncrustify: triggered by comment.

* Address PR comments

* Uncrustify: triggered by comment.

* Update NetworkInterface.c

* Uncrustify: triggered by comment.

* Update copyright year

* Refactor the init function. Add 'brief'. Cleanup.

* Uncrustify: triggered by comment.

* Update global link status only when the network is quiet

* Uncrustify: triggered by comment.

* Update copyright yeat

* Update the driver to deal with network cable disconnects

* Uncrustify: triggered by comment.

* Update NetworkInterface.c

* Clean up and address PR comments

* More cleanup and address PR comments

* Uncrustify: triggered by comment.

* Empty-Commit

* Address issue comments

* Uncrustify: triggered by comment.

* Empty-Commit to trigger workflow

* Remove Full-Duplex restriction

* Uncrustify: triggered by comment.

* Empty-Commit to trigger workflow

---------

Co-authored-by: GitHub Action <action@github.com>

* Correct GCC warnings (#798)

* 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>

* Cleanup of NXP1060 network driver (#801)

* Update PR template to include checkbox for ut change

* Empty-Commit to trigger workflow

* Fix issues pointed out in PR comments

* Uncrustify: triggered by comment.

* Empty-Commit to trigger workflow

---------

Co-authored-by: GitHub Action <action@github.com>

* Fix Clang warnings (#809)

Corrects several warnings from Clang flags
for Clang 13.

Inspired by @phelter's bug report
https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/issues/558

* uncrustify yml fix (#815)

* Add NetworkDown notification to NetworkInterface.c [PR: #671] (#812)

* Add NetworkDown notification to EMAC task

* Add NetworkDown notification to NetworkInterface.c

* Uncrustify: triggered by comment.

* Introduce ipconfigSUPPORT_NETWORK_DOWN_EVENT compile flag

* Fix formatting

* Uncrustify: triggered by comment.

---------

Co-authored-by: Filip Oleszek <filip.oleszek@o2.pl>
Co-authored-by: zipperowiec <35423392+zipperowiec@users.noreply.github.com>
Co-authored-by: GitHub Action <action@github.com>

* Uncrustify bot command fix (#816)

* fix uncrustify run command

* test uncrustify

* Revert "test uncrustify"

This reverts commit f660ab435f.

* Fix uncrustify bot command - disable install prompt (#819)

* fix uncrustify run command

* test uncrustify

* Revert "test uncrustify"

This reverts commit f660ab435f.

* removing apt-get prompt while installing git

* Removing deprecated set-output command from uncrustify bot run yml (#820)

* fix uncrustify run command

* test uncrustify

* Revert "test uncrustify"

This reverts commit f660ab435f.

* removing apt-get prompt while installing git

* removing the deprecated set-output command from uncrustify bot run yml, use latest git

* IPv4/Single: Let send() stop blocking after a connection reset (#561)

* IPv4/Single: Let send() stop after a protocol error

* Remove token need

* Repaired unit-testing

* Added the cunftion test_FreeRTOS_send_DisconnectionOccursDuringWait()

* Added a comment for unit-test function test_FreeRTOS_send_DisconnectionOccursDuringWait()

* Added an item to lexicon.txt

* Restored original tcp_utilities

* Restored original tcp_utilities, once more

---------

Co-authored-by: Hein Tibosch <hein@htibosch.net>
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
Co-authored-by: Nikhil Kamath <110539926+amazonKamath@users.noreply.github.com>

* Add logs to print random number generation failure (#908)

Add logs to print random number generation failure for better debugging of issue.

* Update usage of uint64_t according to C90 standard (#907)

Co-authored-by: kar-rahul-aws <118818625+kar-rahul-aws@users.noreply.github.com>

* Fix pragma pack in CCS compiler to push/pop (#906)

`#pragma pack(1)` would make it so that all structs inserted after pack_struct_start.h
was included for the TI arm compiler would be packed, leading to potential unaligned memory access error.
Refer: https://www.ti.com/lit/ug/spnu151w/spnu151w.pdf SECTION 5.11.23

* Modified libslirp backend file to cover different libslirp library versions (#929)

Authored-by: Xiaodong Li <xiaodonn@amazon.com>

* Update according to devIntegration

* Update links to point to main directory

---------

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
Co-authored-by: Hein Tibosch <hein_tibosch@yahoo.es>
Co-authored-by: Hein Tibosch <hein@htibosch.net>
Co-authored-by: GitHub Action <action@github.com>
Co-authored-by: alfred gedeon <28123637+alfred2g@users.noreply.github.com>
Co-authored-by: Pete Bone <pete-pjb@users.noreply.github.com>
Co-authored-by: PeterB <PeterB@PETE-LT.otg.local>
Co-authored-by: ChristosZosi <76208460+ChristosZosi@users.noreply.github.com>
Co-authored-by: jasonpcarroll <23126711+jasonpcarroll@users.noreply.github.com>
Co-authored-by: Jason Carroll <czjaso@amazon.com>
Co-authored-by: Tony Josi <117763118+tony-josi-aws@users.noreply.github.com>
Co-authored-by: Ubuntu <ubuntu@ip-172-31-22-210.ec2.internal>
Co-authored-by: Paul Bartell <paul.bartell@gmail.com>
Co-authored-by: Kareem Khazem <karkhaz@amazon.com>
Co-authored-by: Mark Tuttle <tuttle@acm.org>
Co-authored-by: Tony Josi <tonyjosi@amazon.com>
Co-authored-by: ActoryOu <jay2002824@gmail.com>
Co-authored-by: Nikhil Kamath <110539926+amazonKamath@users.noreply.github.com>
Co-authored-by: phelter <paulheltera@gmail.com>
Co-authored-by: Adam St. Amand <adam.stamand@gmail.com>
Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>
Co-authored-by: sayyadumar <sayyadumar@users.noreply.github.com>
Co-authored-by: Paul Bartell <pbartell@amazon.com>
Co-authored-by: Kody Stribrny <89810515+kstribrnAmzn@users.noreply.github.com>
Co-authored-by: Ubuntu <ubuntu@ip-10-0-137-67.ec2.internal>
Co-authored-by: Filip Oleszek <filip.oleszek@o2.pl>
Co-authored-by: zipperowiec <35423392+zipperowiec@users.noreply.github.com>
Co-authored-by: kar-rahul-aws <118818625+kar-rahul-aws@users.noreply.github.com>
Co-authored-by: Rahul Arasikere <arasikere.rahul@gmail.com>
Co-authored-by: Xiaodong Li <85011700+ChaiTowKway@users.noreply.github.com>
2023-07-05 15:28:50 +05:30
Monika Singh
1ceb4f0361 Update according to devIntegration 2023-07-04 05:48:50 +00:00
Monika Singh
1561608af4 Merge branch 'dev/IPv6_integration' into maintry 2023-07-03 09:57:25 +00:00
Monika Singh
f270918919 Modified libslirp backend file to cover different libslirp library versions (#929) (#945)
Authored-by: Xiaodong Li <xiaodonn@amazon.com>

Co-authored-by: Xiaodong Li <85011700+ChaiTowKway@users.noreply.github.com>
2023-06-28 20:09:11 +05:30
ActoryOu
63651d05b1 Revert length check in IPv6 RX packets (#941) 2023-06-28 18:10:29 +08:00
Xiaodong Li
f71fe91f52 Modified libslirp backend file to cover different libslirp library versions (#929)
Authored-by: Xiaodong Li <xiaodonn@amazon.com>
2023-06-27 10:31:47 -07:00
tony-josi-aws
edd58a2e6b add more comments 2023-06-26 12:48:27 +05:30
ActoryOu
04afe5f5b5 [IPv6] Fix coverity (#933)
* Fix coverity

* Fix UT

* Fix build combination

* Suppress rule 17.2

* Fix 11.3 and 15.7 violations
2023-06-26 11:18:05 +05:30
Tony Josi
f0bb76d498 revert back mcast address generation used for solicited node multicast traffic (#939) 2023-06-23 16:49:50 +05:30
Tony Josi
07e0a583d8 Merge branch 'dev/IPv6_integration' into tip_merge 2023-06-23 08:49:39 +05:30
kar-rahul-aws
07af934526 Add CBMC proofs for DHCPv6ProcessEndPoint (#913)
* Add CBMCproofs  or DHCPv6

* Force push

* Fix spell check

* Fix formatting

* Fix vDHCPv6ProcessEndPoint

* prvDHCPv6Analyse

* Fix vDHCPv6Process

* Fix DHCPv6HandleOption

* Update endpoint

* adding declaration to function.

* Update comment

* Update vDHCPv6Process to return in case of static ip is used

* Update comments

* Address comment

* Update spell checker

* Update comment

---------

Co-authored-by: ActoryOu <ousc@amazon.com>
Co-authored-by: Monika Singh <moninom@amazon.com>
Co-authored-by: tony-josi-aws <tonyjosi@amazon.com>
2023-06-22 22:53:42 +05:30
tony-josi-aws
b90ab85b21 fix formatting 2023-06-22 22:53:04 +05:30
Tony Josi
0f2e91fad3 Merge branch 'atmel_same54_port_dbg' of https://github.com/tony-josi-aws/FreeRTOS-Plus-TCP into atmel_same54_port_dbg 2023-06-22 22:51:36 +05:30
Tony Josi
4264dee4b7 update solicited node multicast MAC generation 2023-06-22 22:51:14 +05:30
ActoryOu
e3c2abed64 [IPv6] Add CBMC test for xCheckLoopback and xCheckRequiresARPResolution. (#916)
* xCheckLoopback

* xCheckRequiresARPResolution

* Formatting and spelling

* Fix comment

---------

Co-authored-by: Tony Josi <tonyjosi@amazon.com>
2023-06-22 19:10:57 +05:30
kar-rahul-aws
c30b2ef09c [DHCPv6] Add CBMC test for xDHCPv6Process_PassReplyToEndPoint & prvSendDHCPMessage (#909)
* Add cbmc proof

* Force push

* Fix formatting

* Fix build error

* Formatting fix

Co-authored-by: ActoryOu <jay2002824@gmail.com>

* Formatting suggestion fix

Co-authored-by: ActoryOu <jay2002824@gmail.com>

* Removing unnecessary comment

Co-authored-by: ActoryOu <jay2002824@gmail.com>

* Removing unnecessary comment

Co-authored-by: ActoryOu <jay2002824@gmail.com>

* add CBMC proof for xDHCPv6Process_PassReplyToEndPoint

* fix unit tests, coverage, refactor

---------

Co-authored-by: ActoryOu <jay2002824@gmail.com>
Co-authored-by: tony-josi-aws <tonyjosi@amazon.com>
Co-authored-by: Monika Singh <moninom@amazon.com>
2023-06-22 18:56:27 +05:30
ActoryOu
70d365d50b [IPv6][SAM] Enable multicast hash table for multiple MAC addresses on SAM network interface (#926)
* Add multicast hash table

* Fix newline

* Fix comment

* Rename prvAddMACAddress to prvAddMulticastMACAddress. Remove gmac_enable_irq

* update IPv6 multicast MAC  generation

---------

Co-authored-by: kar-rahul-aws <118818625+kar-rahul-aws@users.noreply.github.com>
Co-authored-by: tony-josi-aws <tonyjosi@amazon.com>
2023-06-22 18:18:12 +05:30
ActoryOu
a04227d385 [IPv6] Allow buffer length to be greater than IP packet in IPv6. (#927)
* Allow buffer data^Cength to be more than IP packets

* Fix UT

* Use MACRO instead to represent payload length

---------

Co-authored-by: Tony Josi <tonyjosi@amazon.com>
2023-06-22 17:49:41 +05:30
Tony Josi
ae4b272275 Add CBMC proof for DNS (#924)
* Adding CBMC proof for TreatNBNS

* add prrofs for prepareReplyDNSMessage

* add proofs for prepareReplyDNSMessage

* prove ulNBNSHandlePacket

* add prrof for ulNBNSHandlePacket

* fix formatting

* fix formatting

* fix formatting

* fix copyright

* reverting last commits

* add more comments

* add proof for NBNSHandlePacket

* add proof for NBNSHandlePacket, fix formatting

* add cbmc proof for prepareReplyDNSMessage

* add cbmc proof for prepareReplyDNSMessage

* fix spell check

* revert back unwanted changes

* add CBMC proof for CreateDNSMessage

* fix formatting

* fix spell check

* fix review comments

* fix review comments

* adding review comment changes

* upddate as per review comments

* update copyright
2023-06-22 17:19:23 +05:30
Tony Josi
5b0d45bf7d Add CBMC proof for DHCPProcess IPv4 (#918)
* renaming DHCPProcess to DHCPProcessEndPoint

* adding CBMC proof for DHCP process v4

* fix DHCP issues

* fix issues and improve coverage

* fix formatting

* removing unsused code

* removing copyright from *.json files

* adding changes as per revieew comments
2023-06-22 16:47:58 +05:30
tony-josi-aws
57322ee3fb fix formatting 2023-06-22 16:23:48 +05:30
Tony Josi
558886608f fix warnings 2023-06-22 16:20:43 +05:30
Tony Josi
e7cb915ba4 fix warnings 2023-06-22 15:01:54 +05:30
tony-josi-aws
dcf27f286a fix formatting 2023-06-22 10:49:52 +05:30