| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ |
| D | CMakeLists.txt | 29 --bounds-check
30 --pointer-check
31 --div-by-zero-check
32 --float-overflow-check
33 --nan-check
35 --pointer-overflow-check
36 --signed-overflow-check
37 --undefined-shift-check
38 --unsigned-overflow-check
|
| D | run-cbmc-proofs.py | 155 run_cmd(cmd, check=True)
185 ], check=True)
197 "--tags", "stats-group:safety check",
202 ], check=True)
214 ], check=True)
227 ], check=True)
229 # Check whether the CBMC proof actually passed. More details in the
230 # Makefile rule for check-cbmc-result.
233 "--command", "make check-cbmc-result",
239 ], check=True)
[all …]
|
| D | MakefileCommon.json | 36 "--bounds-check",
37 "--pointer-check"
|
| D | Makefile.template | 121 # the entire job using the check-cbmc-result rule.
148 # intended to fail if and only if the CBMC safety check that emits
150 check-cbmc-result: cbmc.xml
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Routing_ConfigCompatibleWithSingle/ |
| D | FreeRTOS_Routing_ConfigCompatibleWithSingle_utest.c | 88 * - Check if pxNetworkEndPoints is same as input endpoint.
89 * - Check if all setting are correctly stored in endpoint.
125 * - Check if pxNetworkEndPoints is NULL.
152 * - Check if pxNetworkEndPoints is NULL.
180 * - Check if pxNetworkEndPoints is same as input endpoint.
181 * - Check if all setting are correctly stored in endpoint.
230 * - Check if pxNetworkEndPoints is same as input endpoint.
231 * - Check if all setting are correctly stored in endpoint.
233 * - Check if endpoint is not attached.
278 * - Check if the input network interface is stored into pxNetworkInterfaces.
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6/ |
| D | FreeRTOS_IPv6_utest.c | 61 * Check if prvAllowIPPacketIPv6 determines to release it.
78 * Check if prvAllowIPPacketIPv6 determines to release it.
95 * Check if prvAllowIPPacketIPv6 determines to process it.
111 …* @brief Prepare a packet from 2001:1234:5678::5 -> FF02::1. Check if prvAllowIPPacketIPv6 determi…
132 * Check if prvAllowIPPacketIPv6 determines to process it.
153 * Check if prvAllowIPPacketIPv6 determines to process it.
174 * Check if prvAllowIPPacketIPv6 determines to process it.
195 * Check if prvAllowIPPacketIPv6 determines to process it.
216 * Check if prvAllowIPPacketIPv6 determines to process it.
232 * Check if prvAllowIPPacketIPv6 determines to release it.
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6_ConfigDriverCheckChecksum/ |
| D | FreeRTOS_IPv6_ConfigDriverCheckChecksum_utest.c | 58 * Prepare a packet with valid length. Check if prvAllowIPPacketIPv6 determines to process it.
72 …* Prepare a IPv6 packet with extension header. Check if prvAllowIPPacketIPv6 determines to process…
92 …* Prepare a packet with length less than IPv6 header. Check if prvAllowIPPacketIPv6 determines to …
108 …* Prepare a packet with IPv4 version in header. Check if prvAllowIPPacketIPv6 determines to releas…
124 …* Prepare a packet with length less than Ethernet header + IPv6 header. Check if prvAllowIPPacketI…
140 …* The length in IP header is not equal to real network buffer size. Check if prvAllowIPPacketIPv6 …
158 * Check if prvAllowIPPacketIPv6 determines to release it.
178 * The protocol in IP header is unknown. Check if prvAllowIPPacketIPv6 determines to release it.
195 …* The buffer size is less than TCP packet minimal requirement. Check if prvAllowIPPacketIPv6 deter…
214 …* The buffer size is less than UDP packet minimal requirement. Check if prvAllowIPPacketIPv6 deter…
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Routing/ |
| D | FreeRTOS_Routing_utest.c | 110 * - Check if pxNetworkEndPoints is same as input endpoint.
111 * - Check if all setting are correctly stored in endpoint.
149 * - Check if pxNetworkEndPoints is NULL.
176 * - Check if pxNetworkEndPoints is NULL.
204 * - Check if pxNetworkEndPoints is same as input endpoint.
205 * - Check if all setting are correctly stored in endpoint.
280 * - Check if pxNetworkEndPoints is same as input endpoint.
281 * - Check if all setting are correctly stored in endpoint.
283 * - Check if endpoint is not attached.
330 * - Check if pxNetworkEndPoints is same as input endpoint.
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/ |
| D | README.md | 8 1. Make (You can check whether you have this by typing `make --version`)
10 2. Ruby (You can check whether you have this by typing `ruby --version`)
12 3. CMake version > 3.13.0 (You can check whether you have this by typing `cmake --version`)
21 - Check the version using `cmake --version` command.
22 4. lcov version 1.14 ( check with --version option )
24 5. unifdef version 2.10 ( check with -V option )
|
| /FreeRTOS-Plus-TCP-v4.0.0/.github/workflows/ |
| D | release.yml | 71 mkdir zip-check
72 mv FreeRTOS-Plus-TCP-${{ github.event.inputs.version_number }}.zip zip-check
73 cd zip-check
80 cd zip-check/FreeRTOS-Plus-TCP-${{ github.event.inputs.version_number }}/FreeRTOS-Plus-TCP
87 cd zip-check/FreeRTOS-Plus-TCP-${{ github.event.inputs.version_number }}/FreeRTOS-Plus-TCP
98 path: zip-check/FreeRTOS-Plus-TCP-${{ github.event.inputs.version_number }}.zip
|
| D | ci.yml | 37 - name: Check Coverage
42 spell-check:
59 - name: Check spelling
75 - name: Check formatting
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_IPv6.c | 68 /* Check IPv6 packet length. */
74 /* Check if ucNextHeader is an extension header. */
81 * @brief Check IPv6 packet length.
109 /* Check for minimum packet size: Ethernet header and an IPv6-header, 54 bytes */ in xCheckIPv6SizeFields()
125 /* Check if the IPv6-header is transferred. */ in xCheckIPv6SizeFields()
132 /* Check if the complete IPv6-header plus protocol data have been transferred: */ in xCheckIPv6SizeFields()
211 * @brief Check if ucNextHeader is an extension header.
248 * Check if the packet is a loopback packet.
276 * @brief Check if the packet is a loopback packet.
307 * @brief Check whether this IPv6 address is an allowed multicast address or not.
[all …]
|
| D | FreeRTOS_IPv4.c | 55 /* Check IPv4 packet length. */
64 * @brief Check IPv4 packet length.
91 /* Check for minimum packet size: Ethernet header and an IP-header, 34 bytes */ in xCheckIPv4SizeFields()
112 /* Check if the complete IP-header is transferred. */ in xCheckIPv4SizeFields()
119 /* Check if the complete IP-header plus protocol data have been transferred: */ in xCheckIPv4SizeFields()
214 * @brief Check whether this IPv4 packet is to be allowed or to be dropped.
319 /* Do not check the checksum of loop-back messages. */ in prvAllowIPPacketIPv4()
332 /* Check sum in IP-header not correct. */ in prvAllowIPPacketIPv4()
361 /* Check if this is a UDP packet without a checksum. */ in prvAllowIPPacketIPv4()
415 /** @brief Check if the IP-header is carrying options.
[all …]
|
| D | FreeRTOS_DNS_Parser.c | 143 * outside this condition, so the check is removed. in DNS_ReadNameField()
172 * outside this condition, so the check is removed. in DNS_ReadNameField()
183 /* Here, there is no need to check for pucByte[ uxindex ] == 0 because: in DNS_ReadNameField()
185 * failing above check. Whenever we exit the loop otherwise, either in DNS_ReadNameField()
186 * pucByte[ uxIndex ] == 0 (which makes the check here unnecessary) or in DNS_ReadNameField()
294 /* TODO cross check again */
382 /* Check for a malformed response. */ in DNS_ParseDNSReply()
393 /* Check the remaining buffer size. */ in DNS_ParseDNSReply()
433 /* No need to check that pcRequestedName != NULL since sQuestions != 0, then in DNS_ParseDNSReply()
436 /* No need to check that usQuestions != 0, since the check is done before */ in DNS_ParseDNSReply()
[all …]
|
| D | FreeRTOS_IP_Timers.c | 81 * Check the IP timer to see whether an IP event should be processed or not.
101 /** @brief ARP timer, to check its table entries. */
105 /** @brief TCP timer, to check for timeouts, resends. */
109 /** @brief DNS timer, to check for timeouts when looking-up a domain. */
136 /* Start with the maximum sleep time, then check this against the remaining in xCalculateSleepTime()
196 * @brief Check the network timers (ARP/DHCP/DNS/TCP) and if they are
301 * check must be repeated. */ in vCheckNetworkTimers()
459 * @brief Check the IP timer to see whether an IP event should be processed or not.
476 /* The timer might have set the bExpired flag already, if not, check the in prvIPTimerCheck()
|
| D | FreeRTOS_TCP_IP_IPv4.c | 128 /* Check for a minimum packet size. */ in xProcessReceivedTCPPacket_IPV4()
215 /* This is not a socket in listening mode. Check for the RST in xProcessReceivedTCPPacket_IPV4()
233 /* Check whether the packet matches the next expected sequence number. */ in xProcessReceivedTCPPacket_IPV4()
238 /* Otherwise, check whether the packet is within the receive window. */ in xProcessReceivedTCPPacket_IPV4()
255 … /* Check whether there is a pure SYN amongst the TCP flags while the connection is established. */ in xProcessReceivedTCPPacket_IPV4()
333 /* We must check if the buffer is unequal to NULL, because the in xProcessReceivedTCPPacket_IPV4()
|
| D | FreeRTOS_TCP_IP_IPv6.c | 123 /* Check for a minimum packet size. */ in xProcessReceivedTCPPacket_IPV6()
208 /* This is not a socket in listening mode. Check for the RST in xProcessReceivedTCPPacket_IPV6()
226 /* Check whether the packet matches the next expected sequence number. */ in xProcessReceivedTCPPacket_IPV6()
231 /* Otherwise, check whether the packet is within the receive window. */ in xProcessReceivedTCPPacket_IPV6()
248 … /* Check whether there is a pure SYN amongst the TCP flags while the connection is established. */ in xProcessReceivedTCPPacket_IPV6()
326 /* We must check if the buffer is unequal to NULL, because the in xProcessReceivedTCPPacket_IPV6()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/usGenerateProtocolChecksum_IPv6/ |
| D | usGenerateProtocolChecksum_IPv6_harness.c | 41 * Check if input buffer is readable. */
49 /* Check if input is a valid extension header ID. */
99 /* Check if packet has extension header. */ in prvPrepareExtensionHeaders()
162 /* Check if buffer size is enough for extension headers + protocol headers. */ in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/ |
| D | History.txt | 87 + Added a check in BufferAllocation_2.c to ensure adding (2 +
115 + Added a check for ICMP packets with incorrect checksum.
142 + Improved robustness by checking packet lengths in software even if the check
157 + Corrected length-check in usGenerateProtocolChecksum().
158 + Modified pxGetNetworkBufferWithDescriptor() function to check if a counting
167 + Added DNS response transaction ID check. The DNS cache shall only be updated
185 + Add a NULL check before attempting to close the DHCP socket. [Prior to
188 local private function, which did not have a NULL check, in place of the
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCPv6/ |
| D | FreeRTOS_DHCPv6_utest.c | 1331 * @brief Check if eGetDHCPv6State can return DHCP state correctly.
1350 * @brief Check if eGetDHCPv6State trigger assertion when input is NULL.
1358 * @brief Check if vDHCPv6Process trigger assertion when input is NULL.
1367 * @brief Check if vDHCPv6Process can reset successfully from eInitialWait.
1398 * @brief Check if vDHCPv6Process can reset successfully from eLeasedAddress.
1434 * @brief Check if vDHCPv6Process can reset successfully when state is different from expect state.
1470 * @brief Check if vDHCPv6Process can continue from eWaitingSendFirstDiscover successfully.
1511 * @brief Check if vDHCPv6Process can stop when state is different from expect state.
1541 * @brief Check if vDHCPv6Process can continue from eWaitingOffer successfully.
1589 * @brief Check if vDHCPv6Process can ignore IA_TA option which is not supported.
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName_cancel/ |
| D | DNSgetHostByName_cancel_harness.c | 55 …vDNSInitialise(); /* We initialize the callbacklist in order to be able to check for functions tha… in harness()
71 …pCallback, xTimeout, xIdentifier, xIsIPv6 ); /* Add an item to be able to check the cancel functio… in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Routing_ConfigV4Only/ |
| D | FreeRTOS_Routing_ConfigV4Only_utest.c | 92 * - Call FreeRTOS_MatchingEndpoint and check if returned endpoint is same.
140 * - Call FreeRTOS_MatchingEndpoint and check if returned endpoint is NULL.
185 * - Check if return buffer string is NULL.
216 * - Check if returned endpoint is same.
242 * - Check if returned endpoint is NULL.
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/ThirdParty/MSP432/ |
| D | NetworkInterface.c | 197 /* Check to see if the device has been setup */
199 /* Check to see if the network needs to be reset */
221 /* Call this function to check if the network interface is up.
875 /* Function to check and see if the network is up or down by polling a register in the Ethernet dr…
882 uint16_t check; in isEMACLinkUp() local
885 check = EMACPHYRead( EMAC0_BASE, uci8PHYAddr, EPHY_BMSR ); in isEMACLinkUp()
887 if( ( ( check & EPHY_BMSR_LINKSTAT ) != 0 ) && !( check & EPHY_BMSR_RFAULT ) ) in isEMACLinkUp()
920 * It is recommended to check the network stack for open sockets before calling this task,
951 /* A task to check and see if the link is up or down by polling an EMAC register */
966 /* FreeRTOS will poll xNetworkInterfaceInitialise() to check if the network is up. in prvCheckLinkUpOrDownNetStateTask()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_TCP_Reception.h | 45 * Called from prvTCPHandleState(). Find the TCP payload data and check and
52 * Called from prvTCPHandleState(). Check if the payload data may be accepted.
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/ksz8851snl/ |
| D | NetworkInterface.c | 122 * 2) Called by EMAC-Task: check for new fragments and start SPI transfer
138 * Check if there is a valid packet: REG_RX_FHR_STATUS
202 /* Check if the LinkStatus in the PHY is still high after 15 seconds of not
208 /* Check if the LinkStatus in the PHY is still low every second. */
514 /* Check the link status again. */ in xGMACWaitLS()
695 /* Check for free PDC. */ in ksz8851snl_update()
780 /* RX step4-5: check for received frames. */ in ksz8851snl_update()
820 /* RX step4-5: check for received frames. */ in ksz8851snl_update()
898 /* TX step1: check if TXQ memory size is available for transmit. */ in ksz8851snl_update()
1148 /* Check that descriptor is owned by software (ie packet received). */ in ksz8851snl_low_level_input()
[all …]
|
