85 lines · c
1//===-- SanitizerHandler.h - Definition of sanitizer handlers ---*- C++ -*-===//2//3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.4// See https://llvm.org/LICENSE.txt for license information.5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception6//7//===----------------------------------------------------------------------===//8//9// This is the internal per-function state used for llvm translation.10//11//===----------------------------------------------------------------------===//12 13#ifndef LLVM_CLANG_LIB_CODEGEN_SANITIZER_HANDLER_H14#define LLVM_CLANG_LIB_CODEGEN_SANITIZER_HANDLER_H15 16#define LIST_SANITIZER_CHECKS \17 SANITIZER_CHECK(AddOverflow, add_overflow, 0, "Integer addition overflowed") \18 SANITIZER_CHECK(BuiltinUnreachable, builtin_unreachable, 0, \19 "_builtin_unreachable(), execution reached an unreachable " \20 "program point") \21 SANITIZER_CHECK(CFICheckFail, cfi_check_fail, 0, \22 "Control flow integrity check failed") \23 SANITIZER_CHECK(DivremOverflow, divrem_overflow, 0, \24 "Integer divide or remainder overflowed") \25 SANITIZER_CHECK(DynamicTypeCacheMiss, dynamic_type_cache_miss, 0, \26 "Dynamic type cache miss, member call made on an object " \27 "whose dynamic type differs from the expected type") \28 SANITIZER_CHECK(FloatCastOverflow, float_cast_overflow, 0, \29 "Floating-point to integer conversion overflowed") \30 SANITIZER_CHECK(FunctionTypeMismatch, function_type_mismatch, 0, \31 "Function called with mismatched signature") \32 SANITIZER_CHECK(ImplicitConversion, implicit_conversion, 0, \33 "Implicit integer conversion overflowed or lost data") \34 SANITIZER_CHECK(InvalidBuiltin, invalid_builtin, 0, \35 "Invalid use of builtin function") \36 SANITIZER_CHECK(InvalidObjCCast, invalid_objc_cast, 0, \37 "Invalid Objective-C cast") \38 SANITIZER_CHECK(LoadInvalidValue, load_invalid_value, 0, \39 "Loaded an invalid or uninitialized value for the type") \40 SANITIZER_CHECK(MissingReturn, missing_return, 0, \41 "Execution reached the end of a value-returning function " \42 "without returning a value") \43 SANITIZER_CHECK(MulOverflow, mul_overflow, 0, \44 "Integer multiplication overflowed") \45 SANITIZER_CHECK(NegateOverflow, negate_overflow, 0, \46 "Integer negation overflowed") \47 SANITIZER_CHECK( \48 NullabilityArg, nullability_arg, 0, \49 "Passing null as an argument which is annotated with _Nonnull") \50 SANITIZER_CHECK(NullabilityReturn, nullability_return, 1, \51 "Returning null from a function with a return type " \52 "annotated with _Nonnull") \53 SANITIZER_CHECK(NonnullArg, nonnull_arg, 0, \54 "Passing null pointer as an argument which is declared to " \55 "never be null") \56 SANITIZER_CHECK(NonnullReturn, nonnull_return, 1, \57 "Returning null pointer from a function which is declared " \58 "to never return null") \59 SANITIZER_CHECK(OutOfBounds, out_of_bounds, 0, "Array index out of bounds") \60 SANITIZER_CHECK(PointerOverflow, pointer_overflow, 0, \61 "Pointer arithmetic overflowed bounds") \62 SANITIZER_CHECK(ShiftOutOfBounds, shift_out_of_bounds, 0, \63 "Shift exponent is too large for the type") \64 SANITIZER_CHECK(SubOverflow, sub_overflow, 0, \65 "Integer subtraction overflowed") \66 SANITIZER_CHECK(TypeMismatch, type_mismatch, 1, \67 "Alignment, null, or object-size error") \68 SANITIZER_CHECK(AlignmentAssumption, alignment_assumption, 0, \69 "Alignment assumption violated") \70 SANITIZER_CHECK( \71 VLABoundNotPositive, vla_bound_not_positive, 0, \72 "Variable length array bound evaluates to non-positive value") \73 SANITIZER_CHECK(BoundsSafety, bounds_safety, 0, \74 "") // BoundsSafety Msg is empty because it is not considered75 // part of UBSan; therefore, no trap reason is emitted for76 // this case.77 78enum SanitizerHandler {79#define SANITIZER_CHECK(Enum, Name, Version, Msg) Enum,80 LIST_SANITIZER_CHECKS81#undef SANITIZER_CHECK82};83 84#endif // LLVM_CLANG_LIB_CODEGEN_SANITIZER_HANDLER_H85