Dan Albert | 4ae5d4b | 2014-10-31 16:23:08 -0700 | [diff] [blame] | 1 | ############################################## |
| 2 | ## Perform configuration steps for sanitizers. |
| 3 | ############################################## |
| 4 | |
Dan Albert | 27ccb75 | 2015-04-16 16:21:02 -0700 | [diff] [blame] | 5 | my_sanitize := $(strip $(LOCAL_SANITIZE)) |
Dan Albert | 08cca28 | 2014-12-11 18:56:26 -0800 | [diff] [blame] | 6 | |
Dan Albert | 4c40141 | 2015-08-19 20:13:33 -0700 | [diff] [blame] | 7 | # SANITIZE_HOST is only in effect if the module is already using clang (host |
| 8 | # modules that haven't set `LOCAL_CLANG := false` and device modules that |
| 9 | # have set `LOCAL_CLANG := true`. |
| 10 | my_global_sanitize := |
| 11 | ifeq ($(my_clang),true) |
| 12 | ifdef LOCAL_IS_HOST_MODULE |
| 13 | my_global_sanitize := $(strip $(SANITIZE_HOST)) |
| 14 | |
| 15 | # SANITIZE_HOST=true is a deprecated way to say SANITIZE_HOST=address. |
| 16 | my_global_sanitize := $(subst true,address,$(my_global_sanitize)) |
| 17 | else |
| 18 | my_global_sanitize := $(strip $(SANITIZE_TARGET)) |
| 19 | endif |
| 20 | endif |
| 21 | |
| 22 | # The sanitizer specified by the environment wins over the module. |
| 23 | ifneq ($(my_global_sanitize),) |
| 24 | my_sanitize := $(my_global_sanitize) |
| 25 | endif |
| 26 | |
Andreas Gampe | 6b30d77 | 2016-06-27 15:15:31 -0700 | [diff] [blame^] | 27 | # The sanitizer specified in the product configuration wins over the previous. |
| 28 | ifneq ($(SANITIZER.$(TARGET_PRODUCT).$(LOCAL_MODULE).CONFIG),) |
| 29 | my_sanitize := $(SANITIZER.$(TARGET_PRODUCT).$(LOCAL_MODULE).CONFIG) |
| 30 | ifeq ($(my_sanitize),never) |
| 31 | my_sanitize := |
| 32 | endif |
| 33 | endif |
| 34 | |
Andreas Gampe | cd25740 | 2016-06-20 17:36:49 -0700 | [diff] [blame] | 35 | # Add a filter point for 32-bit vs 64-bit sanitization (to lighten the burden). |
| 36 | SANITIZE_ARCH ?= 32 64 |
| 37 | ifeq ($(filter $(SANITIZE_ARCH),$(my_32_64_bit_suffix)),) |
| 38 | my_sanitize := |
| 39 | endif |
| 40 | |
Andreas Gampe | 3d3b0c9 | 2016-06-20 17:46:29 -0700 | [diff] [blame] | 41 | # Add a filter point based on module owner (to lighten the burden). The format is a space- or |
| 42 | # colon-separated list of owner names. |
| 43 | ifneq (,$(SANITIZE_NEVER_BY_OWNER)) |
| 44 | ifneq (,$(LOCAL_MODULE_OWNER)) |
| 45 | ifneq (,$(filter $(LOCAL_MODULE_OWNER),$(subst :, ,$(SANITIZE_NEVER_BY_OWNER)))) |
| 46 | $(warning Not sanitizing $(LOCAL_MODULE) based on module owner.) |
| 47 | my_sanitize := |
| 48 | endif |
| 49 | endif |
| 50 | endif |
| 51 | |
Dan Albert | 08cca28 | 2014-12-11 18:56:26 -0800 | [diff] [blame] | 52 | # Don't apply sanitizers to NDK code. |
| 53 | ifdef LOCAL_SDK_VERSION |
Dan Albert | 4c40141 | 2015-08-19 20:13:33 -0700 | [diff] [blame] | 54 | my_sanitize := |
Dan Albert | 27ccb75 | 2015-04-16 16:21:02 -0700 | [diff] [blame] | 55 | endif |
| 56 | |
Dan Albert | 4c40141 | 2015-08-19 20:13:33 -0700 | [diff] [blame] | 57 | # Never always wins. |
| 58 | ifeq ($(LOCAL_SANITIZE),never) |
Dan Albert | 08cca28 | 2014-12-11 18:56:26 -0800 | [diff] [blame] | 59 | my_sanitize := |
| 60 | endif |
| 61 | |
Evgenii Stepanov | 4282366 | 2016-05-12 13:07:17 -0700 | [diff] [blame] | 62 | my_nosanitize = $(strip $(LOCAL_NOSANITIZE)) |
| 63 | ifneq ($(my_nosanitize),) |
| 64 | my_sanitize := $(filter-out $(my_nosanitize),$(my_sanitize)) |
| 65 | endif |
| 66 | |
Dan Albert | a6311b7 | 2015-07-30 10:17:33 -0700 | [diff] [blame] | 67 | # TSAN is not supported on 32-bit architectures. For non-multilib cases, make |
| 68 | # its use an error. For multilib cases, don't use it for the 32-bit case. |
| 69 | ifneq ($(filter thread,$(my_sanitize)),) |
| 70 | ifeq ($(my_32_64_bit_suffix),32) |
| 71 | ifeq ($(my_module_multilib),both) |
| 72 | my_sanitize := $(filter-out thread,$(my_sanitize)) |
| 73 | else |
| 74 | $(error $(LOCAL_PATH): $(LOCAL_MODULE): TSAN cannot be used for 32-bit modules.) |
| 75 | endif |
| 76 | endif |
| 77 | endif |
| 78 | |
Evgenii Stepanov | 5adfcb1 | 2015-06-25 16:38:25 -0700 | [diff] [blame] | 79 | # Undefined symbols can occur if a non-sanitized library links |
| 80 | # sanitized static libraries. That's OK, because the executable |
| 81 | # always depends on the ASan runtime library, which defines these |
| 82 | # symbols. |
| 83 | ifneq ($(strip $(SANITIZE_TARGET)),) |
| 84 | ifndef LOCAL_IS_HOST_MODULE |
| 85 | ifeq ($(LOCAL_MODULE_CLASS),SHARED_LIBRARIES) |
| 86 | ifeq ($(my_sanitize),) |
| 87 | my_allow_undefined_symbols := true |
| 88 | endif |
| 89 | endif |
Evgenii Stepanov | 4b396e4 | 2015-07-20 16:32:53 -0700 | [diff] [blame] | 90 | # Workaround for a bug in AddressSanitizer that breaks stack unwinding. |
| 91 | # https://code.google.com/p/address-sanitizer/issues/detail?id=387 |
| 92 | # Revert when external/compiler-rt is updated past r236014. |
| 93 | LOCAL_PACK_MODULE_RELOCATIONS := false |
Evgenii Stepanov | 5adfcb1 | 2015-06-25 16:38:25 -0700 | [diff] [blame] | 94 | endif |
| 95 | endif |
| 96 | |
Dan Albert | 94b5791 | 2015-04-17 09:48:33 -0700 | [diff] [blame] | 97 | # Sanitizers can only be used with clang. |
| 98 | ifneq ($(my_clang),true) |
| 99 | ifneq ($(my_sanitize),) |
| 100 | $(error $(LOCAL_PATH): $(LOCAL_MODULE): Use of sanitizers requires LOCAL_CLANG := true) |
| 101 | endif |
| 102 | endif |
| 103 | |
Dan Albert | b5b2ffe | 2015-04-16 18:07:07 -0700 | [diff] [blame] | 104 | ifneq ($(filter default-ub,$(my_sanitize)),) |
| 105 | my_sanitize := $(CLANG_DEFAULT_UB_CHECKS) |
Dan Albert | 08cca28 | 2014-12-11 18:56:26 -0800 | [diff] [blame] | 106 | endif |
| 107 | |
Ivan Krasin | 74b32b8 | 2015-09-18 11:54:43 -0700 | [diff] [blame] | 108 | ifneq ($(filter coverage,$(my_sanitize)),) |
| 109 | ifeq ($(filter address,$(my_sanitize)),) |
| 110 | $(error $(LOCAL_PATH): $(LOCAL_MODULE): Use of 'coverage' also requires 'address') |
| 111 | endif |
| 112 | my_cflags += -fsanitize-coverage=edge,indirect-calls,8bit-counters,trace-cmp |
| 113 | my_sanitize := $(filter-out coverage,$(my_sanitize)) |
| 114 | endif |
| 115 | |
Dan Albert | 08cca28 | 2014-12-11 18:56:26 -0800 | [diff] [blame] | 116 | ifneq ($(my_sanitize),) |
Stephen Hines | e8119e9 | 2015-11-09 16:32:11 -0800 | [diff] [blame] | 117 | fsanitize_arg := $(subst $(space),$(comma),$(my_sanitize)) |
Dan Albert | 08cca28 | 2014-12-11 18:56:26 -0800 | [diff] [blame] | 118 | my_cflags += -fsanitize=$(fsanitize_arg) |
| 119 | |
| 120 | ifdef LOCAL_IS_HOST_MODULE |
Dan Albert | abf4bc9 | 2015-06-16 23:27:34 -0700 | [diff] [blame] | 121 | my_cflags += -fno-sanitize-recover=all |
Dan Albert | 08cca28 | 2014-12-11 18:56:26 -0800 | [diff] [blame] | 122 | my_ldflags += -fsanitize=$(fsanitize_arg) |
Dan Albert | 2922411 | 2015-08-13 17:25:10 -0700 | [diff] [blame] | 123 | my_ldlibs += -lrt -ldl |
Dan Albert | abf4bc9 | 2015-06-16 23:27:34 -0700 | [diff] [blame] | 124 | else |
Stephen Hines | e8119e9 | 2015-11-09 16:32:11 -0800 | [diff] [blame] | 125 | ifeq ($(filter address,$(my_sanitize)),) |
| 126 | my_cflags += -fsanitize-trap=all |
| 127 | my_cflags += -ftrap-function=abort |
| 128 | endif |
Dan Albert | abf4bc9 | 2015-06-16 23:27:34 -0700 | [diff] [blame] | 129 | my_shared_libraries += libdl |
Dan Albert | 08cca28 | 2014-12-11 18:56:26 -0800 | [diff] [blame] | 130 | endif |
| 131 | endif |
| 132 | |
Chih-Hung Hsieh | ad741e6 | 2016-03-09 14:54:55 -0800 | [diff] [blame] | 133 | # If local or global modules need ASAN, add linker flags. |
| 134 | ifneq ($(filter address,$(my_global_sanitize) $(my_sanitize)),) |
Dan Albert | 4ae5d4b | 2014-10-31 16:23:08 -0700 | [diff] [blame] | 135 | my_ldflags += $(ADDRESS_SANITIZER_CONFIG_EXTRA_LDFLAGS) |
| 136 | ifdef LOCAL_IS_HOST_MODULE |
Dan Albert | 08cca28 | 2014-12-11 18:56:26 -0800 | [diff] [blame] | 137 | # -nodefaultlibs (provided with libc++) prevents the driver from linking |
| 138 | # libraries needed with -fsanitize=address. http://b/18650275 (WAI) |
Dan Albert | abf4bc9 | 2015-06-16 23:27:34 -0700 | [diff] [blame] | 139 | my_ldlibs += -lm -lpthread |
Dan Albert | 1f0d530 | 2015-04-28 14:55:50 -0700 | [diff] [blame] | 140 | my_ldflags += -Wl,--no-as-needed |
Dan Albert | 4ae5d4b | 2014-10-31 16:23:08 -0700 | [diff] [blame] | 141 | else |
Chih-Hung Hsieh | ad741e6 | 2016-03-09 14:54:55 -0800 | [diff] [blame] | 142 | # Add asan libraries unless LOCAL_MODULE is the asan library. |
Evgenii Stepanov | f0b15e1 | 2015-04-24 16:34:47 -0700 | [diff] [blame] | 143 | # ASan runtime library must be the first in the link order. |
Chih-Hung Hsieh | ad741e6 | 2016-03-09 14:54:55 -0800 | [diff] [blame] | 144 | ifeq (,$(filter $(LOCAL_MODULE),$($(LOCAL_2ND_ARCH_VAR_PREFIX)ADDRESS_SANITIZER_RUNTIME_LIBRARY))) |
| 145 | my_shared_libraries := $($(LOCAL_2ND_ARCH_VAR_PREFIX)ADDRESS_SANITIZER_RUNTIME_LIBRARY) \ |
| 146 | $(my_shared_libraries) |
| 147 | endif |
| 148 | ifeq (,$(filter $(LOCAL_MODULE),$(ADDRESS_SANITIZER_CONFIG_EXTRA_STATIC_LIBRARIES))) |
| 149 | my_static_libraries += $(ADDRESS_SANITIZER_CONFIG_EXTRA_STATIC_LIBRARIES) |
| 150 | endif |
| 151 | |
| 152 | # Do not add unnecessary dependency in shared libraries. |
| 153 | ifeq ($(LOCAL_MODULE_CLASS),SHARED_LIBRARIES) |
| 154 | my_ldflags += -Wl,--as-needed |
| 155 | endif |
Ying Wang | a05e222 | 2015-08-17 16:13:24 -0700 | [diff] [blame] | 156 | |
Evgenii Stepanov | 8f5e67a | 2015-07-10 18:06:51 -0700 | [diff] [blame] | 157 | my_linker := $($(LOCAL_2ND_ARCH_VAR_PREFIX)ADDRESS_SANITIZER_LINKER) |
Ying Wang | a05e222 | 2015-08-17 16:13:24 -0700 | [diff] [blame] | 158 | # Make sure linker_asan get installed. |
| 159 | $(LOCAL_INSTALLED_MODULE) : | $(PRODUCT_OUT)$($(LOCAL_2ND_ARCH_VAR_PREFIX)ADDRESS_SANITIZER_LINKER) |
Dan Albert | 08cca28 | 2014-12-11 18:56:26 -0800 | [diff] [blame] | 160 | endif |
| 161 | endif |
| 162 | |
Chih-Hung Hsieh | ad741e6 | 2016-03-09 14:54:55 -0800 | [diff] [blame] | 163 | # If local module needs ASAN, add compiler flags. |
| 164 | ifneq ($(filter address,$(my_sanitize)),) |
| 165 | # Frame pointer based unwinder in ASan requires ARM frame setup. |
| 166 | LOCAL_ARM_MODE := arm |
| 167 | my_cflags += $(ADDRESS_SANITIZER_CONFIG_EXTRA_CFLAGS) |
| 168 | ifndef LOCAL_IS_HOST_MODULE |
| 169 | my_cflags += -mllvm -asan-globals=0 |
| 170 | endif |
| 171 | endif |
| 172 | |
Dan Albert | 08cca28 | 2014-12-11 18:56:26 -0800 | [diff] [blame] | 173 | ifneq ($(filter undefined,$(my_sanitize)),) |
Dan Albert | abf4bc9 | 2015-06-16 23:27:34 -0700 | [diff] [blame] | 174 | ifndef LOCAL_IS_HOST_MODULE |
Dan Albert | 08cca28 | 2014-12-11 18:56:26 -0800 | [diff] [blame] | 175 | $(error ubsan is not yet supported on the target) |
Dan Albert | 4ae5d4b | 2014-10-31 16:23:08 -0700 | [diff] [blame] | 176 | endif |
| 177 | endif |
Dan Albert | 4111d48 | 2015-04-16 18:08:44 -0700 | [diff] [blame] | 178 | |
Dan Albert | 9f17655 | 2015-04-28 11:26:45 -0700 | [diff] [blame] | 179 | ifneq ($(strip $(LOCAL_SANITIZE_RECOVER)),) |
| 180 | recover_arg := $(subst $(space),$(comma),$(LOCAL_SANITIZE_RECOVER)), |
Dan Albert | 4111d48 | 2015-04-16 18:08:44 -0700 | [diff] [blame] | 181 | my_cflags += -fsanitize-recover=$(recover_arg) |
| 182 | endif |