Commit Graph

39292 Commits

Author SHA1 Message Date
Carlos Eduardo Seo
42c99ba55f cheri: stdio-common: Add test for %#p printf modifier
Testcase for printing capabilities.
2022-10-26 15:50:33 +01:00
Szabolcs Nagy
829e179a52 Fix elf/tst-tls20 stack OOB access
Off-by-one error found on morello with strict stack bounds.
2022-10-26 15:39:59 +01:00
Szabolcs Nagy
8a4566d712 Revert "Fix elf/tst-tls20 stack OOB access"
This reverts commit 37cfa707b0.
2022-10-26 15:39:59 +01:00
Szabolcs Nagy
7a76b94bab TODO: fix _dl_runtime_profile entry after revert
TODO: squash into

  commit 392f32c841
  aarch64: morello: add lazy binding entry code
2022-10-26 15:39:59 +01:00
Szabolcs Nagy
a6e4d0bbd7 Revert "TODO(audit): aarch64: morello: add _dl_runtime_profile entry"
This reverts commit 0c66b05c7f0b2ec5fdf7d37b4150ba517efa5df8.
2022-10-26 15:39:59 +01:00
Szabolcs Nagy
c5872cb18b Revert "TODO(gprof): aarch64: morello: add gprof profiling support to asm"
This reverts commit 960401b6f740232d2b97bfe9ea4118b394112a5e.
2022-10-26 15:39:59 +01:00
Szabolcs Nagy
3295936b27 Revert "TODO(drop): aarch64: morello: CPU feature detection for Morello"
This reverts commit 078ebf3e35bd0c50b58dc2ec796530054f69b9a9.
2022-10-26 15:39:59 +01:00
Szabolcs Nagy
782fb76092 Revert "TODO(relro): cheri: make __attribute_relro a nop"
This reverts commit 347f7e2ac1.
2022-10-26 15:39:59 +01:00
Szabolcs Nagy
8593166279 Revert "TODO(l_addr): cheri: rtld: elfptr_t fix in rtld.c program header processing"
This reverts commit 93ab84cd80.
2022-10-26 15:39:59 +01:00
Szabolcs Nagy
bf969db943 aarch64: morello: add prctl with correct vararg handling
prctl is a variadic function and on morello args that were not passed
cannot be accessed so the generic code does not work.
2022-10-26 15:39:59 +01:00
Szabolcs Nagy
a46c1b96f3 TODO: fix variadic syscalls
Only use as many varargs as accessible according to the bounds of c9.

TODO: squash into original syscall support
2022-10-26 15:39:59 +01:00
Szabolcs Nagy
0e893e3d68 TODO: use empty dl-symaddr.c
TODO: squash into

  commit 0edbd4c6d389b9e2be5ff1d026b4d30ae70a4af9
  aarch64: morello: fix DL_SYMBOL_ADDRESS
2022-10-26 15:39:59 +01:00
Szabolcs Nagy
057a635835 TODO: use empty wordcopy.c
TODO: squash into

  commit 418b9dac8999e5a64b69ee072321cd6eed8d8be1
  aarch64: don't build wordcopy
2022-10-26 15:39:59 +01:00
Szabolcs Nagy
45b4ae2ffd TODO: more l_addr cleanup
TODO: squash into

  commit f2f4f441fbda6080d0ff742f3bb535c09315ef98
  cheri: elf: Turn l_addr back to ElfW(Addr)
2022-10-26 15:39:59 +01:00
Szabolcs Nagy
e8d0e61aa2 TODO(uapi): cheri: start: restrict auxv capability permissions
TODO: not needed with full pcuabi
2022-10-26 15:39:59 +01:00
Szabolcs Nagy
df30ef1b0d cheri: Fix capability permissions of PROT_NONE maps in test code 2022-10-26 15:39:59 +01:00
Szabolcs Nagy
cef9089a68 cheri: Fix capability permissions of PROT_NONE map in locarchive 2022-10-26 15:39:59 +01:00
Szabolcs Nagy
b2854b0bcc cheri: nptl: Fix thread stack capability permissions 2022-10-26 15:39:59 +01:00
Szabolcs Nagy
40b60cc1db cheri: elf: Fix segment mapping permissions
Ensure mmap returns pointers with RWX permission covering all segments.
These pointers later get restricted to RX and RW permission.
2022-10-26 15:32:01 +01:00
Szabolcs Nagy
44283b4f2f cheri: malloc: Ensure the mappings have RW permission
The arena allocator incrementally applies RW mprotect to a PROT_NONE
mapping.  Use PROT_MAX to ensure the pointers derived from the original
mapping have RW capability permission.
2022-10-26 15:32:01 +01:00
Szabolcs Nagy
418ede06d7 aarch64: morello: define PROT_MAX
Specifies the prot flags a mapping may gain via mprotect or MAP_FIXED.
On CHERI targets this is used to get capability with more permissions
than the original mmap protection would imply.
2022-10-26 15:32:01 +01:00
Szabolcs Nagy
dac0b184e7 TODO(uapi): mmap perm emulation 2022-10-26 15:32:01 +01:00
Szabolcs Nagy
28f19db3b8 TODO: update cheri_perms.h
TODO: squash into initial cheri_perms.h
2022-10-26 15:32:01 +01:00
Szabolcs Nagy
78412dcc6a cheri: Update the static tls requirement of the libc
Larger requirement because pointers are bigger.
2022-10-20 18:16:55 +01:00
Szabolcs Nagy
4ad4ea848b math: Fix asin and acos invalid exception
This works around a gcc issue where it const folds inf/inf into nan,
preventing the invalid exception signal to be raised.

