| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ICMP/ProcessICMPEchoRequest/ |
| D | ProcessICMPEchoRequest_harness.c | 45 const uint8_t * pucNextData, in usGenerateChecksum() argument
48 __CPROVER_assert( pucNextData != NULL, "Next data in GenerateChecksum cannot be NULL" ); in usGenerateChecksum()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/usGenerateProtocolChecksum/ |
| D | usGenerateProtocolChecksum_harness.c | 43 const uint8_t * pucNextData, in usGenerateChecksum() argument
46 … __CPROVER_assert( __CPROVER_r_ok( pucNextData, uxByteCount ), "pucNextData should be readable." ); in usGenerateChecksum()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/prepareReplyDNSMessage/ |
| D | prepareReplyDNSMessage_harness.c | 66 const uint8_t * pucNextData, in usGenerateChecksum() argument
71 __CPROVER_assert( pucNextData != NULL, "Next data cannot be NULL" ); in usGenerateChecksum()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/ |
| D | TCPReturnPacket_harness.c | 127 const uint8_t * pucNextData, in usGenerateChecksum() argument
132 __CPROVER_assert( pucNextData != NULL, "The next data pointer cannot be NULL" ); in usGenerateChecksum()
133 …__CPROVER_assert( __CPROVER_r_ok( pucNextData, uxByteCount ), "The pucNextData should be readable.… in usGenerateChecksum()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket_IPv6/ |
| D | TCPReturnPacket_IPv6_harness.c | 126 const uint8_t * pucNextData, in usGenerateChecksum() argument
131 __CPROVER_assert( pucNextData != NULL, "The next data pointer cannot be NULL" ); in usGenerateChecksum()
132 …__CPROVER_assert( __CPROVER_r_ok( pucNextData, uxByteCount ), "The pucNextData should be readable.… in usGenerateChecksum()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessIPPacket/ |
| D | ProcessIPPacket_harness.c | 40 const uint8_t * pucNextData, in usGenerateChecksum() argument
45 __CPROVER_assert( pucNextData != NULL, "Next data cannot be NULL" ); in usGenerateChecksum()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils/ |
| D | FreeRTOS_IP_Utils_utest.c | 2084 uint8_t pucNextData[ ipconfigTCP_MSS ]; in test_usGenerateChecksum_UnallignedAccess() local
2088 memset( pucNextData, 0xAB, ipconfigTCP_MSS ); in test_usGenerateChecksum_UnallignedAccess()
2092 if( ( ( uintptr_t ) &pucNextData[ uxUnalligned ] ) & 0x01U ) in test_usGenerateChecksum_UnallignedAccess()
2098 usResult = usGenerateChecksum( usSum, &pucNextData[ uxUnalligned ], uxByteCount ); in test_usGenerateChecksum_UnallignedAccess()
2111 uint8_t pucNextData[ ipconfigTCP_MSS ]; in test_usGenerateChecksum_OneByteToChecksum() local
2115 memset( pucNextData, 0xAB, ipconfigTCP_MSS ); in test_usGenerateChecksum_OneByteToChecksum()
2119 if( ( ( uintptr_t ) &pucNextData[ uxUnalligned ] ) & 0x01U ) in test_usGenerateChecksum_OneByteToChecksum()
2125 usResult = usGenerateChecksum( usSum, &pucNextData[ uxUnalligned ], uxByteCount ); in test_usGenerateChecksum_OneByteToChecksum()
2138 uint8_t pucNextData[ ipconfigTCP_MSS ]; in test_usGenerateChecksum_OneByteAllignedButZeroLength() local
2142 memset( pucNextData, 0xAB, ipconfigTCP_MSS ); in test_usGenerateChecksum_OneByteAllignedButZeroLength()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket/ |
| D | vProcessGeneratedUDPPacket_harness.c | 25 const uint8_t * pucNextData, in usGenerateChecksum() argument
28 __CPROVER_assert( pucNextData != NULL, "Next data in GenerateChecksum cannot be NULL" ); in usGenerateChecksum()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket_IPv6/ |
| D | vProcessGeneratedUDPPacket_IPv6_harness.c | 25 const uint8_t * pucNextData, in usGenerateChecksum() argument
30 __CPROVER_assert( pucNextData != NULL, "Next data in GenerateChecksum cannot be NULL" ); in usGenerateChecksum()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/usGenerateProtocolChecksum_IPv6/ |
| D | usGenerateProtocolChecksum_IPv6_harness.c | 43 const uint8_t * pucNextData, in usGenerateChecksum() argument
46 … __CPROVER_assert( __CPROVER_r_ok( pucNextData, uxByteCount ), "pucNextData should be readable." ); in usGenerateChecksum()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv4/ |
| D | FreeRTOS_UDP_IPv4_list_macros.h | 82 const uint8_t * pucNextData,
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_IP_Utils.c | 1211 const uint8_t * pucNextData, in usGenerateChecksum() argument
1236 xSource.u8ptr = pucNextData; in usGenerateChecksum()
1241 uxAlignBits = ( ( ( uintptr_t ) pucNextData ) & 0x03U ); in usGenerateChecksum()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_IP_Private.h | 464 const uint8_t * pucNextData,
|
