Evgenii Stepanov | 0a3637d | 2016-07-06 13:20:59 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2016 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
| 16 | |
| 17 | #ifndef CFI_SHADOW_H |
| 18 | #define CFI_SHADOW_H |
| 19 | |
| 20 | #include <stdint.h> |
| 21 | |
| 22 | #include "private/bionic_page.h" |
| 23 | #include "private/bionic_macros.h" |
| 24 | |
| 25 | constexpr unsigned kLibraryAlignmentBits = 18; |
| 26 | constexpr size_t kLibraryAlignment = 1UL << kLibraryAlignmentBits; |
| 27 | |
| 28 | // This class defines format of the shadow region for Control Flow Integrity support. |
| 29 | // See documentation in http://clang.llvm.org/docs/ControlFlowIntegrityDesign.html#shared-library-support. |
| 30 | // |
| 31 | // CFI shadow is effectively a very fast and specialized implementation of dladdr: given an address that |
| 32 | // belongs to a shared library or an executable, it can find the address of a specific export in that |
| 33 | // library (a function called "__cfi_check"). This is only guaranteed to work for |
| 34 | // addresses of possible CFI targets inside a library: indirectly called functions and virtual |
| 35 | // tables. A random address inside a library may not work in the future (but it does in the current |
| 36 | // implementation). |
| 37 | // |
| 38 | // Implementation is a sparse array of uint16_t where each element describes the location of |
| 39 | // __cfi_check for a 2**kShadowGranularity range of memory. Array elements (called "shadow values" |
| 40 | // below) are interpreted as follows. |
| 41 | // |
| 42 | // For an address P and corresponding shadow value V, the address of __cfi_check is calculated as |
| 43 | // align_up(P, 2**kShadowGranularity) - (V - 2) * (2 ** kCfiCheckGranularity) |
| 44 | // |
| 45 | // Special shadow values: |
| 46 | // 0 = kInvalidShadow, this memory range has no valid CFI targets. |
| 47 | // 1 = kUncheckedShadow, any address is this memory range is a valid CFI target |
| 48 | // |
| 49 | // Loader requirement: each aligned 2**kShadowGranularity region of address space may contain at |
| 50 | // most one DSO. |
| 51 | // Compiler requirement: __cfi_check is aligned at kCfiCheckGranularity. |
| 52 | // Compiler requirement: __cfi_check for a given DSO is located below any CFI target for that DSO. |
| 53 | class CFIShadow { |
| 54 | public: |
| 55 | static constexpr uintptr_t kShadowGranularity = kLibraryAlignmentBits; |
| 56 | static constexpr uintptr_t kCfiCheckGranularity = 12; |
| 57 | |
| 58 | // Each uint16_t element of the shadow corresponds to this much application memory. |
| 59 | static constexpr uintptr_t kShadowAlign = 1UL << kShadowGranularity; |
| 60 | |
| 61 | // Alignment of __cfi_check. |
| 62 | static constexpr uintptr_t kCfiCheckAlign = 1UL << kCfiCheckGranularity; // 4K |
| 63 | |
Evgenii Stepanov | abb163f | 2017-08-02 18:16:50 -0700 | [diff] [blame] | 64 | #if defined (__LP64__) |
| 65 | static constexpr uintptr_t kMaxTargetAddr = 0xffffffffffff; |
Evgenii Stepanov | 0a3637d | 2016-07-06 13:20:59 -0700 | [diff] [blame] | 66 | #else |
| 67 | static constexpr uintptr_t kMaxTargetAddr = 0xffffffff; |
| 68 | #endif |
| 69 | |
| 70 | // Shadow is 2 -> 2**kShadowGranularity. |
| 71 | static constexpr uintptr_t kShadowSize = |
| 72 | align_up((kMaxTargetAddr >> (kShadowGranularity - 1)), PAGE_SIZE); |
| 73 | |
| 74 | // Returns offset inside the shadow region for an address. |
| 75 | static constexpr uintptr_t MemToShadowOffset(uintptr_t x) { |
| 76 | return (x >> kShadowGranularity) << 1; |
| 77 | } |
| 78 | |
| 79 | typedef int (*CFICheckFn)(uint64_t, void *, void *); |
| 80 | |
| 81 | public: |
| 82 | enum ShadowValues : uint16_t { |
| 83 | kInvalidShadow = 0, // Not a valid CFI target. |
| 84 | kUncheckedShadow = 1, // Unchecked, valid CFI target. |
| 85 | kRegularShadowMin = 2 // This and all higher values encode a negative offset to __cfi_check in |
| 86 | // the units of kCfiCheckGranularity, starting with 0 at |
| 87 | // kRegularShadowMin. |
| 88 | }; |
| 89 | }; |
| 90 | |
| 91 | #endif // CFI_SHADOW_H |