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 | |
Dan Albert | 4c40141 | 2015-08-19 20:13:33 -0700 | [diff] [blame] | 22 | ifneq ($(my_global_sanitize),) |
Evgenii Stepanov | 71faa19 | 2016-05-19 17:45:21 -0700 | [diff] [blame] | 23 | my_sanitize := $(my_global_sanitize) $(my_sanitize) |
Dan Albert | 4c40141 | 2015-08-19 20:13:33 -0700 | [diff] [blame] | 24 | endif |
| 25 | |
Andreas Gampe | 6b30d77 | 2016-06-27 15:15:31 -0700 | [diff] [blame] | 26 | # The sanitizer specified in the product configuration wins over the previous. |
| 27 | ifneq ($(SANITIZER.$(TARGET_PRODUCT).$(LOCAL_MODULE).CONFIG),) |
| 28 | my_sanitize := $(SANITIZER.$(TARGET_PRODUCT).$(LOCAL_MODULE).CONFIG) |
| 29 | ifeq ($(my_sanitize),never) |
| 30 | my_sanitize := |
| 31 | endif |
| 32 | endif |
| 33 | |
Andreas Gampe | cd25740 | 2016-06-20 17:36:49 -0700 | [diff] [blame] | 34 | # Add a filter point for 32-bit vs 64-bit sanitization (to lighten the burden). |
| 35 | SANITIZE_ARCH ?= 32 64 |
| 36 | ifeq ($(filter $(SANITIZE_ARCH),$(my_32_64_bit_suffix)),) |
| 37 | my_sanitize := |
| 38 | endif |
| 39 | |
Andreas Gampe | 3d3b0c9 | 2016-06-20 17:46:29 -0700 | [diff] [blame] | 40 | # Add a filter point based on module owner (to lighten the burden). The format is a space- or |
| 41 | # colon-separated list of owner names. |
| 42 | ifneq (,$(SANITIZE_NEVER_BY_OWNER)) |
| 43 | ifneq (,$(LOCAL_MODULE_OWNER)) |
| 44 | ifneq (,$(filter $(LOCAL_MODULE_OWNER),$(subst :, ,$(SANITIZE_NEVER_BY_OWNER)))) |
| 45 | $(warning Not sanitizing $(LOCAL_MODULE) based on module owner.) |
| 46 | my_sanitize := |
| 47 | endif |
| 48 | endif |
| 49 | endif |
| 50 | |
Dan Albert | 08cca28 | 2014-12-11 18:56:26 -0800 | [diff] [blame] | 51 | # Don't apply sanitizers to NDK code. |
| 52 | ifdef LOCAL_SDK_VERSION |
Dan Albert | 4c40141 | 2015-08-19 20:13:33 -0700 | [diff] [blame] | 53 | my_sanitize := |
Dan Willemsen | f761c0f | 2016-06-28 16:47:43 -0700 | [diff] [blame] | 54 | my_global_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 | 7dcb8b8 | 2016-05-06 18:15:57 -0700 | [diff] [blame] | 79 | ifneq ($(filter safe-stack,$(my_sanitize)),) |
| 80 | ifeq ($(my_32_64_bit_suffix),32) |
| 81 | my_sanitize := $(filter-out safe-stack,$(my_sanitize)) |
| 82 | endif |
| 83 | endif |
| 84 | |
Evgenii Stepanov | 5adfcb1 | 2015-06-25 16:38:25 -0700 | [diff] [blame] | 85 | # Undefined symbols can occur if a non-sanitized library links |
| 86 | # sanitized static libraries. That's OK, because the executable |
| 87 | # always depends on the ASan runtime library, which defines these |
| 88 | # symbols. |
Evgenii Stepanov | 912b51f | 2016-05-19 17:49:51 -0700 | [diff] [blame] | 89 | ifneq ($(filter address thread,$(strip $(SANITIZE_TARGET))),) |
Evgenii Stepanov | 5adfcb1 | 2015-06-25 16:38:25 -0700 | [diff] [blame] | 90 | ifndef LOCAL_IS_HOST_MODULE |
| 91 | ifeq ($(LOCAL_MODULE_CLASS),SHARED_LIBRARIES) |
| 92 | ifeq ($(my_sanitize),) |
| 93 | my_allow_undefined_symbols := true |
| 94 | endif |
| 95 | endif |
| 96 | endif |
| 97 | endif |
| 98 | |
Dan Albert | 94b5791 | 2015-04-17 09:48:33 -0700 | [diff] [blame] | 99 | # Sanitizers can only be used with clang. |
| 100 | ifneq ($(my_clang),true) |
| 101 | ifneq ($(my_sanitize),) |
| 102 | $(error $(LOCAL_PATH): $(LOCAL_MODULE): Use of sanitizers requires LOCAL_CLANG := true) |
| 103 | endif |
| 104 | endif |
| 105 | |
Dan Albert | b5b2ffe | 2015-04-16 18:07:07 -0700 | [diff] [blame] | 106 | ifneq ($(filter default-ub,$(my_sanitize)),) |
| 107 | my_sanitize := $(CLANG_DEFAULT_UB_CHECKS) |
Dan Albert | 08cca28 | 2014-12-11 18:56:26 -0800 | [diff] [blame] | 108 | endif |
| 109 | |
Ivan Krasin | 74b32b8 | 2015-09-18 11:54:43 -0700 | [diff] [blame] | 110 | ifneq ($(filter coverage,$(my_sanitize)),) |
| 111 | ifeq ($(filter address,$(my_sanitize)),) |
| 112 | $(error $(LOCAL_PATH): $(LOCAL_MODULE): Use of 'coverage' also requires 'address') |
| 113 | endif |
| 114 | my_cflags += -fsanitize-coverage=edge,indirect-calls,8bit-counters,trace-cmp |
| 115 | my_sanitize := $(filter-out coverage,$(my_sanitize)) |
| 116 | endif |
| 117 | |
Dan Albert | 08cca28 | 2014-12-11 18:56:26 -0800 | [diff] [blame] | 118 | ifneq ($(my_sanitize),) |
Stephen Hines | e8119e9 | 2015-11-09 16:32:11 -0800 | [diff] [blame] | 119 | fsanitize_arg := $(subst $(space),$(comma),$(my_sanitize)) |
Dan Albert | 08cca28 | 2014-12-11 18:56:26 -0800 | [diff] [blame] | 120 | my_cflags += -fsanitize=$(fsanitize_arg) |
| 121 | |
| 122 | ifdef LOCAL_IS_HOST_MODULE |
Dan Albert | abf4bc9 | 2015-06-16 23:27:34 -0700 | [diff] [blame] | 123 | my_cflags += -fno-sanitize-recover=all |
Dan Albert | 08cca28 | 2014-12-11 18:56:26 -0800 | [diff] [blame] | 124 | my_ldflags += -fsanitize=$(fsanitize_arg) |
Dan Albert | 2922411 | 2015-08-13 17:25:10 -0700 | [diff] [blame] | 125 | my_ldlibs += -lrt -ldl |
Dan Albert | abf4bc9 | 2015-06-16 23:27:34 -0700 | [diff] [blame] | 126 | else |
Evgenii Stepanov | 71faa19 | 2016-05-19 17:45:21 -0700 | [diff] [blame] | 127 | my_cflags += -fsanitize-trap=all |
| 128 | my_cflags += -ftrap-function=abort |
Evgenii Stepanov | 55f73e6 | 2016-05-12 13:07:36 -0700 | [diff] [blame] | 129 | ifneq ($(filter address thread,$(my_sanitize)),) |
Evgenii Stepanov | 71faa19 | 2016-05-19 17:45:21 -0700 | [diff] [blame] | 130 | my_cflags += -fno-sanitize-trap=address,thread |
Evgenii Stepanov | 55f73e6 | 2016-05-12 13:07:36 -0700 | [diff] [blame] | 131 | my_shared_libraries += libdl |
| 132 | endif |
Dan Albert | 08cca28 | 2014-12-11 18:56:26 -0800 | [diff] [blame] | 133 | endif |
| 134 | endif |
| 135 | |
Evgenii Stepanov | 202c7a7 | 2016-07-07 10:56:39 -0700 | [diff] [blame^] | 136 | ifneq ($(filter cfi,$(my_sanitize)),) |
| 137 | my_cflags += -flto -fsanitize-cfi-cross-dso -fvisibility=default |
| 138 | my_ldflags += -flto -fsanitize-cfi-cross-dso -fsanitize=cfi -Wl,-plugin-opt,O1 -Wl,-export-dynamic-symbol=__cfi_check |
| 139 | endif |
| 140 | |
Chih-Hung Hsieh | ad741e6 | 2016-03-09 14:54:55 -0800 | [diff] [blame] | 141 | # If local or global modules need ASAN, add linker flags. |
| 142 | ifneq ($(filter address,$(my_global_sanitize) $(my_sanitize)),) |
Dan Albert | 4ae5d4b | 2014-10-31 16:23:08 -0700 | [diff] [blame] | 143 | my_ldflags += $(ADDRESS_SANITIZER_CONFIG_EXTRA_LDFLAGS) |
| 144 | ifdef LOCAL_IS_HOST_MODULE |
Dan Albert | 08cca28 | 2014-12-11 18:56:26 -0800 | [diff] [blame] | 145 | # -nodefaultlibs (provided with libc++) prevents the driver from linking |
| 146 | # libraries needed with -fsanitize=address. http://b/18650275 (WAI) |
Dan Albert | abf4bc9 | 2015-06-16 23:27:34 -0700 | [diff] [blame] | 147 | my_ldlibs += -lm -lpthread |
Dan Albert | 1f0d530 | 2015-04-28 14:55:50 -0700 | [diff] [blame] | 148 | my_ldflags += -Wl,--no-as-needed |
Dan Albert | 4ae5d4b | 2014-10-31 16:23:08 -0700 | [diff] [blame] | 149 | else |
Chih-Hung Hsieh | ad741e6 | 2016-03-09 14:54:55 -0800 | [diff] [blame] | 150 | # Add asan libraries unless LOCAL_MODULE is the asan library. |
Evgenii Stepanov | f0b15e1 | 2015-04-24 16:34:47 -0700 | [diff] [blame] | 151 | # ASan runtime library must be the first in the link order. |
Chih-Hung Hsieh | ad741e6 | 2016-03-09 14:54:55 -0800 | [diff] [blame] | 152 | ifeq (,$(filter $(LOCAL_MODULE),$($(LOCAL_2ND_ARCH_VAR_PREFIX)ADDRESS_SANITIZER_RUNTIME_LIBRARY))) |
| 153 | my_shared_libraries := $($(LOCAL_2ND_ARCH_VAR_PREFIX)ADDRESS_SANITIZER_RUNTIME_LIBRARY) \ |
| 154 | $(my_shared_libraries) |
| 155 | endif |
| 156 | ifeq (,$(filter $(LOCAL_MODULE),$(ADDRESS_SANITIZER_CONFIG_EXTRA_STATIC_LIBRARIES))) |
| 157 | my_static_libraries += $(ADDRESS_SANITIZER_CONFIG_EXTRA_STATIC_LIBRARIES) |
| 158 | endif |
| 159 | |
| 160 | # Do not add unnecessary dependency in shared libraries. |
| 161 | ifeq ($(LOCAL_MODULE_CLASS),SHARED_LIBRARIES) |
| 162 | my_ldflags += -Wl,--as-needed |
| 163 | endif |
Ying Wang | a05e222 | 2015-08-17 16:13:24 -0700 | [diff] [blame] | 164 | |
Colin Cross | d08699e | 2016-07-17 15:28:07 -0700 | [diff] [blame] | 165 | ifeq ($(LOCAL_MODULE_CLASS),EXECUTABLES) |
| 166 | ifneq ($(LOCAL_FORCE_STATIC_EXECUTABLE),true) |
| 167 | my_linker := $($(LOCAL_2ND_ARCH_VAR_PREFIX)ADDRESS_SANITIZER_LINKER) |
| 168 | # Make sure linker_asan get installed. |
| 169 | $(LOCAL_INSTALLED_MODULE) : | $(PRODUCT_OUT)$($(LOCAL_2ND_ARCH_VAR_PREFIX)ADDRESS_SANITIZER_LINKER) |
| 170 | endif |
| 171 | endif |
Dan Albert | 08cca28 | 2014-12-11 18:56:26 -0800 | [diff] [blame] | 172 | endif |
| 173 | endif |
| 174 | |
Chih-Hung Hsieh | ad741e6 | 2016-03-09 14:54:55 -0800 | [diff] [blame] | 175 | # If local module needs ASAN, add compiler flags. |
| 176 | ifneq ($(filter address,$(my_sanitize)),) |
| 177 | # Frame pointer based unwinder in ASan requires ARM frame setup. |
| 178 | LOCAL_ARM_MODE := arm |
| 179 | my_cflags += $(ADDRESS_SANITIZER_CONFIG_EXTRA_CFLAGS) |
| 180 | ifndef LOCAL_IS_HOST_MODULE |
| 181 | my_cflags += -mllvm -asan-globals=0 |
| 182 | endif |
| 183 | endif |
| 184 | |
Dan Albert | 08cca28 | 2014-12-11 18:56:26 -0800 | [diff] [blame] | 185 | ifneq ($(filter undefined,$(my_sanitize)),) |
Dan Albert | abf4bc9 | 2015-06-16 23:27:34 -0700 | [diff] [blame] | 186 | ifndef LOCAL_IS_HOST_MODULE |
Dan Albert | 08cca28 | 2014-12-11 18:56:26 -0800 | [diff] [blame] | 187 | $(error ubsan is not yet supported on the target) |
Dan Albert | 4ae5d4b | 2014-10-31 16:23:08 -0700 | [diff] [blame] | 188 | endif |
| 189 | endif |
Dan Albert | 4111d48 | 2015-04-16 18:08:44 -0700 | [diff] [blame] | 190 | |
Dan Albert | 9f17655 | 2015-04-28 11:26:45 -0700 | [diff] [blame] | 191 | ifneq ($(strip $(LOCAL_SANITIZE_RECOVER)),) |
| 192 | recover_arg := $(subst $(space),$(comma),$(LOCAL_SANITIZE_RECOVER)), |
Dan Albert | 4111d48 | 2015-04-16 18:08:44 -0700 | [diff] [blame] | 193 | my_cflags += -fsanitize-recover=$(recover_arg) |
| 194 | endif |
Evgenii Stepanov | 202c7a7 | 2016-07-07 10:56:39 -0700 | [diff] [blame^] | 195 | |
| 196 | ifneq ($(strip $(LOCAL_SANITIZE_DIAG)),) |
| 197 | notrap_arg := $(subst $(space),$(comma),$(LOCAL_SANITIZE_DIAG)), |
| 198 | my_cflags += -fno-sanitize-trap=$(notrap_arg) |
| 199 | # Diagnostic requires a runtime library, unless ASan or TSan are also enabled. |
| 200 | ifeq ($(filter address thread,$(my_sanitize)),) |
| 201 | # Does not have to be the first DT_NEEDED unlike ASan. |
| 202 | my_shared_libraries += $($(LOCAL_2ND_ARCH_VAR_PREFIX)UBSAN_RUNTIME_LIBRARY) |
| 203 | endif |
| 204 | endif |