MaxOS::runtime::UBSanHandler Class Reference

Handles undefined behaviour sanitizer runtime errors. More...

#include <ubsan.h>

Static Public Member Functions
static void	handle (source_location_t location, const char *msg)
	Handles the UBSan error (currently only printing the location and panicking)
static void	print_type_mismatch (type_mismatch_info_t *info, uintptr_t ptr)
	Prints the type mismatch error for UBSan.
static void	print_type_mismatch_v1 (type_mismatch_info_v1_t *info, uintptr_t ptr)
	Prints the type mismatch error for UBSan v1.

Detailed Description

Handles undefined behaviour sanitizer runtime errors.

Definition at line 184 of file ubsan.h.

Member Function Documentation

handle()

void UBSanHandler::handle ( source_location_t  location, const char *  msg  )

static

Handles the UBSan error (currently only printing the location and panicking)

Parameters

location	The location of the error
msg	The message that informs about the error

Definition at line 25 of file ubsan.cpp.

                                                                     {
 
    // Print the location
    ASSERT(false, "UBSAN ERROR AT %s:%d:%d - %s", location.file, location.line, location.column, msg);
}

References ASSERT, MaxOS::runtime::SourceLocation::column, MaxOS::runtime::SourceLocation::file, and MaxOS::runtime::SourceLocation::line.

Referenced by __ubsan_handle_add_overflow(), __ubsan_handle_builtin_unreachable(), __ubsan_handle_divrem_overflow(), __ubsan_handle_load_invalid_value(), __ubsan_handle_missing_return(), __ubsan_handle_mul_overflow(), __ubsan_handle_negate_overflow(), __ubsan_handle_out_of_bounds(), __ubsan_handle_pointer_overflow(), __ubsan_handle_shift_out_of_bounds(), __ubsan_handle_sub_overflow(), __ubsan_handle_vla_bound_not_positive(), print_type_mismatch(), and print_type_mismatch_v1().

print_type_mismatch()

void UBSanHandler::print_type_mismatch ( type_mismatch_info_t *  info, uintptr_t  ptr  )

static

Prints the type mismatch error for UBSan.

Parameters

info	The type mismatch info
ptr	The pointer to the object

Definition at line 37 of file ubsan.cpp.

                                                                                {
 
    // Print the error
    string msg;
    if (info->alignment != 0 && ubsan_aligned(ptr, info->alignment))
        msg = "misaligned memory access";
    else
        msg = (StringBuilder)TYPE_CHECK_KINDS[info->type_check_kind] << " address 0x" << ptr << " with insufficient space for an object of type " << info->type->name;
 
    // Print the location
    handle(info->location, msg.c_str());
}

References MaxOS::runtime::TypeMismatchInfo::alignment, handle(), MaxOS::runtime::TypeMismatchInfo::location, MaxOS::runtime::TypeDescriptor::name, MaxOS::runtime::TypeMismatchInfo::type, MaxOS::runtime::TypeMismatchInfo::type_check_kind, MaxOS::runtime::TYPE_CHECK_KINDS, and ubsan_aligned.

Referenced by __ubsan_handle_type_mismatch().

print_type_mismatch_v1()

void UBSanHandler::print_type_mismatch_v1 ( type_mismatch_info_v1_t *  info, uintptr_t  ptr  )

static

Prints the type mismatch error for UBSan v1.

Parameters

info	The type mismatch info
ptr	The pointer to the object

Definition at line 56 of file ubsan.cpp.

                                                                                      {
 
    // Print the error
    string msg;
    if (info->log_alignment != 0 && ubsan_aligned(ptr, (1 << (info->log_alignment))))
        msg = "misaligned memory access";
    else
        msg= StringBuilder() << TYPE_CHECK_KINDS[info->type_check_kind] << " address 0x" << ptr << " with insufficient space for an object of type " << info->type->name;
 
    // Print the location
    handle(info->location, msg.c_str());
}

References handle(), MaxOS::runtime::TypeMismatchInfoV1::location, MaxOS::runtime::TypeMismatchInfoV1::log_alignment, MaxOS::runtime::TypeDescriptor::name, MaxOS::runtime::TypeMismatchInfoV1::type, MaxOS::runtime::TypeMismatchInfoV1::type_check_kind, MaxOS::runtime::TYPE_CHECK_KINDS, and ubsan_aligned.

Referenced by __ubsan_handle_type_mismatch_v1().

---

The documentation for this class was generated from the following files:

• /home/runner/work/MaxOS/MaxOS/kernel/include/runtime/ubsan.h
• /home/runner/work/MaxOS/MaxOS/kernel/src/runtime/ubsan.cpp