safec 3.9
Safe C Library - ISO TR24731 Bounds Checking Interface
|
Macros | |
#define | __WORDSIZE (8 * SIZEOF_SIZE_T) |
#define | ASM_VOLATILE |
#define | COMPILER_BARRIER |
#define | MEMORY_BARRIER COMPILER_BARRIER |
Functions | |
void | mem_prim_move (void *dest, const void *src, uint32_t len) |
Moves at most len of bytes from src to dest. | |
void | mem_prim_move8 (uint8_t *dest, const uint8_t *src, uint32_t len) |
Moves at most len of uint8_t's from src to dest. | |
void | mem_prim_move16 (uint16_t *dest, const uint16_t *src, uint32_t len) |
Moves at most len uint16_t's from src to dest. | |
void | mem_prim_move32 (uint32_t *dest, const uint32_t *src, uint32_t len) |
Moves at most len of uint32_t's from src to dest. | |
void | mem_prim_set (void *dest, uint32_t len, uint8_t value) |
void | mem_prim_set16 (uint16_t *dest, uint32_t len, uint16_t value) |
Sets len uint16_t's starting at dest to the specified value. | |
void | mem_prim_set32 (uint32_t *dest, uint32_t len, uint32_t value) |
Sets len uint32_t's starting at dest to the specified value. | |
#define __WORDSIZE (8 * SIZEOF_SIZE_T) |
#define ASM_VOLATILE |
#define COMPILER_BARRIER |
#define MEMORY_BARRIER COMPILER_BARRIER |
|
extern |
Moves at most len of bytes from src to dest.
Dest may overlap with src.
[out] | dest | pointer to the memory that will be replaced by src. |
[in] | src | pointer to the memory that will be copied to dest |
[in] | len | maximum number bytes of src that can be copied |
|
extern |
Moves at most len of uint8_t's from src to dest.
The destination may overlap with source.
[out] | dest | pointer to the memory that will be replaced by src |
[in] | src | pointer to the memory that will be copied to dest |
[in] | len | maximum number uint8_t of src that can be copied |
|
extern |
Moves at most len uint16_t's from src to dest.
The destination may overlap with source.
[out] | dest | pointer to the memory that will be replaced by src. |
[in] | src | pointer to the memory that will be copied to dest |
[in] | len | maximum number uint16_t of src that can be copied |
|
extern |
Moves at most len of uint32_t's from src to dest.
The destination may overlap with source.
[out] | dest | pointer to the memory that will be replaced by src. |
[in] | src | pointer to the memory that will be copied to dest |
[in] | len | maximum number uint32_t of sp that can be copied |
|
extern |
|
extern |
Sets len uint16_t's starting at dest to the specified value.
Pointers must meet system alignment requirements.
[out] | dest | pointer to memory that will be set to value |
[in] | len | number of uint16_t's to be set |
[in] | value | uint16_t value |
|
extern |
Sets len uint32_t's starting at dest to the specified value.
Pointers must meet system alignment requirements.
[out] | dest | pointer to memory that will be set to value |
[in] | len | number of uint32_t's to be set |
[in] | value | uint32_t value |