Top

POINTER T_malloc (  unsigned int    len )  ;

Use the T_malloc function to allocate a block of memory of at least len bytes. The value of len can be 0, in this case T_malloc returns a valid non-NULL_PTR value.

Top

int T_memcmp (  POINTER    firstBlock,  POINTER    secondBlock,  unsigned int    len  )  ;

Use the T_memcmp function to compare the first len of firstBlock and secondBlock. If the value of len is 0, T_memcmp returns 0. T_memcmp compares the blocks by scanning the blocks, from lowest address to highest, until a difference is found. The smaller-valued block is the one with the smaller-valued byte at the point of difference. If no difference is found, the blocks are equal.

Top

void T_memcpy (  POINTER    output,  POINTER    input,  unsigned int    len  )  ;

Use the T_memcpy function to copy a block of memory. The first len bytes of input are copied to output. The value of len can be 0, in which case output and input are ignored. The ability to handle overlapping blocks correctly depends on the implementation, and therefore should be avoided. For overlapping blocks, use T_memmove.

Top

void T_memmove (  POINTER    output,  POINTER    input,  unsigned int    len  )  ;

Use the T_memmove function to copy a block of memory. The first len bytes of input are copied to output. The input and output blocks may overlap. The value of len can be 0, in which case output is undefined.

Top

void T_memset (  POINTER    output,  int    value,  unsigned int    len  )  ;

Use the T_memset function to set a block of memory to a given value. The first len bytes of output are set to value. If the value of len is 0, output is ignored.

Top

POINTER T_realloc (  POINTER    block,  unsigned int    len  )  ;

Use the T_realloc function to change the size of block to len. T_realloc allocates a memory block of length len bytes, copies as many bytes as possible from the old memory block to the new one, and frees the old block. The address of the new block can be different from the address of the old block. The value of len can be 0, in which case T_realloc returns a valid NULL_PTR value. On error, block is freed using T_free. The value of block must be allocated using T_malloc, reallocated using T_realloc, or set to NULL_PTR. If block is NULL_PTR, T_realloc performs as T_malloc.

Top

int T_strcmp (  char    *firstString,  char    *secondString  )  ;

Use the T_strcmp function to compare firstString and secondString. The data in firstString and secondString must be NUL-terminated. T_strcmp compares the strings by scanning the strings, from lowest address to highest, until a difference is found. The smaller-valued string is the one with the smaller-valued byte at the point of difference. If no difference is found up to the length of the shortest string, the strings are equal if they have the same length; otherwise, the longer string has the larger value. The strings are not considered equal if their lengths differ.

Top

void T_strcpy (  char    *output,  char    *input  )  ;

Use the T_strcpy function to copy all bytes of input, up to and including the first NUL byte, to output.

Top

int T_strlen (  char    *string  )  ;

Use the T_strlen function to compute the length of a string (the number of bytes up to, but not including, the first NUL byte).

Top

void T_time (  UINT4    *time  )  ;

Use the T_time function to obtain the current time in seconds since 12:00 a.m. GMT, January 1, 1970, storing the result in time. Note: Cert-C expects this function to be used to write the time into the provided UINT4 parameter. On some platforms, the standard time() system function call may write more bytes than are present in a UNIT4. If the input time pointer is passed directly to the system time() function, verify that the size is correct.

Top