(x-x)/(x-x) is more robust against optimizations and works for x==nan
too.

The issue should be fixed in gcc-11.3.0 and gcc-12, but glibc supports
older compilers.
2022-10-13 11:43:54 +01:00
Szabolcs Nagy
f660eb9cc7 cheri: malloc: disable capability narrowing on some tests
malloc/tst-malloc-backtrace tests heap corruption.
malloc/tst-dynarray uses malloc_debug wrappers that access internals.
2022-10-12 14:22:03 +01:00
Szabolcs Nagy
1fa257f338 cheri: malloc: add tunable to turn narrowing off 2022-10-12 14:22:03 +01:00
Szabolcs Nagy
cdba5ffdae cheri: malloc: Capability narrowing using internal lookup table
Add more cap_ hooks to implement narrowing without depending on a
global capability covering the heap.  Either recording every
narrowed capability in a lookup table or recording every mapping
used for the heap are supported.  The morello implmentation uses
a lookup table for now.

The lookup table adds memory overhead, failure paths and locks.
Recording and removing entries from the lookup table must be done
carefully in realloc so on failure the old pointer is usable and
on success the old pointer is immediately reusable concurrently.
The locks require fork hooks so malloc works in multi-threaded
fork child.
2022-10-12 14:22:03 +01:00
Szabolcs Nagy
f54124b801 cheri: malloc: Initial capability narrowing support
Public interfaces return pointers with narrow bounds, this internally
requires bumping the size and alignment requirement of allocations so
the bounds are representible.

When pointers with narrow bounds need to be turned back to have wide
bounds (free, realloc), the pointer is rederived from DDC. (So this
patch relies on DDC to cover all heap memory with RW permission.)

Allocations above the mmap threshold waste memory for alignment and
realloc often falls back to the inefficient alloc, copy, free sequence
instead of mremap or other inplace solution.
2022-10-12 14:22:03 +01:00
Szabolcs Nagy
3d959e4b0e malloc: Don't use __libc_free for tcache cleanup
__libc_free must only be used for memory given out by __libc_malloc
and similar public apis, but tcache stores a cache of already freed
pointers and itself is allocated using internal malloc apis.  Strong
double free detection in __libc_free breaks tcache_thread_shutdown,
so use a cut down version of free to reset tcache entries.
2022-10-12 14:22:03 +01:00
Szabolcs Nagy
c0a839639b cheri: elf: make sure dlpi_phdr covers the load segments
In dl_iterate_phdr phdr is the only capability passed to the callback
that may be used to derive pointers of the elf module, so ensure it
has wide bounds.
2022-10-12 14:22:03 +01:00
Szabolcs Nagy
0648dbf3a0 aarch64: morello: add dl-r_debug.h
Used internally for r_debug tests, but with the assumption that
the return value can be dereferenced, so change the prototype
and return a valid capability.

Also used in pldd, where we only support purecap abi processes.
2022-10-12 14:22:03 +01:00
Szabolcs Nagy
bbfb104b50 TODO(api): cheri: fix dl_iterate_phdr dlpi_addr
The dlpi_addr field is a capability that has value l_addr, but we can
only do this for libraries (ET_DYN) where l_addr == l_map_start,
otherwise we return l_addr which is normally 0 then (ET_EXEC) so the
caller can detect and special case it.

For now l_addr != 0 and l_addr != l_map_start case is not supported.
Note: this api may be used by the unwinder to find and read .eh_frame
data.

TODO: dlpi_addr could be address only, but requires unwinder update
and agreement about the abi.
2022-10-12 14:22:03 +01:00
Szabolcs Nagy
66e78c5b74 aarch64: morello: elf: drop unused load address computation
l_addr is no longer a capability so this is not needed.
2022-10-12 14:22:03 +01:00
Szabolcs Nagy
4d7cf069ee cheri: elf: Turn l_addr back to ElfW(Addr)
Pointers are no longer derived from l_addr, but l_map_start (RX) and
l_rw_start (RW) so it does not have to be a capability.

This also allows removing hacks where l_addr was derived from DDC.
2022-10-12 14:22:03 +01:00
Szabolcs Nagy
9c11d64d6d cheri: elf: use RX, RW capabilities to derive pointers
Instead of

  map->l_addr + offset

