1/* SPDX-License-Identifier: GPL-2.0 */ 2#ifndef _LIB_UBSAN_H 3#define _LIB_UBSAN_H 4 5/* 6 * ABI defined by Clang's UBSAN enum SanitizerHandler: 7 * https://github.com/llvm/llvm-project/blob/release/16.x/clang/lib/CodeGen/CodeGenFunction.h#L113 8 */ 9enum ubsan_checks { 10 ubsan_add_overflow, 11 ubsan_builtin_unreachable, 12 ubsan_cfi_check_fail, 13 ubsan_divrem_overflow, 14 ubsan_dynamic_type_cache_miss, 15 ubsan_float_cast_overflow, 16 ubsan_function_type_mismatch, 17 ubsan_implicit_conversion, 18 ubsan_invalid_builtin, 19 ubsan_invalid_objc_cast, 20 ubsan_load_invalid_value, 21 ubsan_missing_return, 22 ubsan_mul_overflow, 23 ubsan_negate_overflow, 24 ubsan_nullability_arg, 25 ubsan_nullability_return, 26 ubsan_nonnull_arg, 27 ubsan_nonnull_return, 28 ubsan_out_of_bounds, 29 ubsan_pointer_overflow, 30 ubsan_shift_out_of_bounds, 31 ubsan_sub_overflow, 32 ubsan_type_mismatch, 33 ubsan_alignment_assumption, 34 ubsan_vla_bound_not_positive, 35}; 36 37enum { 38 type_kind_int = 0, 39 type_kind_float = 1, 40 type_unknown = 0xffff 41}; 42 43struct type_descriptor { 44 u16 type_kind; 45 u16 type_info; 46 char type_name[1]; 47}; 48 49struct source_location { 50 const char *file_name; 51 union { 52 unsigned long reported; 53 struct { 54 u32 line; 55 u32 column; 56 }; 57 }; 58}; 59 60struct overflow_data { 61 struct source_location location; 62 struct type_descriptor *type; 63}; 64 65struct type_mismatch_data { 66 struct source_location location; 67 struct type_descriptor *type; 68 unsigned long alignment; 69 unsigned char type_check_kind; 70}; 71 72struct type_mismatch_data_v1 { 73 struct source_location location; 74 struct type_descriptor *type; 75 unsigned char log_alignment; 76 unsigned char type_check_kind; 77}; 78 79struct type_mismatch_data_common { 80 struct source_location *location; 81 struct type_descriptor *type; 82 unsigned long alignment; 83 unsigned char type_check_kind; 84}; 85 86struct nonnull_arg_data { 87 struct source_location location; 88 struct source_location attr_location; 89 int arg_index; 90}; 91 92struct out_of_bounds_data { 93 struct source_location location; 94 struct type_descriptor *array_type; 95 struct type_descriptor *index_type; 96}; 97 98struct shift_out_of_bounds_data { 99 struct source_location location; 100 struct type_descriptor *lhs_type; 101 struct type_descriptor *rhs_type; 102}; 103 104struct unreachable_data { 105 struct source_location location; 106}; 107 108struct invalid_value_data { 109 struct source_location location; 110 struct type_descriptor *type; 111}; 112 113struct alignment_assumption_data { 114 struct source_location location; 115 struct source_location assumption_location; 116 struct type_descriptor *type; 117}; 118 119#if defined(CONFIG_ARCH_SUPPORTS_INT128) 120typedef __int128 s_max; 121typedef unsigned __int128 u_max; 122#else 123typedef s64 s_max; 124typedef u64 u_max; 125#endif 126 127void __ubsan_handle_add_overflow(void *data, void *lhs, void *rhs); 128void __ubsan_handle_sub_overflow(void *data, void *lhs, void *rhs); 129void __ubsan_handle_mul_overflow(void *data, void *lhs, void *rhs); 130void __ubsan_handle_negate_overflow(void *_data, void *old_val); 131void __ubsan_handle_divrem_overflow(void *_data, void *lhs, void *rhs); 132void __ubsan_handle_type_mismatch(struct type_mismatch_data *data, void *ptr); 133void __ubsan_handle_type_mismatch_v1(void *_data, void *ptr); 134void __ubsan_handle_out_of_bounds(void *_data, void *index); 135void __ubsan_handle_shift_out_of_bounds(void *_data, void *lhs, void *rhs); 136void __ubsan_handle_builtin_unreachable(void *_data); 137void __ubsan_handle_load_invalid_value(void *_data, void *val); 138void __ubsan_handle_alignment_assumption(void *_data, unsigned long ptr, 139 unsigned long align, 140 unsigned long offset); 141 142#endif 143