Merging to main #8
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…h less than min packet (FreeRTOS#642) * Fixed build issues and updated branch to latest target branch changes * Updating to latest target branch changes
* Fix build issues for tiny tcp * Updating to latest target branch changes
* Fixed build issue for tcp win utests * Updating too latest target branch changes
* Fix build issues for tcp utils utest * Uncrustify formatting
…S#630) * Fixed build failures with tcp_state_handling * Uncrustify formatting
* Fixed build issues with the tcp_ip diffconfig * Uncrustify formatting
…#628) * Fixed build issues with the tcp_ip diffconfig * Uncrustify formatting
…RTOS#626) * Fixed build issues for FreeRTOS_Sockets_DiffConfig_1 * Uncrustify formatting
As ipconfigCOMPATIBLE_WITH_SINGLE is never enabled and used partially, removing the rest of the instances of the same. Ran uncrustify.
* Fix DHCP build issues * WIP fix warnings for DHCP utest * Updating to latest target branch changes
* Fixed build issues related to IP diffconfig ut folder * Updating to lastest target branch changes
* WIP Fix build for IP ttimers * Fixed build for IP timers * removed global config settings specific to ip timers test * Updating the branch with latestt target branch changes * Uncrustify: triggered by comment. Co-authored-by: GitHub Action <action@github.com>
…OS#606) * Fixed build issue for IP utils doffconfig utests * Removed edits made to global ip config * Updating branch to latest * Uncrustify formatting
* WIP fix build failure for DNS parser unit tests * Fixes build issues for dns parser * Fix build issues DNS parser
* WIP fix failing test cases * Fixed failing tests for UDP IP unit tests * Fixed unit tests failures after combining v4 specific source with main udp ip source * Removing unused code
* WIP fix failing test cases for tcp ip utests * Fixed TCP IP failing unit test cases * Fixed failing unit tests for TCP IP diffconfig unit tests
* WIP fix tcp transmission utests * WIP fixing failing test cases for TCP transmission unittests * Fix issue with tcp test case arguments getting changed when passed to functions * Fixed failing unit tests for TCP transmission unit tests
* Fix unit test cases for FreeRTOS_Sockets_TCP_API_utest * Fix unit test case for FreeRTOS_Sockets_privates_utest * Fix unit test case for FreeRTOS_Sockets_GenericAPI_utest * Fix unit test case for FreeRTOS_Sockets_UDP_API_utest * Update ucASCIIToHex
Add changes to fix failing test cases of FreeRTOS_Sockets_DiffConfig1
* WIP dns test cases * WIP DNS unit tests, fix failing tests * Fix failing tests for DNS cache unit tests * WIP dns unt test cases fix * WIP dns unt test cases fix * WIP failing test cases for DNS unit test * WIP fix failing test cases for DNS callback * WIP fix dns networking unit tests * WIP fix failing unit test cases for DNS parser * WIP fix failing test cases for the DNS parser unit tests * Fixed failing test cases for the DNS networking unit tests * WIP fix failing unit test cases for DNS * Fixed failing test cases for DNS unit tests * Fixed failing test cases for the DNS unit tests * Fix failing test cases for the DNS callback unit tests * Fixed failing test cases for DNS parser and updted the TreatNBNS function * xDNS_IP_Preference kept xPreferenceIPv4 by default
* Update FreeRTOS_ARP.c * Update FreeRTOS_UDP_IPv4.c * Update FreeRTOS_TCP_Transmission_IPV4.c * Update FreeRTOS_IP.c * Update FreeRTOS_DHCP.c * Update FreeRTOS_DNS.c * Update NetworkInterface.c Add Functions To avoid scheduler suspension: xPacketBouncedBack and prvStreamBufferAdd
Changed the function test_ProcessICMPPacket_EchoRequest, added a mock for uxIPHeaderSizePacket.
* Update FreeRTOS_IP_Utils_DiffConfig_utest.c and fix the unit test cases.
`#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
* usGenerateProtocolChecksum V4 * usGenerateProtocolChecksum V6 * prvPacketBuffer_to_NetworkBuffer * pxDuplicateNetworkBufferWithDescriptor * pxUDPPayloadBuffer_to_NetworkBuffer
* xRecv_Update_IPv4 * Remove redundant define in makefile
* prvHandleListen * Add UT test case to cover copy length change
* prvChecksumIPv6Checks
* Add CBMC proof for vProcessGeneratedUDPPacket_IPv6 * Update use of safeMalloc * Update Makefile * Address comment
* Add proof for prvSendData * Update spell checker * Address comment * Minor update
…eaders (FreeRTOS#896) * Include IPv4.c to ProcessIPPacket CBMC * prvAllowIPPacketIPv6 * eHandleIPv6ExtensionHeaders * Add UT for IPv6 change * Code beautify * Reduce MTU size to fasten CBMC test * Reduce memory usage in ProcessIPPacket * Fix comments. * Add parenthesis in assume for multi-conditions --------- Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
* Fix warnings on disable USETCP_WIN macro * Uncrustify: triggered by comment. --------- Co-authored-by: GitHub Action <action@github.com>
* 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
* 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
…eRTOS#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>
… SAM network interface (FreeRTOS#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>
…ndDHCPMessage (FreeRTOS#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>
…on. (FreeRTOS#916) * xCheckLoopback * xCheckRequiresARPResolution * Formatting and spelling * Fix comment --------- Co-authored-by: Tony Josi <tonyjosi@amazon.com>
* 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>
Merge Main to dev/IPv6_integration
* Fix coverity * Fix UT * Fix build combination * Suppress rule 17.2 * Fix 11.3 and 15.7 violations
…rsions (FreeRTOS#929) (FreeRTOS#945) Authored-by: Xiaodong Li <xiaodonn@amazon.com> Co-authored-by: Xiaodong Li <85011700+ChaiTowKway@users.noreply.github.com>
* Readme and History Changes for V4.0.0-rc3 Release * Add build separation info * Remove trailing whitespace * Update comment
* Update Getting Started Guide Doc * Update * Update * Update comment * Remove space * Update GettingStarted_4.0.0-rc3.md
shubnil
approved these changes
Jul 4, 2023
# for free
to join this conversation on GitHub.
Already have an account?
# to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Description
Test Steps
Checklist:
Related Issue
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.