Method assert_read_access

src/kernel/generic/kasan.cpp:74–112

}

inline void kernel::Kasan::assert_read_access(uintptr_t addr, size_t size)
{

    if (!_enabled)
        return;

    this->_lock.lock();
    _enabled = false;

    uintptr_t shadow_start = addr / 8;
    uintptr_t shadow_end = (addr + size - 1) / 8;

    uintptr_t addr_tag = (addr >> 56) & 0xFF;

    if (addr_tag == 0)
    {
        // Skip the check for addresses with tag 0
        _enabled = true;
        this->_lock.release();
        return;
    }
    for (uintptr_t shadow_addr = shadow_start; shadow_addr <= shadow_end; shadow_addr++)
    {
        uint8_t shadow_value = _shadow_memory[shadow_addr];

        // Calculate the first invalid byte within this shadow byte
        uintptr_t first_invalid_byte = shadow_addr * 8;
        if (first_invalid_byte < addr + size && (shadow_value == 0 || shadow_value == 0x1))
        {
            fmt::err$("kasan: invalid read access at address {}, size {}\n", addr | fmt::FMT_HEX, size);

            unreachable$();
        }
    }

    _enabled = true;

    this->_lock.release();
}

inline void kernel::Kasan::assert_write_access(uintptr_t addr, size_t size)
{