StrixOS/build
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge "Enable integer_overflow flag for static targets."

Browse Source
This commit is contained in:
Treehugger Robot
2018-04-02 22:36:42 +00:00
committed by Gerrit Code Review
parent c22e207c50 702e8bdaba
commit a61f0042d1
1 changed files with 29 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

25
core/config_sanitizers.mk
View File

@@ -34,6 +34,16 @@ ifneq ($(filter integer_overflow, $(my_global_sanitize)),)
endif endif
endif endif
# Global integer sanitization doesn't support static modules.
ifeq ($(filter SHARED_LIBRARIES EXECUTABLES,$(LOCAL_MODULE_CLASS)),)
my_global_sanitize := $(filter-out integer_overflow,$(my_global_sanitize))
my_global_sanitize_diag := $(filter-out integer_overflow,$(my_global_sanitize_diag))
endif
ifeq ($(LOCAL_FORCE_STATIC_EXECUTABLE),true)
my_global_sanitize := $(filter-out integer_overflow,$(my_global_sanitize))
my_global_sanitize_diag := $(filter-out integer_overflow,$(my_global_sanitize_diag))
endif
# Disable global CFI in excluded paths # Disable global CFI in excluded paths
ifneq ($(filter cfi, $(my_global_sanitize)),) ifneq ($(filter cfi, $(my_global_sanitize)),)
combined_exclude_paths := $(CFI_EXCLUDE_PATHS) \ combined_exclude_paths := $(CFI_EXCLUDE_PATHS) \
@@ -132,10 +142,12 @@ ifneq ($(filter mips mips64,$(TARGET_$(LOCAL_2ND_ARCH_VAR_PREFIX)ARCH)),)
my_sanitize_diag := $(filter-out cfi,$(my_sanitize_diag)) my_sanitize_diag := $(filter-out cfi,$(my_sanitize_diag))
endif endif
# Disable CFI for host targets # Disable sanitizers which need the UBSan runtime for host targets.
ifdef LOCAL_IS_HOST_MODULE ifdef LOCAL_IS_HOST_MODULE
my_sanitize := $(filter-out cfi,$(my_sanitize)) my_sanitize := $(filter-out cfi,$(my_sanitize))
my_sanitize_diag := $(filter-out cfi,$(my_sanitize_diag)) my_sanitize_diag := $(filter-out cfi,$(my_sanitize_diag))
my_sanitize := $(filter-out signed-integer-overflow unsigned-integer-overflow integer_overflow,$(my_sanitize))
my_sanitize_diag := $(filter-out signed-integer-overflow unsigned-integer-overflow integer_overflow,$(my_sanitize_diag))
endif endif
# Support for local sanitize blacklist paths. # Support for local sanitize blacklist paths.
@@ -212,9 +224,6 @@ ifneq ($(filter coverage,$(my_sanitize)),)
endif endif
ifneq ($(filter integer_overflow,$(my_sanitize)),) ifneq ($(filter integer_overflow,$(my_sanitize)),)
ifneq ($(filter SHARED_LIBRARIES EXECUTABLES,$(LOCAL_MODULE_CLASS)),)
ifneq ($(LOCAL_FORCE_STATIC_EXECUTABLE),true)
# Respect LOCAL_NOSANITIZE for integer-overflow flags. # Respect LOCAL_NOSANITIZE for integer-overflow flags.
ifeq ($(filter signed-integer-overflow, $(strip $(LOCAL_NOSANITIZE))),) ifeq ($(filter signed-integer-overflow, $(strip $(LOCAL_NOSANITIZE))),)
my_sanitize += signed-integer-overflow my_sanitize += signed-integer-overflow
@@ -224,11 +233,17 @@ ifneq ($(filter integer_overflow,$(my_sanitize)),)
endif endif
my_cflags += $(INTEGER_OVERFLOW_EXTRA_CFLAGS) my_cflags += $(INTEGER_OVERFLOW_EXTRA_CFLAGS)
# Check for diagnostics mode (on by default). # Check for diagnostics mode.
ifneq ($(filter integer_overflow,$(my_sanitize_diag)),) ifneq ($(filter integer_overflow,$(my_sanitize_diag)),)
ifneq ($(filter SHARED_LIBRARIES EXECUTABLES,$(LOCAL_MODULE_CLASS)),)
ifneq ($(LOCAL_FORCE_STATIC_EXECUTABLE),true)
my_sanitize_diag += signed-integer-overflow my_sanitize_diag += signed-integer-overflow
my_sanitize_diag += unsigned-integer-overflow my_sanitize_diag += unsigned-integer-overflow
else
$(call pretty-error,Make cannot apply integer overflow diagnostics to static binary.)
endif endif
else
$(call pretty-error,Make cannot apply integer overflow diagnostics to static library.)
endif endif
endif endif
my_sanitize := $(filter-out integer_overflow,$(my_sanitize)) my_sanitize := $(filter-out integer_overflow,$(my_sanitize))