Searched defs:__builtin___memcpy_chk (Results 1 – 6 of 6) sorted by relevance
/dports/security/s2n/s2n-tls-1.1.2/tests/cbmc/stubs/ |
H A D | memcpy_havoc.c | 43 …void *__builtin___memcpy_chk(void *dst, const void *src, __CPROVER_size_t n, __CPROVER_size_t size… in __builtin___memcpy_chk() function
|
/dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/stubs/ |
H A D | memcpy_override_no_op.c | 38 void *__builtin___memcpy_chk(void *dst, const void *src, __CPROVER_size_t n, __CPROVER_size_t size)… in __builtin___memcpy_chk() function
|
H A D | memcpy_override.c | 41 void *__builtin___memcpy_chk(void *dst, const void *src, __CPROVER_size_t n, __CPROVER_size_t size)… in __builtin___memcpy_chk() function
|
H A D | memcpy_override_havoc.c | 37 void *__builtin___memcpy_chk(void *dst, const void *src, __CPROVER_size_t n, __CPROVER_size_t size)… in __builtin___memcpy_chk() function
|
H A D | memcpy_using_uint64.c | 68 void *__builtin___memcpy_chk(void *dst, const void *src, __CPROVER_size_t n, __CPROVER_size_t size)… in __builtin___memcpy_chk() function
|
/dports/devel/cscout/cscout-bd7dfac/include/template/ |
H A D | gcc-defs.h | 83 #define __builtin___memcpy_chk(x,y,z,w) ((x), (y), (z), (w), 0) macro
|