Searched refs:uxSourceBytesRemaining (Results 1 – 4 of 4) sorted by relevance
71 pxSet.pucByte = malloc( pxSet.uxSourceBytesRemaining ); in harness()75 __CPROVER_assume( pxSet.uxSourceBytesRemaining < CBMC_MAX_OBJECT_SIZE ); in harness()78 __CPROVER_assume( pxSet.uxSourceBytesRemaining <= NETWORK_BUFFER_SIZE ); in harness()96 __CPROVER_assert( index <= uxDestLen + 1 && index <= pxSet.uxSourceBytesRemaining, in harness()
105 size_t uxSourceLen = pxSet->uxSourceBytesRemaining; in DNS_ReadNameField()324 xSet.uxSourceBytesRemaining = uxBufferLength; in DNS_ParseDNSReply()344 xSet.uxSourceBytesRemaining -= sizeof( DNSMessage_t ); in DNS_ParseDNSReply()379 xSet.uxSourceBytesRemaining ); in DNS_ParseDNSReply()391 xSet.uxSourceBytesRemaining -= uxResult; in DNS_ParseDNSReply()394 if( xSet.uxSourceBytesRemaining >= sizeof( uint32_t ) ) in DNS_ParseDNSReply()406 xSet.uxSourceBytesRemaining -= sizeof( uint32_t ); in DNS_ParseDNSReply()672 pxSet->uxSourceBytesRemaining -= uxResult; in parseDNSAnswer()676 if( pxSet->uxSourceBytesRemaining < sizeof( uint16_t ) ) in parseDNSAnswer()688 … if( pxSet->uxSourceBytesRemaining >= ( sizeof( DNSAnswerRecord_t ) + pxSet->uxAddressLength ) ) in parseDNSAnswer()[all …]
181 xSet.uxSourceBytesRemaining = 8; in test_DNS_ReadNameField_success_fully_coded_gt_uint16()201 xSet.uxSourceBytesRemaining = 2; in test_DNS_ReadNameField_success_half_coded_gt_uint16()219 xSet.uxSourceBytesRemaining = 300; in test_DNS_ReadNameField_zero_size_walk_over_nothing_to_do()241 xSet.uxSourceBytesRemaining = 300; in test_DNS_ReadNameField_walk_over_copy_name()266 xSet.uxSourceBytesRemaining = 9; in test_DNS_ReadNameField_walk_over_exact_source_length()298 xSet.uxSourceBytesRemaining = 300; in test_DNS_ReadNameField_walk_over_copy_2_names()325 xSet.uxSourceBytesRemaining = 300; in test_DNS_ReadNameField_short_destination()351 xSet.uxSourceBytesRemaining = 10; in test_DNS_ReadNameField_short_source()375 xSet.uxSourceBytesRemaining = 15; in test_DNS_ReadNameField_fail_name_len_gt_destlen()2599 xSet.uxSourceBytesRemaining = uxsourceBytesRemaining; in test_parseDNSAnswer_no_answers()[all …]
195 …size_t uxSourceBytesRemaining; /**< As pucByte is incremented, 'uxSourceBytesRemaining' will b… member
