diff options
| author | Jun-ichiro itojun Hagino <itojun@cvs.openbsd.org> | 2004-06-20 17:28:27 +0000 |
|---|---|---|
| committer | Jun-ichiro itojun Hagino <itojun@cvs.openbsd.org> | 2004-06-20 17:28:27 +0000 |
| commit | 5c43065e738ab2bd8bb6e962d71f7d9d03ce7257 (patch) | |
| tree | 46dc75e0344f91699a5d0b238670ca1dd279acab | |
| parent | 25b28787a7beca9a8243b5c8e927282640977dff (diff) | |
boundary-check memcpy and friends. henning ok
| -rw-r--r-- | sys/sys/systm.h | 30 |
1 files changed, 21 insertions, 9 deletions
diff --git a/sys/sys/systm.h b/sys/sys/systm.h index b0bf65341a1..e40bd3cea19 100644 --- a/sys/sys/systm.h +++ b/sys/sys/systm.h @@ -1,4 +1,4 @@ -/* $OpenBSD: systm.h,v 1.62 2004/06/13 21:49:28 niklas Exp $ */ +/* $OpenBSD: systm.h,v 1.63 2004/06/20 17:28:26 itojun Exp $ */ /* $NetBSD: systm.h,v 1.50 1996/06/09 04:55:09 briggs Exp $ */ /*- @@ -182,15 +182,27 @@ extern int splassert_ctl; void tablefull(const char *); -int kcopy(const void *, void *, size_t); - -void bcopy(const void *, void *, size_t); -void ovbcopy(const void *, void *, size_t); -void bzero(void *, size_t); +int kcopy(const void *, void *, size_t) + __attribute__ ((__bounded__(__buffer__,1,3))) + __attribute__ ((__bounded__(__buffer__,2,3))); + +void bcopy(const void *, void *, size_t) + __attribute__ ((__bounded__(__buffer__,1,3))) + __attribute__ ((__bounded__(__buffer__,2,3))); +void ovbcopy(const void *, void *, size_t) + __attribute__ ((__bounded__(__buffer__,1,3))) + __attribute__ ((__bounded__(__buffer__,2,3))); +void bzero(void *, size_t) + __attribute__ ((__bounded__(__buffer__,1,2))); int bcmp(const void *, const void *, size_t); -void *memcpy(void *, const void *, size_t); -void *memmove(void *, const void *, size_t); -void *memset(void *, int, size_t); +void *memcpy(void *, const void *, size_t) + __attribute__ ((__bounded__(__buffer__,1,3))) + __attribute__ ((__bounded__(__buffer__,2,3))); +void *memmove(void *, const void *, size_t) + __attribute__ ((__bounded__(__buffer__,1,3))) + __attribute__ ((__bounded__(__buffer__,2,3))); +void *memset(void *, int, size_t) + __attribute__ ((__bounded__(__buffer__,1,3))); int copystr(const void *, void *, size_t, size_t *); int copyinstr(const void *, void *, size_t, size_t *); |