CodeQL / Analyze (actions) (push) Canceled after 0s
CodeQL / Analyze (python) (push) Canceled after 0s
pre-commit / pre-commit (push) Canceled after 0s
Multi-Arch CI / setup (push) Canceled after 0s
Publish build_manylinux_x86_64 images / publish_build_manylinux_x86_64 (push) Canceled after 0s
Setup (Multi-Arch) / setup (push) Canceled after 0s
Multi-Arch CI / Linux::${{ fromJSON(needs.setup.outputs.linux_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubi10 image / publish_no_rocm_image_ubi10 (push) Canceled after 0s
Multi-Arch CI / Windows::${{ fromJSON(needs.setup.outputs.windows_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Multi-Arch CI / Manifest Diff (push) Canceled after 0s
TheRock Manifest Diff Report / Generate Manifest Diff Report (push) Canceled after 0s
Multi-Arch CI / CI Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_ocl_rt images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_rocgdb images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Unit Tests / Unit Tests :: ubuntu-24.04 (push) Canceled after 0s
Unit Tests / Unit Tests :: windows-2022 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_media (push) Canceled after 0s
Unit Tests / Unit Tests Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_openmpi (push) Canceled after 0s
142 lines
6.1 KiB
C++
142 lines
6.1 KiB
C++
//===-- dfsan_platform.h ----------------------------------------*- C++ -*-===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This file is a part of DataFlowSanitizer.
|
|
//
|
|
// Platform specific information for DFSan.
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef DFSAN_PLATFORM_H
|
|
#define DFSAN_PLATFORM_H
|
|
|
|
#include "sanitizer_common/sanitizer_common.h"
|
|
#include "sanitizer_common/sanitizer_platform.h"
|
|
|
|
namespace __dfsan {
|
|
|
|
using __sanitizer::uptr;
|
|
|
|
// TODO: The memory mapping code to setup a 1:1 shadow is based on msan.
|
|
// Consider refactoring these into a shared implementation.
|
|
|
|
struct MappingDesc {
|
|
uptr start;
|
|
uptr end;
|
|
enum Type {
|
|
INVALID = 1,
|
|
ALLOCATOR = 2,
|
|
APP = 4,
|
|
SHADOW = 8,
|
|
ORIGIN = 16,
|
|
} type;
|
|
const char *name;
|
|
};
|
|
|
|
// Note: MappingDesc::ALLOCATOR entries are only used to check for memory
|
|
// layout compatibility. The actual allocation settings are in
|
|
// dfsan_allocator.cpp, which need to be kept in sync.
|
|
#if SANITIZER_LINUX && SANITIZER_WORDSIZE == 64
|
|
|
|
# if defined(__aarch64__)
|
|
// The mapping assumes 48-bit VMA. AArch64 maps:
|
|
// - 0x0000000000000-0x0100000000000: 39/42/48-bits program own segments
|
|
// - 0x0a00000000000-0x0b00000000000: 48-bits PIE program segments
|
|
// Ideally, this would extend to 0x0c00000000000 (2^45 bytes - the
|
|
// maximum ASLR region for 48-bit VMA) but it is too hard to fit in
|
|
// the larger app/shadow/origin regions.
|
|
// - 0x0e00000000000-0x1000000000000: 48-bits libraries segments
|
|
const MappingDesc kMemoryLayout[] = {
|
|
{0X0000000000000, 0X0100000000000, MappingDesc::APP, "app-10-13"},
|
|
{0X0100000000000, 0X0200000000000, MappingDesc::SHADOW, "shadow-14"},
|
|
{0X0200000000000, 0X0300000000000, MappingDesc::INVALID, "invalid"},
|
|
{0X0300000000000, 0X0400000000000, MappingDesc::ORIGIN, "origin-14"},
|
|
{0X0400000000000, 0X0600000000000, MappingDesc::SHADOW, "shadow-15"},
|
|
{0X0600000000000, 0X0800000000000, MappingDesc::ORIGIN, "origin-15"},
|
|
{0X0800000000000, 0X0A00000000000, MappingDesc::INVALID, "invalid"},
|
|
{0X0A00000000000, 0X0B00000000000, MappingDesc::APP, "app-14"},
|
|
{0X0B00000000000, 0X0C00000000000, MappingDesc::SHADOW, "shadow-10-13"},
|
|
{0X0C00000000000, 0X0D00000000000, MappingDesc::INVALID, "invalid"},
|
|
{0X0D00000000000, 0X0E00000000000, MappingDesc::ORIGIN, "origin-10-13"},
|
|
{0X0E00000000000, 0X0E40000000000, MappingDesc::ALLOCATOR, "allocator"},
|
|
{0X0E40000000000, 0X1000000000000, MappingDesc::APP, "app-15"},
|
|
};
|
|
# define MEM_TO_SHADOW(mem) ((uptr)mem ^ 0xB00000000000ULL)
|
|
# define SHADOW_TO_ORIGIN(shadow) (((uptr)(shadow)) + 0x200000000000ULL)
|
|
# elif SANITIZER_LINUX && SANITIZER_S390_64
|
|
const MappingDesc kMemoryLayout[] = {
|
|
{0x000000000000ULL, 0x040000000000ULL, MappingDesc::APP, "app-low"},
|
|
{0x040000000000ULL, 0x080000000000ULL, MappingDesc::INVALID, "invalid"},
|
|
{0x080000000000ULL, 0x180000000000ULL, MappingDesc::SHADOW, "shadow"},
|
|
{0x180000000000ULL, 0x1C0000000000ULL, MappingDesc::INVALID, "invalid"},
|
|
{0x1C0000000000ULL, 0x2C0000000000ULL, MappingDesc::ORIGIN, "origin"},
|
|
{0x2C0000000000ULL, 0x440000000000ULL, MappingDesc::INVALID, "invalid"},
|
|
{0x440000000000ULL, 0x460000000000ULL, MappingDesc::ALLOCATOR, "allocator"},
|
|
{0x460000000000ULL, 0x500000000000ULL, MappingDesc::APP, "app-high"}};
|
|
|
|
# define MEM_TO_SHADOW(mem) \
|
|
((((uptr)(mem)) & ~0xC00000000000ULL) + 0x080000000000ULL)
|
|
# define SHADOW_TO_ORIGIN(shadow) (((uptr)(shadow)) + 0x140000000000ULL)
|
|
|
|
# else
|
|
// All of the following configurations are supported.
|
|
// ASLR disabled: main executable and DSOs at 0x555550000000
|
|
// PIE and ASLR: main executable and DSOs at 0x7f0000000000
|
|
// non-PIE: main executable below 0x100000000, DSOs at 0x7f0000000000
|
|
// Heap at 0x700000000000.
|
|
const MappingDesc kMemoryLayout[] = {
|
|
{0x000000000000ULL, 0x010000000000ULL, MappingDesc::APP, "app-1"},
|
|
{0x010000000000ULL, 0x100000000000ULL, MappingDesc::SHADOW, "shadow-2"},
|
|
{0x100000000000ULL, 0x110000000000ULL, MappingDesc::INVALID, "invalid"},
|
|
{0x110000000000ULL, 0x200000000000ULL, MappingDesc::ORIGIN, "origin-2"},
|
|
{0x200000000000ULL, 0x300000000000ULL, MappingDesc::SHADOW, "shadow-3"},
|
|
{0x300000000000ULL, 0x400000000000ULL, MappingDesc::ORIGIN, "origin-3"},
|
|
{0x400000000000ULL, 0x500000000000ULL, MappingDesc::INVALID, "invalid"},
|
|
{0x500000000000ULL, 0x510000000000ULL, MappingDesc::SHADOW, "shadow-1"},
|
|
{0x510000000000ULL, 0x600000000000ULL, MappingDesc::APP, "app-2"},
|
|
{0x600000000000ULL, 0x610000000000ULL, MappingDesc::ORIGIN, "origin-1"},
|
|
{0x610000000000ULL, 0x700000000000ULL, MappingDesc::INVALID, "invalid"},
|
|
{0x700000000000ULL, 0x740000000000ULL, MappingDesc::ALLOCATOR, "allocator"},
|
|
{0x740000000000ULL, 0x800000000000ULL, MappingDesc::APP, "app-3"}};
|
|
# define MEM_TO_SHADOW(mem) (((uptr)(mem)) ^ 0x500000000000ULL)
|
|
# define SHADOW_TO_ORIGIN(mem) (((uptr)(mem)) + 0x100000000000ULL)
|
|
# endif
|
|
|
|
#else
|
|
# error "Unsupported platform"
|
|
#endif
|
|
|
|
const uptr kMemoryLayoutSize = sizeof(kMemoryLayout) / sizeof(kMemoryLayout[0]);
|
|
|
|
#define MEM_TO_ORIGIN(mem) (SHADOW_TO_ORIGIN(MEM_TO_SHADOW((mem))))
|
|
|
|
#ifndef __clang__
|
|
__attribute__((optimize("unroll-loops")))
|
|
#endif
|
|
inline bool
|
|
addr_is_type(uptr addr, int mapping_types) {
|
|
// It is critical for performance that this loop is unrolled (because then it is
|
|
// simplified into just a few constant comparisons).
|
|
#ifdef __clang__
|
|
# pragma unroll
|
|
#endif
|
|
for (unsigned i = 0; i < kMemoryLayoutSize; ++i)
|
|
if ((kMemoryLayout[i].type & mapping_types) &&
|
|
addr >= kMemoryLayout[i].start && addr < kMemoryLayout[i].end)
|
|
return true;
|
|
return false;
|
|
}
|
|
|
|
#define MEM_IS_APP(mem) \
|
|
(addr_is_type((uptr)(mem), MappingDesc::APP | MappingDesc::ALLOCATOR))
|
|
#define MEM_IS_SHADOW(mem) addr_is_type((uptr)(mem), MappingDesc::SHADOW)
|
|
#define MEM_IS_ORIGIN(mem) addr_is_type((uptr)(mem), MappingDesc::ORIGIN)
|
|
|
|
} // namespace __dfsan
|
|
|
|
#endif
|