Searched refs:uxTotalLength (Results 1 – 7 of 7) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Analyse/ |
| D | DHCPv6Analyse_harness.c | 52 size_t uxTotalLength,
57 size_t uxTotalLength; in harness() local
70 __CPROVER_assume( ( uxTotalLength > 0 ) && in harness()
71 ( uxTotalLength <= DHCPv6_PAYLOAD_LENGTH_MAX ) ); in harness()
73 pucAnswer = safeMalloc( uxTotalLength ); in harness()
76 …reeRTOS_DHCPv6_c_prvDHCPv6Analyse( pxNetworkEndPoint_Temp, pucAnswer, uxTotalLength, pxDHCPMessage… in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/CheckOptionsOuter/ |
| D | CheckOptionsOuter_harness.c | 28 … size_t uxTotalLength,
75 size_t uxTotalLength; in harness() local
89 __CPROVER_assume( uxTotalLength <= buffer_size ); in harness()
93 … uxTotalLength, in harness()
98 __CPROVER_assert( ( ( index == -1 ) || ( index == 1 ) || ( index <= uxTotalLength ) ), in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/CheckOptions/ |
| D | CheckOptions_harness.c | 33 size_t uxTotalLength,
50 … size_t uxTotalLength, in __CPROVER_file_local_FreeRTOS_TCP_Reception_c_prvSingleStepTCPHeaderOptions() argument
63 __CPROVER_assert( uxTotalLength <= buffer_size, in __CPROVER_file_local_FreeRTOS_TCP_Reception_c_prvSingleStepTCPHeaderOptions()
71 __CPROVER_assume( ( index == -1 ) || ( index == 1 ) || ( index <= uxTotalLength ) ); in __CPROVER_file_local_FreeRTOS_TCP_Reception_c_prvSingleStepTCPHeaderOptions()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_TCP_Reception.c | 67 size_t uxTotalLength,
198 size_t uxTotalLength, in prvSingleStepTCPHeaderOptions() argument
203 size_t uxRemainingOptionsBytes = uxTotalLength; in prvSingleStepTCPHeaderOptions()
|
| D | FreeRTOS_IP.c | 1276 size_t uxTotalLength; in FreeRTOS_SendPingRequest() local
1280 uxTotalLength = uxNumberOfBytesToSend + sizeof( ICMPPacket_t ); in FreeRTOS_SendPingRequest()
1293 pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( uxTotalLength, uxBlockTimeTicks ); in FreeRTOS_SendPingRequest()
1322 pxNetworkBuffer->xDataLength = uxTotalLength; in FreeRTOS_SendPingRequest()
|
| D | FreeRTOS_DHCPv6.c | 100 size_t uxTotalLength,
1402 size_t uxTotalLength, in prvDHCPv6Analyse() argument
1410 if( xBitConfig_init( &xMessage, pucAnswer, uxTotalLength ) != pdFAIL ) in prvDHCPv6Analyse()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Process/ |
| D | DHCPv6Process_harness.c | 64 size_t uxTotalLength, in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6Analyse() argument
|
