2000-06-09 06:14:39 +00:00
|
|
|
/* Bounded-pointer definitions for x86 assembler.
|
2013-01-02 19:01:50 +00:00
|
|
|
Copyright (C) 2000-2013 Free Software Foundation, Inc.
|
2000-06-09 06:14:39 +00:00
|
|
|
Contributed by Greg McGary <greg@mcgary.org>
|
|
|
|
This file is part of the GNU C Library. Its master source is NOT part of
|
|
|
|
the C library, however. The master source lives in the GNU MP Library.
|
|
|
|
|
|
|
|
The GNU C Library is free software; you can redistribute it and/or
|
2001-07-06 04:58:11 +00:00
|
|
|
modify it under the terms of the GNU Lesser General Public
|
|
|
|
License as published by the Free Software Foundation; either
|
|
|
|
version 2.1 of the License, or (at your option) any later version.
|
2000-06-09 06:14:39 +00:00
|
|
|
|
|
|
|
The GNU C Library is distributed in the hope that it will be useful,
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
2001-07-06 04:58:11 +00:00
|
|
|
Lesser General Public License for more details.
|
2000-06-09 06:14:39 +00:00
|
|
|
|
2001-07-06 04:58:11 +00:00
|
|
|
You should have received a copy of the GNU Lesser General Public
|
2012-02-09 23:18:22 +00:00
|
|
|
License along with the GNU C Library; if not, see
|
|
|
|
<http://www.gnu.org/licenses/>. */
|
2000-06-09 06:14:39 +00:00
|
|
|
|
|
|
|
#ifndef _bp_asm_h_
|
|
|
|
# define _bp_asm_h_ 1
|
|
|
|
|
|
|
|
# if __ASSEMBLER__
|
|
|
|
|
|
|
|
# if __BOUNDED_POINTERS__
|
|
|
|
|
|
|
|
/* Bounded pointers occupy three words. */
|
|
|
|
# define PTR_SIZE 12
|
|
|
|
/* Bounded pointer return values are passed back through a hidden
|
|
|
|
argument that points to caller-allocate space. The hidden arg
|
|
|
|
occupies one word on the stack. */
|
|
|
|
# define RTN_SIZE 4
|
|
|
|
/* Although the caller pushes the hidden arg, the callee is
|
|
|
|
responsible for popping it. */
|
|
|
|
# define RET_PTR ret $RTN_SIZE
|
|
|
|
/* Maintain frame pointer chain in leaf assembler functions for the benefit
|
|
|
|
of debugging stack traces when bounds violations occur. */
|
|
|
|
# define ENTER pushl %ebp; movl %esp, %ebp
|
|
|
|
# define LEAVE movl %ebp, %esp; popl %ebp
|
|
|
|
/* Stack space overhead of procedure-call linkage: return address and
|
|
|
|
frame pointer. */
|
|
|
|
# define LINKAGE 8
|
2000-06-29 22:55:31 +00:00
|
|
|
/* Stack offset of return address after calling ENTER. */
|
|
|
|
# define PCOFF 4
|
2000-06-09 06:14:39 +00:00
|
|
|
|
|
|
|
/* Int 5 is the "bound range" exception also raised by the "bound"
|
|
|
|
instruction. */
|
|
|
|
# define BOUNDS_VIOLATED int $5
|
|
|
|
|
|
|
|
# define CHECK_BOUNDS_LOW(VAL_REG, BP_MEM) \
|
|
|
|
cmpl 4+BP_MEM, VAL_REG; \
|
|
|
|
jae 0f; /* continue if value >= low */ \
|
|
|
|
BOUNDS_VIOLATED; \
|
|
|
|
0:
|
|
|
|
|
|
|
|
# define CHECK_BOUNDS_HIGH(VAL_REG, BP_MEM, Jcc) \
|
|
|
|
cmpl 8+BP_MEM, VAL_REG; \
|
|
|
|
Jcc 0f; /* continue if value < high */ \
|
|
|
|
BOUNDS_VIOLATED; \
|
|
|
|
0:
|
|
|
|
|
|
|
|
# define CHECK_BOUNDS_BOTH(VAL_REG, BP_MEM) \
|
|
|
|
cmpl 4+BP_MEM, VAL_REG; \
|
|
|
|
jb 1f; /* die if value < low */ \
|
|
|
|
cmpl 8+BP_MEM, VAL_REG; \
|
|
|
|
jb 0f; /* continue if value < high */ \
|
|
|
|
1: BOUNDS_VIOLATED; \
|
|
|
|
0:
|
|
|
|
|
|
|
|
# define CHECK_BOUNDS_BOTH_WIDE(VAL_REG, BP_MEM, LENGTH) \
|
|
|
|
CHECK_BOUNDS_LOW(VAL_REG, BP_MEM); \
|
|
|
|
addl LENGTH, VAL_REG; \
|
|
|
|
cmpl 8+BP_MEM, VAL_REG; \
|
|
|
|
jbe 0f; /* continue if value <= high */ \
|
|
|
|
BOUNDS_VIOLATED; \
|
|
|
|
0: subl LENGTH, VAL_REG /* restore value */
|
|
|
|
|
|
|
|
/* Take bounds from BP_MEM and affix them to the pointer
|
|
|
|
value in %eax, stuffing all into memory at RTN(%esp).
|
update
2000-07-26 Greg McGary <greg@mcgary.org>
* Makeconfig (+link-bounded, link-libc-bounded,
link-extra-libs-bounded): New variables.
(built-program-cmd): Omit $(run-program-prefix) for static BP tests.
* Makerules (do-tests-clean, common-mostlyclean): Remove BP test files.
* Rules (tests-bp.out): New variable.
(tests): Conditionally add BP tests.
(binaries-bounded): Add variable and associated rule.
* csu/Makefile [build-bounded] (extra-objs, install-lib):
Move conditional stuff after place where condition is defined.
* malloc/malloc.c (bp-checks.h): Add #include.
(mem2chunk, chunk_at_offset, bin_at): Wrap BOUNDED_1 around expression.
(_bin_at): Add unbounded version of bin_at.
(IAV, chunk_alloc): Use unbounded _bin_at.
(mALLOc, rEALLOc, chunk_realloc, mEMALIGn, cALLOc,
chunk2mem_check, realloc_check, malloc_starter, malloc_atfork):
Wrap BOUNDED_N around return value.
(chunk_realloc): Adjust oldsize once.
* sysdeps/generic/bp-checks.h (__memchr): Remove incorrect decl.
(__ubp_memchr): Add correct decl.
(_CHECK_STRING): Use __ubp_memchr.
* sysdeps/alpha/memchr.S [!__BOUNDED_POINTERS__] (__ubp_memchr):
New alias for unbounded-pointer __memchr.
* sysdeps/i386/memchr.S: Likewise.
* sysdeps/ia64/memchr.S: Likewise.
* sysdeps/m68k/memchr.S: Likewise.
* sysdeps/sparc/sparc32/memchr.S: Likewise.
* sysdeps/sparc/sparc64/memchr.S: Likewise.
* sysdeps/vax/memchr.s: Likewise.
* sysdeps/i386/strtok.S: Fix bounds checks to pass tests.
(SAVE_PTR): New macro. (save_ptr): Expand size as BP.
(strtok): Don't bother to write into SAVE_PTR when returning NULL.
* sysdeps/i386/i686/strtok.S: Likewise.
* sysdeps/i386/bp-asm.h (RETURN_BOUNDED_POINTER,
RETURN_NULL_BOUNDED_POINTER): Use %ecx as the scratch register.
* sysdeps/i386/bits/string.h [!__BOUNDED_POINTERS__]: Disable inlines.
* sysdeps/i386/i486/bits/string.h [!__BOUNDED_POINTERS__]: Likewise.
* sysdeps/unix/sysv/linux/getsysstats.c (get_proc_path): Copy
bounds of copy_result to mount_proc.
2000-07-26 18:21:25 +00:00
|
|
|
Use %edx as a scratch register. */
|
2000-06-09 06:14:39 +00:00
|
|
|
|
|
|
|
# define RETURN_BOUNDED_POINTER(BP_MEM) \
|
update
2000-07-26 Greg McGary <greg@mcgary.org>
* Makeconfig (+link-bounded, link-libc-bounded,
link-extra-libs-bounded): New variables.
(built-program-cmd): Omit $(run-program-prefix) for static BP tests.
* Makerules (do-tests-clean, common-mostlyclean): Remove BP test files.
* Rules (tests-bp.out): New variable.
(tests): Conditionally add BP tests.
(binaries-bounded): Add variable and associated rule.
* csu/Makefile [build-bounded] (extra-objs, install-lib):
Move conditional stuff after place where condition is defined.
* malloc/malloc.c (bp-checks.h): Add #include.
(mem2chunk, chunk_at_offset, bin_at): Wrap BOUNDED_1 around expression.
(_bin_at): Add unbounded version of bin_at.
(IAV, chunk_alloc): Use unbounded _bin_at.
(mALLOc, rEALLOc, chunk_realloc, mEMALIGn, cALLOc,
chunk2mem_check, realloc_check, malloc_starter, malloc_atfork):
Wrap BOUNDED_N around return value.
(chunk_realloc): Adjust oldsize once.
* sysdeps/generic/bp-checks.h (__memchr): Remove incorrect decl.
(__ubp_memchr): Add correct decl.
(_CHECK_STRING): Use __ubp_memchr.
* sysdeps/alpha/memchr.S [!__BOUNDED_POINTERS__] (__ubp_memchr):
New alias for unbounded-pointer __memchr.
* sysdeps/i386/memchr.S: Likewise.
* sysdeps/ia64/memchr.S: Likewise.
* sysdeps/m68k/memchr.S: Likewise.
* sysdeps/sparc/sparc32/memchr.S: Likewise.
* sysdeps/sparc/sparc64/memchr.S: Likewise.
* sysdeps/vax/memchr.s: Likewise.
* sysdeps/i386/strtok.S: Fix bounds checks to pass tests.
(SAVE_PTR): New macro. (save_ptr): Expand size as BP.
(strtok): Don't bother to write into SAVE_PTR when returning NULL.
* sysdeps/i386/i686/strtok.S: Likewise.
* sysdeps/i386/bp-asm.h (RETURN_BOUNDED_POINTER,
RETURN_NULL_BOUNDED_POINTER): Use %ecx as the scratch register.
* sysdeps/i386/bits/string.h [!__BOUNDED_POINTERS__]: Disable inlines.
* sysdeps/i386/i486/bits/string.h [!__BOUNDED_POINTERS__]: Likewise.
* sysdeps/unix/sysv/linux/getsysstats.c (get_proc_path): Copy
bounds of copy_result to mount_proc.
2000-07-26 18:21:25 +00:00
|
|
|
movl RTN(%esp), %edx; \
|
|
|
|
movl %eax, 0(%edx); \
|
2000-06-09 06:14:39 +00:00
|
|
|
movl 4+BP_MEM, %eax; \
|
update
2000-07-26 Greg McGary <greg@mcgary.org>
* Makeconfig (+link-bounded, link-libc-bounded,
link-extra-libs-bounded): New variables.
(built-program-cmd): Omit $(run-program-prefix) for static BP tests.
* Makerules (do-tests-clean, common-mostlyclean): Remove BP test files.
* Rules (tests-bp.out): New variable.
(tests): Conditionally add BP tests.
(binaries-bounded): Add variable and associated rule.
* csu/Makefile [build-bounded] (extra-objs, install-lib):
Move conditional stuff after place where condition is defined.
* malloc/malloc.c (bp-checks.h): Add #include.
(mem2chunk, chunk_at_offset, bin_at): Wrap BOUNDED_1 around expression.
(_bin_at): Add unbounded version of bin_at.
(IAV, chunk_alloc): Use unbounded _bin_at.
(mALLOc, rEALLOc, chunk_realloc, mEMALIGn, cALLOc,
chunk2mem_check, realloc_check, malloc_starter, malloc_atfork):
Wrap BOUNDED_N around return value.
(chunk_realloc): Adjust oldsize once.
* sysdeps/generic/bp-checks.h (__memchr): Remove incorrect decl.
(__ubp_memchr): Add correct decl.
(_CHECK_STRING): Use __ubp_memchr.
* sysdeps/alpha/memchr.S [!__BOUNDED_POINTERS__] (__ubp_memchr):
New alias for unbounded-pointer __memchr.
* sysdeps/i386/memchr.S: Likewise.
* sysdeps/ia64/memchr.S: Likewise.
* sysdeps/m68k/memchr.S: Likewise.
* sysdeps/sparc/sparc32/memchr.S: Likewise.
* sysdeps/sparc/sparc64/memchr.S: Likewise.
* sysdeps/vax/memchr.s: Likewise.
* sysdeps/i386/strtok.S: Fix bounds checks to pass tests.
(SAVE_PTR): New macro. (save_ptr): Expand size as BP.
(strtok): Don't bother to write into SAVE_PTR when returning NULL.
* sysdeps/i386/i686/strtok.S: Likewise.
* sysdeps/i386/bp-asm.h (RETURN_BOUNDED_POINTER,
RETURN_NULL_BOUNDED_POINTER): Use %ecx as the scratch register.
* sysdeps/i386/bits/string.h [!__BOUNDED_POINTERS__]: Disable inlines.
* sysdeps/i386/i486/bits/string.h [!__BOUNDED_POINTERS__]: Likewise.
* sysdeps/unix/sysv/linux/getsysstats.c (get_proc_path): Copy
bounds of copy_result to mount_proc.
2000-07-26 18:21:25 +00:00
|
|
|
movl %eax, 4(%edx); \
|
2000-06-09 06:14:39 +00:00
|
|
|
movl 8+BP_MEM, %eax; \
|
update
2000-07-26 Greg McGary <greg@mcgary.org>
* Makeconfig (+link-bounded, link-libc-bounded,
link-extra-libs-bounded): New variables.
(built-program-cmd): Omit $(run-program-prefix) for static BP tests.
* Makerules (do-tests-clean, common-mostlyclean): Remove BP test files.
* Rules (tests-bp.out): New variable.
(tests): Conditionally add BP tests.
(binaries-bounded): Add variable and associated rule.
* csu/Makefile [build-bounded] (extra-objs, install-lib):
Move conditional stuff after place where condition is defined.
* malloc/malloc.c (bp-checks.h): Add #include.
(mem2chunk, chunk_at_offset, bin_at): Wrap BOUNDED_1 around expression.
(_bin_at): Add unbounded version of bin_at.
(IAV, chunk_alloc): Use unbounded _bin_at.
(mALLOc, rEALLOc, chunk_realloc, mEMALIGn, cALLOc,
chunk2mem_check, realloc_check, malloc_starter, malloc_atfork):
Wrap BOUNDED_N around return value.
(chunk_realloc): Adjust oldsize once.
* sysdeps/generic/bp-checks.h (__memchr): Remove incorrect decl.
(__ubp_memchr): Add correct decl.
(_CHECK_STRING): Use __ubp_memchr.
* sysdeps/alpha/memchr.S [!__BOUNDED_POINTERS__] (__ubp_memchr):
New alias for unbounded-pointer __memchr.
* sysdeps/i386/memchr.S: Likewise.
* sysdeps/ia64/memchr.S: Likewise.
* sysdeps/m68k/memchr.S: Likewise.
* sysdeps/sparc/sparc32/memchr.S: Likewise.
* sysdeps/sparc/sparc64/memchr.S: Likewise.
* sysdeps/vax/memchr.s: Likewise.
* sysdeps/i386/strtok.S: Fix bounds checks to pass tests.
(SAVE_PTR): New macro. (save_ptr): Expand size as BP.
(strtok): Don't bother to write into SAVE_PTR when returning NULL.
* sysdeps/i386/i686/strtok.S: Likewise.
* sysdeps/i386/bp-asm.h (RETURN_BOUNDED_POINTER,
RETURN_NULL_BOUNDED_POINTER): Use %ecx as the scratch register.
* sysdeps/i386/bits/string.h [!__BOUNDED_POINTERS__]: Disable inlines.
* sysdeps/i386/i486/bits/string.h [!__BOUNDED_POINTERS__]: Likewise.
* sysdeps/unix/sysv/linux/getsysstats.c (get_proc_path): Copy
bounds of copy_result to mount_proc.
2000-07-26 18:21:25 +00:00
|
|
|
movl %eax, 8(%edx)
|
2000-06-09 06:14:39 +00:00
|
|
|
|
|
|
|
# define RETURN_NULL_BOUNDED_POINTER \
|
update
2000-07-26 Greg McGary <greg@mcgary.org>
* Makeconfig (+link-bounded, link-libc-bounded,
link-extra-libs-bounded): New variables.
(built-program-cmd): Omit $(run-program-prefix) for static BP tests.
* Makerules (do-tests-clean, common-mostlyclean): Remove BP test files.
* Rules (tests-bp.out): New variable.
(tests): Conditionally add BP tests.
(binaries-bounded): Add variable and associated rule.
* csu/Makefile [build-bounded] (extra-objs, install-lib):
Move conditional stuff after place where condition is defined.
* malloc/malloc.c (bp-checks.h): Add #include.
(mem2chunk, chunk_at_offset, bin_at): Wrap BOUNDED_1 around expression.
(_bin_at): Add unbounded version of bin_at.
(IAV, chunk_alloc): Use unbounded _bin_at.
(mALLOc, rEALLOc, chunk_realloc, mEMALIGn, cALLOc,
chunk2mem_check, realloc_check, malloc_starter, malloc_atfork):
Wrap BOUNDED_N around return value.
(chunk_realloc): Adjust oldsize once.
* sysdeps/generic/bp-checks.h (__memchr): Remove incorrect decl.
(__ubp_memchr): Add correct decl.
(_CHECK_STRING): Use __ubp_memchr.
* sysdeps/alpha/memchr.S [!__BOUNDED_POINTERS__] (__ubp_memchr):
New alias for unbounded-pointer __memchr.
* sysdeps/i386/memchr.S: Likewise.
* sysdeps/ia64/memchr.S: Likewise.
* sysdeps/m68k/memchr.S: Likewise.
* sysdeps/sparc/sparc32/memchr.S: Likewise.
* sysdeps/sparc/sparc64/memchr.S: Likewise.
* sysdeps/vax/memchr.s: Likewise.
* sysdeps/i386/strtok.S: Fix bounds checks to pass tests.
(SAVE_PTR): New macro. (save_ptr): Expand size as BP.
(strtok): Don't bother to write into SAVE_PTR when returning NULL.
* sysdeps/i386/i686/strtok.S: Likewise.
* sysdeps/i386/bp-asm.h (RETURN_BOUNDED_POINTER,
RETURN_NULL_BOUNDED_POINTER): Use %ecx as the scratch register.
* sysdeps/i386/bits/string.h [!__BOUNDED_POINTERS__]: Disable inlines.
* sysdeps/i386/i486/bits/string.h [!__BOUNDED_POINTERS__]: Likewise.
* sysdeps/unix/sysv/linux/getsysstats.c (get_proc_path): Copy
bounds of copy_result to mount_proc.
2000-07-26 18:21:25 +00:00
|
|
|
movl RTN(%esp), %edx; \
|
|
|
|
movl %eax, 0(%edx); \
|
|
|
|
movl %eax, 4(%edx); \
|
|
|
|
movl %eax, 8(%edx)
|
2000-06-09 06:14:39 +00:00
|
|
|
|
|
|
|
/* The caller of __errno_location is responsible for allocating space
|
|
|
|
for the three-word BP return-value and passing pushing its address
|
|
|
|
as an implicit first argument. */
|
|
|
|
# define PUSH_ERRNO_LOCATION_RETURN \
|
|
|
|
subl $8, %esp; \
|
|
|
|
subl $4, %esp; \
|
|
|
|
pushl %esp
|
|
|
|
|
|
|
|
/* __errno_location is responsible for popping the implicit first
|
|
|
|
argument, but we must pop the space for the BP itself. We also
|
|
|
|
dereference the return value in order to dig out the pointer value. */
|
|
|
|
# define POP_ERRNO_LOCATION_RETURN \
|
2000-06-29 22:55:31 +00:00
|
|
|
popl %eax; \
|
2000-06-09 06:14:39 +00:00
|
|
|
addl $8, %esp
|
|
|
|
|
|
|
|
# else /* !__BOUNDED_POINTERS__ */
|
|
|
|
|
|
|
|
/* Unbounded pointers occupy one word. */
|
|
|
|
# define PTR_SIZE 4
|
|
|
|
/* Unbounded pointer return values are passed back in the register %eax. */
|
|
|
|
# define RTN_SIZE 0
|
|
|
|
/* Use simple return instruction for unbounded pointer values. */
|
|
|
|
# define RET_PTR ret
|
|
|
|
/* Don't maintain frame pointer chain for leaf assembler functions. */
|
|
|
|
# define ENTER
|
|
|
|
# define LEAVE
|
|
|
|
/* Stack space overhead of procedure-call linkage: return address only. */
|
|
|
|
# define LINKAGE 4
|
2000-06-29 22:55:31 +00:00
|
|
|
/* Stack offset of return address after calling ENTER. */
|
|
|
|
# define PCOFF 0
|
2000-06-09 06:14:39 +00:00
|
|
|
|
|
|
|
# define CHECK_BOUNDS_LOW(VAL_REG, BP_MEM)
|
|
|
|
# define CHECK_BOUNDS_HIGH(VAL_REG, BP_MEM, Jcc)
|
|
|
|
# define CHECK_BOUNDS_BOTH(VAL_REG, BP_MEM)
|
|
|
|
# define CHECK_BOUNDS_BOTH_WIDE(VAL_REG, BP_MEM, LENGTH)
|
|
|
|
# define RETURN_BOUNDED_POINTER(BP_MEM)
|
|
|
|
|
|
|
|
# define RETURN_NULL_BOUNDED_POINTER
|
|
|
|
|
|
|
|
# define PUSH_ERRNO_LOCATION_RETURN
|
|
|
|
# define POP_ERRNO_LOCATION_RETURN
|
|
|
|
|
|
|
|
# endif /* !__BOUNDED_POINTERS__ */
|
|
|
|
|
|
|
|
# endif /* __ASSEMBLER__ */
|
|
|
|
|
|
|
|
#endif /* _bp_asm_h_ */
|