use

  dl_rx_ptr (map, offset)
  dl_rw_ptr (map, offset)

depending on RX or RW permission requirement.
2022-10-12 14:22:03 +01:00
Szabolcs Nagy
b35504abf0 aarch64: morello: RX, RW fixes for relocation processing 2022-10-12 14:22:03 +01:00
Szabolcs Nagy
f0e8f3667c aarch64: morello: elf: Return bounded pointer in __tls_get_addr
There is no traditional TLS support in morello that would explicitly
call __tls_get_addr, but the libc uses it internally and the returned
pointer escapes to user code.  So bound the pointers according to
the tls symbol size instead of doing so in each caller.

(Affects dlsym and dynamic TLSDESC.)
2022-10-12 14:22:03 +01:00
Szabolcs Nagy
ab0bc274aa aarch64: morello: fix DL_SYMBOL_ADDRESS
It has to return a pointer that can be dereferenced, so it must be
derived correctly from RX and RW capabilities.

Try to have tight object bounds and seal function symbols.
2022-10-12 14:22:03 +01:00
Szabolcs Nagy
9912e5c608 cheri: fix SYMBOL_ADDRESS to return RX derived pointer
All symbol addresses can be derived from the RX capability of the
module (l_map_start). For RW object symbols pointer will have to
be rederived from l_rw_start.
2022-10-12 14:22:03 +01:00
Szabolcs Nagy
e841326457 cheri: elf: Use RW permissions for l_ld when needed
The dynamic section of an executable needs to be written to set the
DT_DEBUG entry for debuggers (unless the target has some other place
to store r_debug). For this reason we make l_ld writable whenever
the dynamic section is writable.

The ld.so l_ld is kept RX, since it does not have DT_DEBUG.
(Note: relocating the dynamic section is not allowed on cheri and
that's the only other reason glibc would write to it.)
2022-10-12 14:22:03 +01:00
Szabolcs Nagy
a1d26f7b1d aarch64: morello: add D_PTR_RW
Writable version of D_PTR, required for updating GOT[1] and GOT[2].
2022-10-12 14:22:03 +01:00
Szabolcs Nagy
e6a2c4c4bb aarch64: morello: fix relative relocs
use the reloc processing code from cheri-rel.h which already
supports separate RX and RW capabilities per module.
2022-10-12 14:22:03 +01:00
Szabolcs Nagy
87dffcda13 cheri: Setup RX, RW capabilities for static linking
At least tls image access requires RX capability of the main link_map.
2022-10-12 14:22:03 +01:00
Szabolcs Nagy
a66d563c9e cheri: elf: Setup per module RX and RW capabilities
The l_map_start and l_rw_start of the ld.so and exe comes from the auxv
since they are normally mapped by the kernel.  Some generic code had to
be modified so l_map_start is propagated and not overwritten when it is
recomputed.

The l_rw_range should exclude the relro region, but in libc.so and
ld.so this does not work: symbols are accessed before relro is applied
and then the permission should be writable.
2022-10-12 14:22:03 +01:00
Szabolcs Nagy
74085ebc1f aarch64: morello: Add elf_machine_rtld_base_setup
Use a new hook to do the rtld bootstrap map base address and root
capability setup on CHERI.

This will be needed to use separate per module RX and RW root caps.
2022-10-12 14:22:03 +01:00
Szabolcs Nagy
1b0716e083 elf: add dl_{rx,rw}_ptr to derive addresses within a map
To derive pointers within a module from the per module RX and RW caps.
2022-10-12 14:22:03 +01:00
Szabolcs Nagy
55ada9157d cheri: elf: add an RW capability to link_map
For each module keep an RX and an RW root capability.  Use the existing
l_map_start for RX (covering all load segments) and add l_rw_start for
RW (covering all writable load segments).

For relocation processing, we also need individual RW ranges to decide
which objects need to be derived from RW and RX capabilities.  In
practice most modules have exactly one RW segment and it's unlikely
that any module needs more than four distinct ranges to tightly cover
the RW mappings.

Only added on CHERI targets so always has to be used behind ifdef.
2022-10-12 14:22:03 +01:00
Szabolcs Nagy
11e0080cd5 aarch64: morello: Use purecap ELF entry ABI in _start
The purecap ELF entry is special: passes separate argc, argv, envp,
auxv in registers instead of on the stack.

The ldso internal _dl_start still expects continuous argc, argv, envp,
auxv, so that's emulated.
2022-10-12 14:22:03 +01:00
Szabolcs Nagy
bb624b6c43 aarch64: morello: use RW and RX capabilities for static start code
For each module there will be separate RW and RX capabilities that
cover the writable and all load segments respectively.

Prepare the relative reloc processing in static start code for such
separate capabilities.
2022-10-12 14:22:03 +01:00