set_bounds.c

/***
 * The point of this program is to demonstrate the failing of a program
 * that tries to extend the bounderies of a capable pointer.
 * Compared to the simpler 'bounds.c', here we try to modify the bounds
 * explicitly.
 ***/

#include "include/common.h"
#include <cheri/cheric.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>

int main(int argc, char *argv[])
{
    int32_t array[16] = {0};
    uint32_t bounds = 64;

    if (argc < 2)
    {
        puts("Bounds [Choose a value greater than 64]:");
        if (0 == scanf("%u", &bounds))
        {
            error("Extraneous input");
        }
    }
    // Command line argument to simplify testing
    else if (atoi(argv[1]) > 64)
    {
        bounds = atoi(argv[1]);
    }
    else
    {
        printf("Please choose a value greater than 64.");
        // This will cause the test to fail for a value lower than 64
        exit(0);
    }
    // Trying to extend the bounds generates an exception.
    int32_t *custom_bounds_array = cheri_setbounds(array, bounds);
}