Searched refs:uxDestLen (Results 1 – 5 of 5) sorted by relevance
28 size_t uxDestLen );43 size_t uxDestLen );68 size_t uxDestLen; in harness() local76 __CPROVER_assume( uxDestLen < CBMC_MAX_OBJECT_SIZE ); in harness()79 __CPROVER_assume( uxDestLen <= NAME_SIZE ); in harness()87 __CPROVER_assume( uxDestLen > 0 ); in harness()92 uxDestLen ); in harness()96 __CPROVER_assert( index <= uxDestLen + 1 && index <= pxSet.uxSourceBytesRemaining, in harness()
39 size_t uxDestLen ) in DNS_ReadNameField() argument52 __CPROVER_assert( uxDestLen < CBMC_MAX_OBJECT_SIZE, in DNS_ReadNameField()70 __CPROVER_assert( uxDestLen > 0, in DNS_ReadNameField()77 __CPROVER_assume( index <= uxDestLen + 1 && index <= uxRemainingBytes ); in DNS_ReadNameField()
48 size_t uxDestLen );
101 size_t uxDestLen ) in DNS_ReadNameField() argument162 if( ( uxNameLen + uxCount ) >= uxDestLen ) in DNS_ReadNameField()
142 size_t uxDestLen; in test_DNS_ReadNameField_success_empty_uxRemainingBytes() local145 ret = DNS_ReadNameField( &xSet, uxDestLen ); in test_DNS_ReadNameField_success_empty_uxRemainingBytes()158 size_t uxDestLen; in test_DNS_ReadNameField_fail_offset_dns_name() local163 ret = DNS_ReadNameField( &xSet, uxDestLen ); in test_DNS_ReadNameField_fail_offset_dns_name()261 size_t uxDestLen; in test_DNS_ReadNameField_walk_over_exact_source_length() local367 size_t uxDestLen; in test_DNS_ReadNameField_fail_name_len_gt_destlen() local
