Method assert_write_access

src/kernel/generic/kasan.cpp:114–141

}

inline void kernel::Kasan::assert_write_access(uintptr_t addr, size_t size)
{
    if (!_enabled)
        return;

    _enabled = false;

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

    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 write access at address {}, size {}\n", addr | fmt::FMT_HEX, size);

            unreachable$();
        }
    }

    _enabled = true;

    this->_lock.release();
}

extern "C" void __asan_before_dynamic_init()
{